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.…