Binary level static analysis
Published • Dec 2, 2016
Authors:
Adel Djoudi
Abstract
Analyse statique au niveau binaire 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 autom...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!