STATIC ANALYSIS FOR

CERT C, CERT C++


Implement a disciplined, repeatable, and security-focused development process by incorporating application security measures into your design and coding processes

CERT® C and CERT® C++

 

The CERT® Secure Coding Standards for C and C++ are standards that provide rules and recommendations that target insecure coding practices and undefined behaviors that can lead to exploitable vulnerabilities.

 

Created by the Software Engineering Institute (SEI) for Embedded Developers

 

The Software Engineering Institute is a research and development center primarily funded by the U.S. Department of Defense and the Department of Homeland Security.

 

The CERT Division at SEI is operated by Carnegie Mellon University and responsible for publishing these standards.

 

The CERT® C and C++ coding standards are the result of studying over 20 years of documented software vulnerability cases.

Software Ingeneeering Institute Logo - SEI - Cert created by the Doftware Engineering Institute for Embedded Developers

Tool Certification

SGS TUEV Saar Logo - Functional Safety approved - certified

QA-C and QA-C++  have been classified and certified by SGS-TÜV GmbH, an independent third party certification body for functional safety, accredited by Deutsche Akkreditierungsstelle GmbH (DAkkS). Each tool has been classified with the highest  Tool Confidence Level, and is usable in development of safety related software to the highest integrity level of each if the certified standards.

 

Please contact us for more information about tool certification kits.

PRQA Certificate Version 8.2.2/ Version 3.2.2 - QA-C with MISRA C - QA-C++ with MISRA C++ - SGS TUEV Saar - Programming Research Ltd

 QA-C/QA-C++ Certificate

What is a software vulnerability?

CERT describes a vulnerability as a software defect that affects security when it is present in information systems.

 

The defect may be minor, in that it does not affect the performance or results produced by the software, but nevertheless may be exploited by an attack that results in a significant breach of security.

 

CERT estimates that up to 90% of reported security incidents result from the exploitation of defects in software code or design.

QA Systems solutions - CERT - Software Vulnerability - software defect that affects security when it is present in information systems
QA Systems Solutions - CERT - Automatically test against rulesets for secure coding in C and C++

Automatically test against rulesets for secure coding in C and C++

QA Systems CERT Add-Ons automatically tests against security vulnerabilities derived from a database containing over 20 years worth of documented vulnerability cases.

Eliminate the root causes of vulnerabilities

Guarantee the absence of coding errors; insecure coding practices and undefined behaviors that are commonly found to be the root causes of vulnerabilities.

QA Systems Solutions - CERT - Eliminate the root causes of vulnerabilities
QA Systems Solutions - CERT - Maximize dependability, trustworthiness, and resilience

Maximize dependability, trustworthiness, and resilience

Automated static analysis combined with a CERT® C and C++ Add-Ons help you produce software that executes predictably and correctly; minimize exposure to security vulnerabilities and weaknesses; and create code that can resist most known as well as new attacks.

 

You will know that your code is dependable, trustworthy, and resilient before your code is even compiled.

Automatically track, report, and demonstrate CERT C and C++ compliance

Manually tracking, reporting, and demonstrating compliance to a security coding standard isn’t feasible for large development teams working on enterprise-level codebases.

 

CERT® C and C++ add-ons automates compliance tracking, reporting to key stakeholders, and the documentation required to demonstrate compliance to external parties.

QA Systems Solutions - CERT - Automatically track, report, and demonstrate CERT C and C++ compliance
QA Systems Solutions - CERT - Cert Relationship with CWE - Common Weakness Enumeration

Relationship with CWE

(Common Weakness Enumeration)

CWE provides a comprehensive repository of known weaknesses, while the CERT® C Secure Coding standard identifies insecure coding constructs that may expose a weakness in the software.

 

Not all CERT® C coding guidelines map directly to weaknesses in the CWE, because some coding errors can manifest themselves in various ways that do not directly correlate to any given weakness. Similarly, not all weaknesses identified by CWE are present in the coding standard as some are related to high level design.

 

CWE is made up of a series of views, such as the dictionary view and the development view. The CWE-734 view enumerates weaknesses addressed by the CERT® C Secure Coding Standard and includes 103 out of the 799 total CWEs. Developers can fully or partially prevent the weaknesses identified in CWE-734 if they adhere to the CERT® coding standard.

Start
Trial
QA-Systems