PRQA Upgrades QA-C With Enhanced Dataflow Capability and Increased MISRA Enforcement
Inter-function Dataflow and Increased MISRA Coding Standard Enforcement
(firmenpresse) - HERSHAM, UNITED KINGDOM -- (Marketwire) -- 08/02/12 -- PRQA Programming Research (), a global leader in static analysis, announces an upgrade to QA-C. Version 8.1 is a new release of this leading static analysis tool for C environments that incorporates improvements to its sophisticated deep-flow dataflow analysis technology and increased enforcement of the MISRA coding standards.
QA-C 8.1 builds on the advanced dataflow analysis engine coupled with an industry-proven Satisfiability Modulo Theories (SMT) solver that was introduced in QA-C 8.0. This dataflow engine is now further enhanced with pointer aliasing and function call bindings (both parameters and return value) within a translation unit for true and detailed inter-function capability.
By providing the SMT solver with hi-fidelity semantic and flow control information from the in-house developed parser QA-C can not only detect issues but provide detailed information on the run-time state that the issue would occur in. Certainty levels from 'Definite', through 'Apparent' and 'Suspicious' to 'Possible' equip developers with the decision paths and values that enables them to address the defects.
Improved and revised type conversion analysis gives increased MISRA enforcement. Clearer and more intuitive messaging enables quicker identification of issues and coupled with extensive online help facilitates quick and correct defect removal.
QA-C forges ahead as a continuous code inspection tool, detecting code defects early in the development cycle, assisting in their eradication and preventing them becoming bugs.
QA-C 8.1 continues to surpass competitor limitations in advanced semantic language analysis and lead the field in advanced C code analysis. PRQA delivers prevention-oriented coding standards compliance and sophisticated C language bug-detection.
QA-C Version 8.1 is available now. Further details are available at .
All products or brand names are trademarks or registered trademarks of their respective holders.
Contacts:
Media Contacts:
PRQA PROGRAMMING RESEARCH
Harry Dehaly
+1 617 273 8448
Napier Partnership Limited
Suzy Kenyon
PR Agent for Programming Research
+44 1243 531 123
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
Datum: 02.08.2012 - 14:00 Uhr
Sprache: Deutsch
News-ID 171239
Anzahl Zeichen: 0
contact information:
Town:
HERSHAM, UNITED KINGDOM
Kategorie:
Internet
Diese Pressemitteilung wurde bisher 311 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"PRQA Upgrades QA-C With Enhanced Dataflow Capability and Increased MISRA Enforcement"
steht unter der journalistisch-redaktionellen Verantwortung von
PRQA (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
