SonarQube is an open-source platform for continuous inspection of code quality to perform automatic reviews with static analysis of code to detect...
Free and paid plans available
Helix QAC is a coding-standard compliance and static analysis suite focused on C and C++ development. It is designed for embedded and safety-critical teams that need MISRA, CERT, and other standards checking with compliance reporting.
SonarQube is an open-source platform for continuous inspection of code quality to perform automatic reviews with static analysis of code to detect...
Free and paid plans available
Klocwork is a static code analysis tool that helps identify security vulnerabilities, reliability issues, and maintainability problems in code.
Contact for pricing
PVS-Studio is a static code analyzer for C, C++, C#, and Java. It helps find bugs and potential vulnerabilities in the code.
Starting at $439 per year
Polyspace is a static analysis and formal verification platform for C, C++, Ada, and model-based embedded software. It is used by safety-critical...
Static application security testing tool.
Contact for pricing
AbsInt
Astrée is a sound static analyzer that uses abstract interpretation to prove the absence of selected runtime errors in safety-critical C programs....
Your feedback helps us improve the AI rankings.
✅ Thanks for your feedback!
Suggest a product and our AI will verify it's a real alternative to Helix QAC before adding it to the list.