Code Analysis Tools
GrammaTech helps teams to quickly analyze and validate the code – source and/or binary – identifying serious vulnerabilities or bugs that cause system failures, poor reliability, system breaches, or unsafe conditions.
CodeSonar finds more significant defects than other tools, through our innovations in concurrency analysis, tainted data-flow analysis, and comprehensive checkers.
Testwell CTC++ Test Coverage Analyzer for C and C++ is a powerful and easy to use Code/Test Coverage Tool which shows the parts of the code which have been executed (tested). Two add-ons extend the functionality of Testwell CTC++: CTC++ for Java and Android add-on CTC++ for C# add-on The tool analyses for all coverage levels as required in “critical” projects, and helps to ensure highest code quality. Testwell CTC++ can be used with all compilers and cross-compilers (with only one CTC++ license).