TrueINSPECTOR

Static Source Code Inspection

 

Atollic TrueINSPECTOR is a professional tool for static source code inspection, 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. 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 (The Motor Industry Software Reliability Association) was established as a collaboration between various vendors in the automotive industry, with the purpose to promote best practice in developing safety-critical systems in road vehicles and other types of embedded systems.

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.

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.

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

 

 

TrueINSPECTOR

Data Sheet, Price
Main Features

 

  • Parses C/C++ source code and analyze the meaning of the code
  • Validates the source code versus a database of formal coding standards
  • Detects violations to the coding rules
  • Suggest better coding practice for every rule violation
  • Graphical charts visualise inspection result
  • Report generator with export to CSV files
  • Detect errors early - reduces development cost and increase product quality