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.

Share
Related Documents
  1. [Video] Beautiful Code and Programming Discipline (1143)
  2. [Free] StyleCop : Static code analysis tool for C# (Microsoft) (2507)
  3. [Ebook] Embedded C (1850)
  4. [Paid] Vigilant Sentry : a static code analyzer for C/C++ (1990)
  5. [Paid] Ada-ASSURED : Testing and reviewing for coding style (1690)
  6. 2010-06-17, Mobile 2.0 Europe @ Spain (1720)
  7. [Paid] M-eux Test : Extension of QuickTest Professional for mobile application (5902)
  8. 2010-06-30, Mobilware 2010 @ USA (2363)
  9. Mobile Testing Automation (3707)
  10. [Ebook] The Art of Unit Testing: with Examples in .NET (4688)
  11. 2011-05-02, ESC (Embedded System Conference) @ USA (2633)
  12. [Paid] Adobe Device Central : Mobile Contents Testing tool (2744)
  13. [Webinar] Agile Testing and Tooling for Embedded Software Development (935)
  14. SD Momory Card Specifications for Testing (1460)
  15. Test-Driven-Development for Embedded C (2655)
  16. Unit Test of Embedded Software (1508)
  17. 2010-06-17, Embedded Technology West (ETW) @ Japan (1103)
  18. [Free] C Unit Tester (CUT) : C Unit Testing Tool (1720)
  19. Connected World Magazine : Embedded Testing Magazine (865)
  20. [Webinar] Overcome Skyrocketing Embedded Device Complexity to Deliver Products On-Time and On-Quality (917)