Logiciels d'interprétation abstraite / Abstract Interpretation Software Packages

Les outils référencés ci-dessous sont rféservés à un usage académique. Pour un usage commercial de ces outils, veuillez contacter leurs auteurs.
The tools referenced below are for an academic use only. For commercial use of these tools, please contact their authors.

Logiciels développés par les (anciens) membres du groupe de recherche / Software developed by (former) members of the research group :
- Syntox : syntox.tar.Z, a Pascal abstract debugger by F. Bourdoncle
- An (Experimental) Parallel Pascal Analyzer by R. Cridlig
- Deadlock Detection Algorithms by Éric Goubault (exemples/examples)
- Marktoberdorf'98 Generic Abstract Interpreter (and its calculational design) by P. Cousot
- Validation de code mobile par interprétation abstraite / Mobile code verification by abstract interpretation by Jérôme Feret
- The Absinthe abstract interpreter by David Monniaux
- The Antoine Miné (includes a mini abstract interrpeter)
- The APRON library
Logiciels prototypes d'analyse statique / Static program analysis prototype software :
- ASTRÉE by Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
- C Global Surveyor by Guillaume P. Brat and Arnaud Venet
- Java Analyzer by T. Larson
- Merle - Static Analysis for Run Time Failure Analysis
- New Polka Polyhedral Library
- Omega: Frameworks and Algorithms for the Analysis and Transformation of Scientific Programs
- PAG/WWW (see also AbsInt)
- PIP
- Polyhedra library : Polka, by N. Halbwachs & Y.-É. Proy
- PPL: The Parma Polyhedra Library
- Step-E : The Stanford Temporal Prover (Educational version) (Polyhedral Invariant Generation
- STAN - a STatic ANalyser for CLP programs by Maria Handjieva
- CLAIR: The Combined Language and Abstract Interpretation Resource by Roberto Bagnara
- PPL: The Parma Polyhedra Library Resource by Roberto Bagnara
- CHINA: A Data-Flow Analyzer for CLP Languages by Roberto Bagnara
- Java String Analyzer
Logiciels industriels d'analyse statique de programmes / Industrial static program analysis software

Sans Garantie, Warrantly Disclaimer

Droits d'auteur, Copyright Notice

Retour à / back to: Page personnelle / home page, Institutions, Enseignement / Teaching, Recherche / Research, Services

Dernière mise à jour / Last modified : Monday, 28-Dec-2009 15:11:16 CET