Astrée satisfies NIST''s Ockham criteria

ID: 1559171
recent pressrelease next pressrelease

(PresseBox) - AbsInt?s tool Astrods and techniques.

The SAMATE project recognizes the value and importance of sound static code analyzers. During the 6th Static Analysis Tool Exposition (SATE VI), the NIST team evaluated static analyzers with respect to the SATE VI Ockham Sound Analysis Criteria.

In brief, these criteria are:

? The tool is claimed to be sound.

? For at least one weakness class and one test case, the tool produces findings for a minimum of 75% of appropriate sites.

? Even just one incorrect finding disqualifies a tool for SATE VI.

The definition of a finding includes reporting a buggy site as buggy, but also passing a correct code location without alarm. In other words, in order to satisfy the SATE VI Ockham Sound Analysis Criteria, all defects must be found, and the rate of false alarms must be low.

Astr

The SAMATE report emphasizes Astrmeticulously, details of modeling that otherwise would be inconsequential showed up and had to be resolved.?

The full report was published in May 2020 and is available for free as PDF from

nvlpubs.nist.gov/nistpubs/ir/2020/NIST.IR.8304.pdf

AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification, and certification of safety-critical and security-relevant software. Key products include static analysis tools to check coding guidelines, for timing and stack usage analysis, and to detect critical programming defects in C/C++ code.

Founded in 1998, AbsInt is a privately-held company located in Saarbr

For further information, visit www.absint.com.



More information:
http://https://



Keywords (optional):



Company information / Profile:

AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification, and certification of safety-critical and security-relevant software. Key products include static analysis tools to check coding guidelines, for timing and stack usage analysis, and to detect critical programming defects in C/C++ code.Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. Our customers come from various industry sectors, including aerospace, automotive, healthcare and energy, and are located in more than 40 countries all over the world.For further information, visit www.absint.com.

PressRelease by

Requests:



PressContact / Agency:



published by: PresseBox
print pressrelease  send to a friend  

Date: 07/01/2020 - 10:04
Language: English
News-ID 1559171
Character count: 3054
Kontakt-Informationen:
Firma: AbsInt Angewandte Informatik GmbH
Ansprechpartner: Feedback to businesspress24.com about Pressrelease-id:
Stadt: Saarbrücken
Telefon:

Meldungsart:
Versandart:
Freigabedatum:
Comments:



Number of hits: 209

Linking-Tips:



Direct Link to this PressRelease:






We would appreciate a link in your News-, Press- or Partner-Site.

Comments on this PressRelease






All members: 9 438
Register today: 0
Register yesterday: 0
Members online: 0
Guests online: 55


Don't have an account yet? You can create one. As registered user you have some advantages like theme manager, comments configuration and post comments with your name.