Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

DOI10.1007/11804192_7MaRDI QIDQ3591386zbMATH OpenOpenAlexFDO

Authors Dennis Dams, Kedar S. Namjoshi

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11804192_7

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1863891
• Static checker of semantic run-time errors
• Static analysis of finite precision computations
• Toward general diagnosis of static errors
• Numerical Software with Result Verification

Cited in

(9)

• Reusing predicate precision in value analysis
• Error checking with client-driven pointer analysis
• Combining model checking and data-flow analysis
• scientific article; zbMATH DE number 1956467 (Why is no real title available?)
• scientific article; zbMATH DE number 1863891 (Why is no real title available?)
• scientific article; zbMATH DE number 2090852 (Why is no real title available?)
• Counterexample guided path reduction for static program analysis
• Static checker of semantic run-time errors
• Parallel program analysis via range splitting

Describes a project that uses

Uses Software

• ESC/Java
• Bandera
• ASTREE
• Orion
• SLAM
• veriSoft
• DART
• CVC

This page was built for publication: Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591386)