What Programming Research (PRQA) does

Programming Research (PRQA), originally the creator of QA-C, was acquired by Perforce Software Inc. and is now operated as the Perforce QAC (formerly Helix QAC) product line. The company builds a static code analysis platform for C, C++, and Rust codebases targeting safety-critical embedded software development. Its core engine is built on sound abstract interpretation and inter-procedural dataflow analysis, which delivers deeper, more accurate defect detection than surface-level scanners and enables 100% MISRA coverage across C, C++, and Rust standards. The platform is independently TÜV-SÜD certified for major functional safety standards (ISO 26262 up to ASIL D, IEC 61508 up to SIL 4, EN 50716, IEC 62304, IEC 60880) and certified to ISO 9001 and ISO 27001, making it a procurement-grade compliance tool for regulated industries.

The product portfolio includes Perforce QAC as the core analyzer, Perforce Klocwork as a complementary static analysis tool, Perforce Validate as a centralized compliance governance platform, and a DO-330 Qualification Pack for aerospace tool qualification. An AI-assisted code remediation feature, delivered through a VS Code plugin integrated with GitHub CoPilot and multiple LLMs, generates compliance-aware code fixes that require developer approval. The platform integrates with Microsoft Visual Studio, VS Code, Jenkins CI/CD, Perforce P4 version control, and exposes a Web API for CI-based workflows.

The business model is enterprise software licensing and subscription, sold via direct field sales to safety-critical verticals — automotive, aerospace and defense, medical technology, and industrial automation. Pricing is not publicly disclosed, but the product is offered with a free trial and professional onboarding packages. The company operates a global footprint with go-to-market support via content marketing, industry events, webinars, and a Trust Center supporting enterprise procurement. Perforce is privately held and backed by Vista Equity Partners, with QAC positioned as a strategic product within a larger DevOps, data, and infrastructure software portfolio.

Name

Programming Research (PRQA)

Legal name

Perforce Software Inc.

Website

https://prqa.com

Company type

Private

Founded year

1985

Operating status

Operating

Headcount range

101–250 employees

Short description

Programming Research (PRQA), now operating as Perforce QAC, provides static code analysis for C, C++, and Rust in safety-critical embedded software for automotive, aerospace, defense, medical, and industrial customers, sold via enterprise licensing and direct sales.

Ownership category

akta.pro rank

Product category

Static Code Analysis Software

NAICS

Computer Systems Design and Related Services (54151)

akta.pro primary industry

Quality Engineering & Test Automation (QE/QA) (BPAEAFAJ)

akta.pro secondary industry

Testing, QA & Release/Deployment Enablement (BPAEAAAN)

Keywords

• Static code analysis
• MISRA compliance tools
• Embedded software testing
• Functional safety compliance
• Code quality tools

Headquarters

HQ city

Surrey

HQ country

Canada

HQ region

North America

Markets served

GTM type

B2B

Offering type

Software

Cost components

Technology or R&D, Personnel, Marketing or Sales, Operations, Infrastructure

Revenue model

1. Software License and Subscription: Perforce QAC is offered as an enterprise software product with licensing and subscription models. The product is available via direct sales, free trials, and professional onboarding packages. The company operates a customer portal and provides downloadable trial versions indicating a commercial licensing model with enterprise procurement.

Pricing tiers

Go-to-market motion1 record

Distribution channels3 records

Marketing channels7 records

Core offering

Perforce QAC (formerly QA-C, originally from Programming Research/PRQA) is a static code analysis platform for C, C++, and Rust codebases that enforces coding standards (MISRA, AUTOSAR, CERT) and supports functional safety compliance (ISO 26262, IEC 61508, DO-178C) for safety-critical embedded software development. It is sold as enterprise software with licensing/subscription, complemented by the DO-330 qualification pack and the centralized Perforce Validate compliance governance platform.

Product overview

Perforce offers a static code analysis platform focused on code quality and compliance for safety-critical industries. The core product Perforce QAC provides centralized, continuous compliance analysis for C, C++, and Rust codebases. Perforce Klocwork serves as another static analysis product in the portfolio. Perforce Validate acts as the centralized platform aggregating analysis results from both QAC and Klocwork, enabling organization-wide compliance governance. The DO-330 Qualification Pack is an add-on for tool certification in aerospace and defense. AI-Assisted Code Remediation is a feature that generates actionable code fixes leveraging the analysis depth of QAC.

Differentiator

Problem solved

Functional benefit

Brands

• Helix QAC: Static code analysis tool for code quality and compliance, supporting C, C++, and Rust codebases with MISRA, AUTOSAR, CERT, and other coding standards coverage.

Products and services

• Perforce QAC (formerly QA-C / Helix QAC) Centralized, continuous compliance static code analyzer for C, C++, and Rust codebases. Delivers deep coding standards rule enforcement (MISRA, AUTOSAR, CERT) and functional safety compliance evidence for embedded software development teams in safety-critical industries.
• Perforce Klocwork Static analysis product for code quality and security vulnerability detection across codebases, marketed as part of the Perforce static analysis portfolio alongside QAC.
• Perforce Validate Centralized store of analysis results, trends, and configurations from Perforce Static Analysis products, with customizable QA and compliance rule configurations for organization-wide compliance governance.
• DO-330 Qualification Pack Tool qualification package providing TÜV-certified qualification materials for DO-178C and DO-278, supporting functional safety processes for highly regulated aerospace and defense industries.

Quantifiable outcome

• Finds defects other tools miss with inter-procedural dataflow analysis and 100% MISRA coverage

Named customers1 record

Segments5 records

Ideal customer profiles4 records

Technology focussed Yes

API detail

Has API

Yes

API docs

API detail

Core technology

AI maturity

App detail

Integration5 records

AI capability2 records

Feature8 records

Scale indicators1 record

Recent moves6 records

Expansion highlights6 records

Direct peers

• Parasoft: Parasoft offers C/C++ static analysis plus unit testing and compliance reporting for embedded and safety-critical software, with explicit support for MISRA, IEC 61508, ISO 26262, and DO-178C. It targets the same embedded compliance buyer as QAC.
• LDRA: LDRA is a long-standing specialist in static analysis and unit testing for safety-critical C, C++, Ada, and Java codebases, serving the same automotive (ISO 26262), aerospace (DO-178C), medical (IEC 62304), and industrial verticals as Perforce QAC. It is the closest direct competitor in MISRA-compliance tooling.
• MathWorks Polyspace: Polyspace provides static analysis with abstract interpretation for embedded C/C++ code, widely used to demonstrate MISRA, IEC 61508, ISO 26262, and DO-178 compliance. It is a direct alternative to QAC for embedded software verification.
• GrammaTech CodeSonar: GrammaTech's CodeSonar is a static analysis tool focused on embedded C/C++ and safety-critical code, with deep dataflow analysis for defect and security detection. It competes directly in aerospace, automotive, and medical device markets.
• Synopsys Coverity: Coverity is one of the most widely deployed commercial static analysis platforms for C, C++, and mixed codebases, with strong enterprise penetration in safety- and security-sensitive development organizations. It competes head-on with Perforce QAC in regulated industries and large enterprises.

Regional players

• Vector Informatik: Vector is a leading supplier of automotive embedded software tools and testing solutions, with strong penetration among European OEMs and Tier 1s. While not a direct MISRA-rule-by-rule competitor, it overlaps in adjacent automotive compliance tooling.

Emerging players

• Tasking / TASKING compilers and tools: Tasking provides embedded development toolchains and static analysis capabilities (including TriCore, RH850, and Aurix) used heavily in automotive safety-critical software. It is an adjacent and increasingly competitive player in the same automotive embedded toolchain space as QAC.
• Snyk Code: Snyk Code delivers AI-powered SAST and static analysis inside developer workflows, with growing language coverage and a developer-first SaaS model. It represents an emerging, platform-centric threat to licensed static analysis tools like QAC.
• GitHub Advanced Security (CodeQL): GitHub's CodeQL-based code scanning and AI-assisted security features are increasingly bundled into enterprise developer platforms and are beginning to encroach on traditional static analysis categories, including embedded languages, posing a long-term disruptive threat to QAC.

Broad incumbents

• Sonar (SonarQube / SonarCloud): Sonar is a broad code quality and security platform covering many languages and CI/CD workflows, increasingly marketed to enterprises as a continuous code quality gate. It overlaps with QAC in static analysis and compliance reporting but addresses a much wider, less safety-critical audience.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key highlights7 records

Customer concentration

• Xx.com/PRQA1985
• YouTubeyoutube.com/user/perforcesoftware
• LinkedInlinkedin.com/company/perforce

Compliance3 records

Revenue estimate

Valuation estimate

Number of profiles

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Programming Research (PRQA)