Static Code Analysis
A good, open tool for static code analysis in C / C++ is cppcheck. Many useful checks are already implemented and cppcheck hardly provides incorrect messages. Moreover cppcheck supports equally C and C++. It is continually evolving and is currently available in version 2.11 .
More open tools are:
- Eclipse CODAN
- Flint ++
- oclint
- Clang static analyzer
- Splint (only C is supported)
More open tools are:
- Eclipse CODAN
- Flint ++
- oclint
- Clang static analyzer
- Splint (only C is supported)
- Infer
A test suite and a standard for the validation of tools is ISO / IEC TS 17961.
A test suite and a standard for the validation of tools is ISO / IEC TS 17961.
In the domain of the Go programming language exists a tool named go critic.