Static program analysis is performed without executing the program at hand, but rather by analyzing the program’s structure. Different approaches exist, with varying degrees of safety and precision.
Products · Services · News · Contact
© AbsInt. Astrée is developed and distributed by AbsInt under license from the CNRS/ENS. Traffic lights image: Raysonho, CC0 1.0, sky photography: S. Eugster, CC BY-SA 3.0. Legal notices. Privacy policy. URL: https://www.absint.com/astree/slides/3.htm