Mise en oeuvre un système de détection des vulnérabilités des logiciels

Les bogues logiciels qui entra螽ent une corruption de la m幦oire sont une caract廨istique courante et dangereuse des syst鋗es d憝elopp廥 dans certains langages de programmation. Ces bogues constituent des failles de s嶰urit?s'ils peuvent 皻re exploit廥 par un pirate pour d嶰lencher l'ex嶰ution d'un code malveillant. D彋erminer si une telle possibilit?existe est un processus qui prend du temps et n嶰essite une expertise technique dans un certain nombre de domaines. Souvent, la seule fa蔞n de s'assurer qu'un bogue est effectivement exploitable par un attaquant est de cr嶪r un exploit complet. C'est ce processus que nous cherchons ?automatiser. Nous pr廥entons un nouvel algorithme qui int銶re l'analyse du flux de donn嶪s et une proc嶮ure de d嶰ision dans le but de construire automatiquement des exploits. Les exploits que nous g幯廨ons sont construits pour d彋ourner le flux de contr犨e d'une application et le rediriger vers un code malveillant.