PRQA stellte ein Upgrade für QA•C vor. Die Version 8.1 dieses statischen Analysewerkzeugs für C-Umgebungen enthält Verbesserungen in der Deep-Flow Datenfluss-Analysetechnik sowie eine verbesserte Konformitätsüberprüfung des MISRA-C Kodierungsstandards. QA•C 8.1 beruht auf einer Datenfluss-Analyse-Engine zusammen mit einem Satisfiability Modulo Theories (SMT) Solver, welcher bereits seit der Version 8.0 ein Teil von QA•C ist.
Diese Datenfluss-Engine wurde nun nochmals erweitert durch Pointer Aliasing und Funktionsaufrufs-Bindungen (Parameter plus Rückgabewert) innerhalb einer Translation Unit (Übersetzungseinheit) für eine umfassende und detaillierte Inter-Function Fähigkeit.
QA•C erkennt Code-Fehler bereits frühzeitig im Entwicklungszyklus. Das Werkzeug liefert Hilfestellungen für deren Auflösung, bevor diese zu echten Bugs werden können.
