Find hundreds of classes of bugs including run-time errors, concurrency issues, and other coding defects in C/C++.
Enforce MISRA C, MISRA C++, JSF++, and custom rules.
Check security vulnerabilities and standards: CWE, CERT-C, ISO/IEC 17961, and others.
Collect metrics at the project, file, and function levels including cyclomatic complexity, stack usage, and HIS metrics.
Identify defects as soon as code is written or modified.
Comply to ISO 26262, DO-178, IEC 61508, EN 50128, FDA, and others.
See your code in a debugger-like view with event traces, variable values, and call trees.
Detect data race, deadlock, double lock, missing lock, and other issues.
Trace findings to the source model block for generated code.
Comply to CERT C, ISO 17961, MISRA C:2012 Amendment, and CWE.
Define pass/fail quality thresholds for software team collaboration and project milestones.
Integrate with any compiler, target processor, RTOS environment, and continuous integration system.