Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
static analysis tool
|
| gptkbp:analyzes |
C code
|
| gptkbp:basedOn |
abstract interpretation
|
| gptkbp:detects |
division by zero
arithmetic overflows invalid memory accesses |
| gptkbp:developedBy |
AbsInt GmbH
|
| gptkbp:firstReleased |
2001
|
| gptkbp:focusesOn |
proving absence of runtime errors
|
| https://www.w3.org/2000/01/rdf-schema#label |
Astrée analyzer
|
| gptkbp:usedFor |
safety-critical embedded systems
|
| gptkbp:usedIn |
aerospace industry
automotive industry |
| gptkbp:website |
https://www.absint.com/astree/
|
| gptkbp:bfsParent |
gptkb:Abstract_interpretation
|
| gptkbp:bfsLayer |
8
|