Les développeurs/auditeurs utilisent régulièrement des outils d’analyse statique pour trouver des vulnérabilités logicielles. Malheureusement, ces outils sont loin d’être parfaits: une personne doit passer en revue ces vulnérabilités et décider de les traiter ou non. L’objectif de ce projet de recherche est d’augmenter les performances d’outils d’analyse de code statique tel que FindSecurityBugs (logiciel libre […]
Read More