http://www.absint.de/astree/

Astrée is a static program analyzer that proves the absence of run-time errors (RTE) in safety-critical embedded applications written or automatically generated in C.

Astrée screenshot
Astrée screenshot

Astrée analyzes structured C programs with complex memory usages, but without recursion or dynamic memory allocation. This targets embedded applications as found in earth trans­por­tation, nuclear energy, medical instrumentation, aeronautics and space flight, in particular syn­chro­nous control/command such as electric flight control.

Which run-time properties are analyzed by Astrée?

Astrée analyses whether the C programming language is used correctly and whether there can be any run-time errors during any execution in any environment. This covers:

  • Any use of C that has undefined behavior according to ISO/IEC 9899:1999, the international norm governing the C program­ming language. Examples include division by zero or out-of-bounds array indexing.
  • Any use of C that violates hardware-specific aspects as defined by ISO/IEC 9899:1999, e.g. the size of integers and arithmetic overflow.
  • Any potentially harmful or incorrect use of C that violates user-defined programming guide­lines, such as no modular arithmetic for integers (even if this might be the hardware choice).
  • Any violation of optional user-defined assertions to prove additional run-time properties (simi­lar to assert diagnostics).

Astrée can be customized and integrated into established tool-chains.

You would..
Share
Related Documents
  1. [Video] Beautiful Code and Programming Discipline (956)
  2. [Free] StyleCop : Static code analysis tool for C# (Microsoft) (2061)
  3. [Ebook] Embedded C (1481)
  4. [Paid] Vigilant Sentry : a static code analyzer for C/C++ (1485)
  5. [Paid] Ada-ASSURED : Testing and reviewing for coding style (1455)
  6. 2010-06-17, Mobile 2.0 Europe @ Spain (1444)
  7. [Paid] M-eux Test : Extension of QuickTest Professional for mobile application (4869)
  8. 2010-06-30, Mobilware 2010 @ USA (2094)
  9. Mobile Testing Automation (3212)
  10. [Ebook] The Art of Unit Testing: with Examples in .NET (3877)
  11. 2011-05-02, ESC (Embedded System Conference) @ USA (2377)
  12. [Paid] Adobe Device Central : Mobile Contents Testing tool (1714)
  13. [Webinar] Agile Testing and Tooling for Embedded Software Development (749)
  14. SD Momory Card Specifications for Testing (1355)
  15. Test-Driven-Development for Embedded C (1419)
  16. Unit Test of Embedded Software (1295)
  17. 2010-06-17, Embedded Technology West (ETW) @ Japan (966)
  18. [Free] C Unit Tester (CUT) : C Unit Testing Tool (1412)
  19. Connected World Magazine : Embedded Testing Magazine (752)
  20. [Webinar] Overcome Skyrocketing Embedded Device Complexity to Deliver Products On-Time and On-Quality (713)