Astree

Astree

Lorem ipsumconsectetur some

  • Lorem ipsum consectetur
  • Lorem ipsum consectetur
  • Lorem ipsum consectetur
DOWNLOAD PROJECT PDF
Key Features of Astrée

The C programming language is analyzed by Astrée to check if it is being used correctly and if there are any runtime errors during execution under any environment. It also helps in detecting:

  • Divisions by zero
  • Array indexing that goes out of bounds
  • Code that can prove to unreachable under any circumstances
  • Lock/unlock problems, etc

Astrée can detect many other critical problems. It helps in floating-point computations and can manage them accurately and soundly.

Astrée can be customized according to your requirements. It is a powerful tool for supplying external knowledge and fine-tuning analysis precision related to individual loops or data structures.

For more information, you could visit the official page https://www.absint.com/astree/index.htm.