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 and QA·C++, 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

QA-CPP

Compliance Packs IEC26262, IEC61508, Do178

With flexibility and broad analysis capability and reporting, PRQA solutions can be efficiently and effectively applied to any IEC/ISO standard, and used to verify conformance and certification to the particular software requirements. Contact us for more information on how your organization can effectively satisfy ISO/IEC guidelines.> Link to

QA-CPP

Verify

Capturing quantifiable data carries a modest cost, but turning that data into clear, valuable, and actionable information is priceless. QA·Verify dives deeply into this large information pool and provides an intelligent quality management interface. QA·Verify gives engineering teams and managers access to historical analysis data, trends, statistics, and metrics that reflect the continued quality of your code base.> Link to

QA-CPP

Structure 101

Spiralling complexity is widely seen as the single biggest challenge for software development today. It is easy to focus on localized cases (like functions or classes) while overlooking more serious system-wide complexity caused by high interdependence and architectural erosion. Structure101 uniquely exposes complexity at all levels of the code-base, and lets teams develop simpler code-bases with defined architectures, so they get more done in less time.> 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