Astrée
Astrée is a static analyzer for safety-critical software written or generated in C or C++.
Astrée is a sound static analysis tool for proving the absence of runtime errors and invalid concurrent behavior in C/C++. In 2020, the US National Institute of Standards and Technology determined that Astrée satisfies their criteria for sound static code analysis. This means that if no errors are signaled, the absence of runtime errors during any execution in any environment has been proved.
Choose options
Need help?
Frequently Asked Questions
For more details, please contact a sales representative or call our office at 613-215-3252. We can provide additional information, technical demos, evaluation licenses, and technical documents that are not available on our website.
Please contact Alice Campbell at alice.campbell@joraltechnologies.com or Robert Campbell at robert.campbell@joraltechnologies.com.
Yes, you can verify your current licenses with JORAL.
To find out how many licenses you currently own, please contact our office at 613-215-3252 or email Karen O'Connell at karen.o'connell@joraltechnologies.com or Coral May Van Allen at coralmay.vanallen@joraltechnologies.com for detailed information.
Yes, we do! Please reach out to a sales representative or call our office at 613-215-3252.
You can contact Robert Campbell at robert.campbell@joraltechnologies.com or Alice Campbell at alice.campbell@joraltechnologies.com for more details.
To discuss purchase terms not available on our store, Please reach out to a sales representative or call our office at 613-215-3252.
You can contact Robert Campbell at robert.campbell@joraltechnologies.com or Alice Campbell at alice.campbell@joraltechnologies.com for more details.
Yes! We offer technical support. Please contact our office at 613-215-3252 or email Steve Shortt at stephen@joraltechnologies.com for assistance.
All major credit cards are supported, including Visa, Mastercard, American Express and we take Purchase Orders.
Please call our office at 613-215-3252 or email Karen O'Connell at karen.o'connell@joraltechnologies.com
PRODUCTS
Manufacturers
Resource center