Tool title |
Title of page above |
Type |
COTS |
Owner/Source |
AbsInt |
Link |
|
Description |
Astrée is a static code analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical software written or generated in C. A static program analyzer for a restricted set of C programs, (no dynamic memory allocation and recursion). It was started as a research tool by Patrick and Radhia Cousot, and their research group, and is now commercialized by AbsInt. |
User |
TBD |
SWE |
SWE-135 |
