Wikipedia
Astrée may refer to:
- L'Astrée, a novel by Honoré d'Urfé
- Astrée run-time error analyzer, a tool for static program analysis
- Michel Bernstein#Astrée, a record label
Astrée is a static analyzer based on abstract interpretation. It analyzes programs written in the C programming language and outputs an exhaustive list of possible runtime errors and assertion violations.
The tool is tailored towards safety-critical embedded code: source programs are assumed not to contain dynamic allocation (malloc); specific analysis techniques are used for common control theory constructs (filters, rate limiters...) and floating-point numbers.
Astrée was developed in Patrick Cousot's group at École Normale Supérieure, a joint group with CNRS, and is marketed by AbsInt GmbH. It is used in the Defense/Aerospace, Industrial Control, Electronic, and Automotive industries. One of the main industrial users is Airbus.
Astrée is a commercial product available from AbsInt Angewandte Informatik.
Astrée is an opera by the French composer Pascal Collasse, first performed at the Académie Royale de Musique (the Paris Opéra) on 25 November 1691. It takes the form of a tragédie lyrique in three acts. The libretto, by Jean de La Fontaine, is based on the romance Astrée by Honoré d'Urfé. The opera was a failure.