Static code analysis

Atollic® TrueINSPECTOR® is a professional tool for static source code analysis, thus helping you to find potential bugs automatically. By using Atollic TrueINSPECTOR, you can easily improve the quality of your software product! Atollic TrueINSPECTOR performs static source code inspection and generates software metrics. Atollic TrueINSPECTOR was previously sold as a stand-alone product but is now integrated as a standard feature of Atollic TrueSTUDIO Pro.

Coding standard compliance checking

The source code is validated against a database of formal coding standards, and coding constructs that are known to be error-prone are detected automatically, thus reducing the number of errors. This in turn reduces development/debugging/test time, reduces development cost, and improves the quality of your software product.

MISRA®-C:2004 is a coding standard for the C programming language, developed by MISRA®. The purpose is to identify a subset of the C language that improves safety, portability, reliability and maintainability. MISRA®-C:2004 contains 141 coding rules, that limit the flexibility of how the source code can be written. By following the MISRA®-C coding standard, you ensure that unsafe or unreliable coding constructs are not used in your software product, thus improving software quality and reducing the time spent on debugging.

Atollic TrueINSPECTOR performs MISRA®-C:2004 checking, automatically verifying source code compliance, pointing out any code lines that breaks any of the coding standard rules. The analysis results are presented in textual form as well as in easy-to-understand graphical charts. Developers can configure which rules to enable or disable at specific code inspection sessions, and reported rule violations are directly connected to the corresponding lines in the C/C++ editor. For each violation, Atollic TrueINSPECTOR gives an example of code that triggers the violation, and provides an example of the recommended coding style that solves the reported problem.

Code metrics

Atollic TrueINSPECTOR also generates software metrics, including cyclomatic values of code complexity. With a better understanding of what parts of your code is too complex, these sections can be rewritten using a less complex coding style. Avoiding complex code sections is a good way to improve maintainability and reducing the risk of errors, thus reducing development time and increasing product quality.

Additionally, Atollic TrueINSPECTOR provides other types of code metrics, including the commenting level of the project or per file. Having well documented source code improve maintainability and reduce maintenance costs.

Atollic TrueINSPECTOR generates various types of reports that can be exported in Microsoft® Word®, Microsoft® Excel®, Microsoft® PowerPoint®, HTML and PDF formats.

Summary

Atollic TrueINSPECTOR integrates fully into Atollic TrueSTUDIO®, the premier C/C++ development tool for embedded developers. By complementing these two products with Atollic TrueANALYZER® (dynamic code analysis) and Atollic TrueVERIFIER® (test automation), you get a superior tool solution for the most demanding of software projects!

Read the brochure here!

For more information, read our white papers:

How to improve software quality with code complexity analysis

Improving embedded software quality with static source code analysis

Understanding MISRA®-C testing tools compliance

Atollic, Atollic TrueSTUDIO, Atollic TrueINSPECTOR, Atollic TrueANALYZER and Atollic TrueVERIFIER are trademarks or registered trademarks of Atollic AB. Microsoft, Word, Excel and PowerPoint are registered trademarks of Microsoft Corporation. "MISRA C" is a registered trademark of MIRA Ltd, held on behalf of the MISRA Consortium.