Binary level static analysis
Les méthodes de vérification automatique des logiciels connaissent un succès croissant depuis le début des années 2000, suite à plusieurs succès industriels (Microsoft, Airbus, etc.). L'analyse statique vise, à partir d'une description du programme, à inférer automatiquement des propriétés...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016SACLX093 |