Automatisation de la détection de vulnérabilités (sauf buffer overflow

requis (bas niveau sur binaire)
- Ciblage d'au moins deux classes de vulnérabilités parmi : format string, use-after-free, integer overflow/underflow, double free, race condition, type confusion
- Analyse statique automatisée : parsing du binaire (ELF ou PE), extraction des fonctions, identification de patterns dangereux via analyse du CFG ou du code désassemblé
- OU analyse dynamique : instrumentation du binaire (Frida, PIN, Valgrind, ASAN/MSAN) avec détection automatique à l'exécution
- OU approche hybride combinant les deux (statique + dynamique)
- Pipeline automatisé : entrée = binaire, sortie = rapport de vulnérabilités trouvées avec localisation (fonction, offset)
- Corpus de test : au moins cinq binaires volontairement vulnérables créés par l'étudiant pour valider chaque classe ciblée
- Documentation : approche choisie, justification, algorithmes de détection, limites théoriques

1 semaine