À l’ère du numérique, de plus en plus d’aspects de notre vie se voient confiés à des programmes. Les chercheurs et les entreprises mettent sur pied des stratégies pour améliorer la qualité et la sécurité des programmes. Ceci dans le but de minimiser la probabilité d’apparition de bugs et réduire la surface d’attaque par d’éventuelles vulnérabilités. Cet article met en exergue les problèmes liés au développement de code et le besoin d’automatiser les analyses de programmes.
On se propose d’introduire brièvement les challenges actuels liés à l’automatisation de la détection de bugs et vulnérabilités dans le code source de programmes. C’est une thématique importante et d’actualité à l’heure où le code inonde nos vies personnelles et professionnelles. Le code est au cœur des systèmes informatisés, c’est pourquoi, pour éviter la compromission et des conséquences irréversibles, il est crucial d’être proactif et de se protéger en amont.
Nous verrons pourquoi, de manière générale, les applications sont intrinsèquement vulnérables et/ou sujettes à des bugs. Nous décrirons les limitations des techniques manuelles pour détecter des propriétés dans du code et le besoin d’automatisation dans ce secteur. Par la suite, nous introduirons le concept d’analyse statique de code, les avantages et les limitations de cette technique. Enfin, nous tenterons de dresser un aperçu du marché actuel des outils d’analyse...
- Accédez à tous les contenus de Connect en illimité
- Découvrez des listes de lecture et des contenus Premium
- Consultez les nouveaux articles en avant-première