AI Assurance Directory

Safety engineering

Perforce QAC

Evidence strength: Strong 6 cited · 0 analyst How this is scored

Static analyzer for C, C++ and Rust (formerly Helix QAC). TÜV SÜD certified for ISO 26262 (automotive) up to ASIL D, IEC 61508 (general industry) up to SIL 4, and IEC 62304 (medical devices) up to Software Safety Class C. Also names a DO-330 pack for DO-178C. Not a neural-network verifier.

Certification evidence

6 cited mappings · 0 analyst assessments across 4 frameworks. Counts are public. Requirement labels and quotes stay on Pro.

Maps to 2 DO-178C / related aerospace guidance requirements — see which with Pro

Maps to 1 ISO 26262 requirement — see which with Pro

Maps to 1 IEC 61508 requirement — see which with Pro

Maps to 2 IEC 62304 requirements — see which with Pro

Certification relevance. Cited pages map this listing to DO-178C / related aerospace guidance (2 requirements), ISO 26262 (1 requirement), IEC 61508 (1 requirement), and IEC 62304 (2 requirements).

Cited page: Perforce: Embedded Software Static Analysis | Perforce QAC — a named DO-178C / related aerospace guidance requirement.

Cited page · The quoted wording is Pro.

Listing detail and source evidence (Pro)

Included on Pro, Team and Enterprise. Public summaries, tags and official links on this page stay free.

See plans · Sign in

Cited mappings (Pro)

Included on Pro, Team and Enterprise. Public summaries, tags and official links on this page stay free.

See plans · Sign in

Procurement evidence pack (Pro) — print cited mappings and analyst notes. The print view is not on this page.

Vendor / publisher
Perforce
Type
Commercial
Official site
https://www.perforce.com/products/helix-qac
Industries
Frameworks named on cited source
Last verified

Listing is not an endorsement, certification or recommendation. Capabilities, availability and framework support can change. Confirm with the vendor and the relevant authority. See the disclaimer.