ASTRÉE

Sound static analysis tool to
prove the absence of errors

ASTRÉE

Sound static analysis tool to
prove the absence of errors

Proven Absence of Errors with a ASTRÉE, Sound Static Analysis Tool

Astrée is a sound parametric static analyzer that proves the absence of runtime errors and data races.

Astrée proves the absence of errors. It reports program defects caused by unspecified and undefined behaviours according to the C and C++ language standards, program defects caused by invalid concurrent behaviour, and computes program properties relevant for functional safety.

Astrée DS image
Automatic generation

Zero false negatives & false positives

Lower false negatives mean more confidence the analysis has not missed problems. Lower false positives mean less wasted effort on assessing and discarding as ‘false’ a reported violation (alarm).

Lower cost

Sound data & control flow coupling

ASTRÉE computes data and control flow reports containing a detailed listing of accesses to global and static variables sorted by functions or variables, and caller/callee relationships between functions.

Lower risk

Error classes reported

ASTRÉE is sound for floating-point computations and handles them precisely and safely. It takes all potential rounding errors into account.

HOW ASTRÉE FITS IN YOUR VERIFICATION PROCESS

QA Systems static analysis and software testing tools support verification in the linear flow of software development below. We recommend applying sequential approach to these verification stages with tools that are designed and targeted for each purpose.

Flow process Astrée
  • COMPLY         > Use QA-MISRA for fast coding standard compliance at the developer’s desktop first.
  • TEST               > Use Cantata for automated dynamic execution of the standard compliant software.
  • ANALYZE       > Use ASTRÉE for proving absence of run-time errors on whole application.
    NB: Astrée uses the same configuration as QA-MISRA, so the effort to apply it later to a QA-MISRA project later is low.

Special shared license bundle option

QA-MISRA and CANTATA share the same Sentinel RMS user license technology. This allows customers to obtain a bundled solution for both tools to share the same concurrent user license pool, as well as the tools being integrated together in the Eclipse based IDE.

When QA-MISRA is purchased as a bundle with CANTATA or when an existing CANTATA license is converted to a bundle, there are very attractive combined prices available. Please contact us for more information.

All the standards for C and C++ in one tool

With Astrée there are no hidden extras, coding language variants, or compliance module add-ons.   It provides a single solution to automatically prove the absence of runtime errors, data races and further critical program defects in C/C++ code for the following language versions:

  • ISO/IEC 9899:1990 (C90)
  • ISO/IEC 9899:1999 (C99)
  • ISO/IEC 9899:2011 (C11)
  • ISO/IEC 9899:2018 (C18)
  • ISO/IEC 14882:2003 (C++03)
  • ISO/IEC 14882:2011 (C++11)
  • ISO/IEC 14882:2014 (C++14)
  • ISO/IEC 14882:2017 (C++17)

Why buy from QA Systems

  • A reliable testing vendor for 25 years
  • Hundreds of customers across all safety and business critical sectors
  • We listen to our customers to guide product enhancements

TRUSTED BY

  • Specialists in high reliability automated functional safety
  • Experienced direct technical support teams
  • Tool training and on-site consultancy
MTU