Contrairement à un analyseur statique « classique », il se repose sur une théorie mathématique appelée Interprétation Abstraite.
Euh, je suis le seul à trouver que l'interprétation abstraite, c'est tout à fait classique pour l'analyse statique ? Cousot et Cousot 77, ça a été publié il y a 41 ans, quand même...
# Classique ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 4.
Euh, je suis le seul à trouver que l'interprétation abstraite, c'est tout à fait classique pour l'analyse statique ? Cousot et Cousot 77, ça a été publié il y a 41 ans, quand même...