From the course: C++ Best Practices for Developers

Unlock the full course today

Join today to access over 22,600 courses taught by industry experts or purchase this course individually.

Static analyzers

Static analyzers - C++ Tutorial

From the course: C++ Best Practices for Developers

Start my 1-month free trial

Static analyzers

“

- [Instructor] Static analyzers are tools that automatically examine C++ source code for issues. They are somewhat like compiler warnings, but they search the code at a much deeper level. Because of the deep search, analysis is much slower than compilation. There are dozens of static analyzers available, both open source and commercial. Analyzers are not perfect. There are occasional false positives. They are generally meant to be incorporated into a program's build chain, but can also run from the command line, some even have GUIs, and others are plugins for IDEs. Here are just a few analyzers. The Eclipse and Visual Studio IDEs have analysis tools built in. And more available as plugins. Cppcheck is a very popular open source tool. The Clang compiler has a built in static analyzer. Coverity is a popular commercial option, and finally, there is IKOS, which is an open source tool from NASA. Keep in mind that there are dozens more available.

Contents