English Astrée (static analysis) Cited by user Rjwilmsi on 12 Jun 2016 Astrée is a static analyzer based on abstract interpretation. It analyzes programs written in the C programming language and outputs an exhaustive list of possible…