Coverity Uncovers More Problems In Mesa

Posted by Michael Larabel on December 01, 2012

A handful of memory-related issues were plugged up yesterday in Mesa thanks to the Coverity static code analysis tools.

A Radeon memory leak, use-after-free, uninitialized variable usage, and other problems were fixed up yesterday in the mainline Mesa cpde=base. These issues were spotted during an internal Coverity scan of the Mesa code-base at Red Hat. None of these newly discovered flaws though are critical in nature.

Coverity scans in the past have found dozens of problems in Mesa and hundreds of other free software projects.

For those unfamiliar with Coverity, their commercial static code analysis tool generally does a very good job at detecting bugs within C/C#/C++ and Java code-bases. While it's commercial closed-source software, they do scan open-source projects and have found thousands of bugs over the years. Coverity's Quality Advisor product is able to spot all sorts of errors from incorrect API usage, memory problems, null pointer dereferences, performance inefficiences, resource leaks, deadlocks, best practice coding errors, and code maintainability issues.

For those that may be looking for open-source alternatives to some of the features offered by the Coverity tools, one of the closest (and most hopeful) competitors would be LLVM's Clang compiler with its built-in static analyzer. Other useful static analysis tools that are open-source include cppcheck, Stanford's Saturn, and Calysto, among many others.

Discuss this article in our forums, IRC channel, or email the author. You can also follow our content via RSS and on social networks like Facebook, Identi.ca, and Twitter (@Phoronix and @MichaelLarabel). Subscribe to Phoronix Premium to view our content without advertisements, view entire articles on a single page, and experience other benefits.
Latest Hardware Reviews
  1. Sumo Lounge Emperor
  2. Gallium3D Continues Improving OpenGL For Older Radeon GPUs
  3. 15-Way Open vs. Closed Source NVIDIA/AMD Linux GPU Comparison
  4. Nouveau vs. NVIDIA Linux Comparison Shows Shortcomings
Latest Software Articles
  1. Intel Linux OpenGL Driver Leading Over Apple OS X
  2. The Cost Of Ubuntu Disk Encryption
  3. Btrfs vs. EXT4 vs. XFS vs. F2FS On Linux 3.10
  4. AMD Radeon R600 GPU LLVM 3.3 Back-End Testing
Latest Linux News
  1. Wayland's Weston Gets Output Scaling Support
  2. Raspberry Pi Gets New Wayland Weston Renderer
  3. Debian GNU/Hurd 2013 Release Brings New Packages
  4. Intel Ultrabook Performance Is Faster With Mesa 9.2
  5. Hot Relocation HDD To SSD Support For Btrfs
  6. Phoronix Test Suite 4.6.0 "Utsira" Released
  7. New Intel X.Org Driver Supports All Of Haswell
  8. SQLite Now Faster With Memory Mapped I/O
  9. Microsoft Releases Skype For Linux 4.2, Has Bug-Fixes
  10. Qt For Tizen Launches, Based On Qt 5.1
  11. KTAP Released For Linux Kernel Dynamic Tracing
Latest Forum Talk
  1. Microsoft Releases Skype For Linux 4.2, Has...
  2. Intel Linux OpenGL Driver Leading Over Apple OS X
  3. gnome 3.8 in RHEL7?
  4. Fedora 18 Comes To ARMv6, Raspberry Pi
  5. Linux's "Ondemand" Governor Is No...
  6. Hot Relocation HDD To SSD Support For Btrfs
  1. Computers
  2. Display Drivers
  3. Graphics Cards
  4. Motherboards
  5. Peripherals
  6. Processors
  7. Software
  8. Operating Systems
  9. All Articles
  1. Linux Benchmarking
  2. OpenBenchmarking.org
  3. Phoronix Test Suite