logo slogan

Static Analysis from Programming Research

 

 

 Established in 1986, Programming Research's extensive experience with leading global software development organizations enabled them to emerge as the industry's coding standard experts. PRQA is recognized worldwide as the leading authority in the assessment of software quality through automated source code analysis and development process improvements.

 

The advanced code analysis products are QA·C, QA·C++, and QA·J. They use powerful, proprietary language parsing engines to statically analyze your source code. They identify problems caused by language usage that’s dangerous, overly complex, non-portable, or difficult to maintain. Plus, they include the basic building blocks for coding standard enforcement.

QA-C

QAC

QA-C Analyses C source code to report more than 1100 potential problems in the areas of C language usage, dangerous constructs maintenance & portability concerns. Successfully parses C language extensions and non-standard constructs as seen in many popular compilers. Provides readily configurable warning messages and reports. Produces 44 industry-accepted metrics including Cyclomatic Complexity, Static Path Count and Myer's interval and can be extended to generate company specific metrics.  Reports on ISO Standard non C conformance. • Can be extended to implement extra locally specified analysis checks  > Link to

QA-CPP

QAC++

QA·C++ identifies problems in C++ source code caused by language usage that’s dangerous, overly complex, non-portable, difficult to maintain, or simply diverges from coding standards—you get comprehensive coverage. QA·C++ warns about issues that are not reported by compilers or other tools. Then, it explains why they are problems and shows you how to fix them. > Link to

ESS

Java

QA·J is a tool-set for static analysis of Java source code: a combination of automatic code review and automatic coding standards enforcement. The main functionality is to ensure that no errors enter the source code when it is written or modified, resulting in more reliable, maintainable, testable and portable Java programs. > Link to

QA-MISRA

MISRA-C Compliance

QA·MISRA is recognized worldwide as the leading, most powerful, and most widely adopted solution for MISRA compliance available today. QA·MISRA automatically enforces MISRA-C:1998 and MISRA-C:2004 now and gives you a head start to comply with the new MISRA-C++ and SAE J2632 guidelines underway for tomorrow.. > Link to

QA-MISRA

MISRA- C++ Compliance

NOTE: MISRA-C++ has not been finalized yet. PRQA is actively supporting the creation of the MISRA-C++ standard (see below). PRQA will provide a compliance analyzer upon its official release.. > Link to

QA-HICPP

HIGH·INTEGRITY C++

C++ is used in a wide variety of domains—from safety critical systems to GUI applications.  Therefore, when designing a coding standard, it is possible to target an infinite set of domains resulting in an infinite set of rules. PR decided that HIGH·INTEGRITY C++ should target best practice rules that covered any domain.  To provide guidance to developers on the right way to solve problems at a higher level—rather than just targeting specific edge case constructs that the majority of developers will never need to use. . > Link to

QA-JSFPP

QA·JSF++

 

QA·JSF+ enforces the once "secret" C++ coding standard used in the Joint Strike Fighter project..  Download your copy of JSF++ > Link to

ESS

QA·Consultancy

 

Both Programming Research and Phaedrus Systems can provide consultancy on coding standards and enforcement,  code audit, process and tool training. > Link to