Perforce QAC

Perforce QAC is a static code analysis tool for C, C++ and Rust, aimed at embedded and safety-critical software. It surfaces vulnerabilities, enforces coding standards such as MISRA with inter-procedural dataflow analysis, and provides audit-ready reporting to support functional safety certification.

It was developed by Programming Research (PRQA) as QA·C and QA·C++; Perforce acquired PRQA in 2018 and renamed the product Helix QAC, now Perforce QAC. It is a commercial product.