Source level analysis and compilation: Astrée and CompCert

by AbsInt GmbH
Key Facts
- Astrée finds all runtime errors – guaranteed.
- No miscompilation with CompCert – guaranteed.
- Astrée: market-leading static analysis for safety and security.
Categories
- Certification and Approval
- Testing Services
- Training
- Consulting
- Embedded Software for Data Security
- Other Tools and Software
- Static and Run-Time Analysis Tools
- Methods and Tools for Secure Embedded Systems
- Test and Verification Software
- Software for Software Design
Key Facts
- Astrée finds all runtime errors – guaranteed.
- No miscompilation with CompCert – guaranteed.
- Astrée: market-leading static analysis for safety and security.
Categories
- Certification and Approval
- Testing Services
- Training
- Consulting
- Embedded Software for Data Security
- Other Tools and Software
- Static and Run-Time Analysis Tools
- Methods and Tools for Secure Embedded Systems
- Test and Verification Software
- Software for Software Design
Product information
Product Expert

Download product information
Watch our product video
