rulechecker - antycip · 2019-06-03 · of code metrics checking coding guidelines for c/c++...
TRANSCRIPT
RuleChecker
RuleChecker efficiently checks coding guidelines and computes code metrics for C/C++ programs.
Result overview Tabular overview of code metrics
Checking Coding Guidelines for C/C++ Programs
Why do you need RuleChecker?
Safety-critical software has to be developed according to coding guidelines to ensure high-quality code, and to reduce the risk of programming errors and . security vulnerabilities
· is a static analyzer designed to check and compute for C/C++ RuleChecker coding guidelines code metricsprograms. Multiple result views and graphical visualizations enable an . efficient result exploration
· is and .RuleChecker fast easy to use
· supports: RuleCheckerŸ MISRA C:2004Ÿ MISRA C:2012 incl. Amendment 1Ÿ ISO/IEC TS 17961:2013Ÿ SEI CERT Secure CŸ MITRE Common Weakness Enumeration (CWE)Ÿ MISRA C++:2008Ÿ Adaptive AUTOSAR C++14 (preview version).
· can be coupled with the sound static analyzer to guarantee and RuleChecker Astrée zero false negatives minimal false positives on semantical rules.
· is fully batch-mode compatible and can be used in frameworks. Open formats RuleChecker continuous integrationenable the analysis results to be automatically processed. A is available. Jenkins plugin
· The AbsInt Toolbox for TargetLink provides a seamless integration of with dSPACE . RuleChecker TargetLink
· An plugin is available. Eclipse
· A flexible supports a wide range of rollout scenarios.client/server architecture
· can be according to all relevant safety norms, including ISO-26262, RuleChecker automatically qualifiedDO-178B/C, IEC-61508, EN-50128, etc.
For individual support of your in-house coding guidelines, please contact us.
Configuration of active rule sets
AbsInt Angewandte Informatik GmbH Science Park 1 D-66123 Saarbrücken Germany phone: +49 681 383 60 0 fax: +49 681 383 60 20 [email protected] www.absint.com