Dans le développement de logiciels critiques pour la sécurité, le coût d’un bug ne se mesure pas en heures de débogage, mais en termes de risques. A mesure que la complexité logicielle s’accroît dans des secteurs tels que l’automobile, l’aérospatiale, l’industrie et les dispositifs médicaux, les équipes d’ingénierie subissent une pression croissante pour livrer un code non seulement fonctionnel, mais aussi dont la sûreté et la sécurité sont démontrables.

Le white paper d’AdaCore détaille en anglais sur 5 pages comment un outil d’analyse statique comme CodeSonar procure aux équipes d’ingénierie la visibilité nécessaire pour détecter les défauts critiques avant la mise en production.

Contrairement aux analyseurs statiques traditionnels qui évaluent le code module par module, cette technologie réalise une analyse globale du programme et examine les interactions entre les composants sur l’ensemble de la base de code en vue de révéler des vulnérabilités qui échappent aux outils moins sophistiqués.

Grâce à une prise en charge approfondie du C et du C++ et à la conformité avec des normes telles que MISRA, l’outil permet d’intégrer la conformité dès les premières étapes du développement sans perturber le flux de travail des développeurs.

Ce qui ouvre une voie plus claire et plus sûre du développement à la livraison, en donnant aux développeurs les moyens d’améliorer le code dans le cadre de leurs activités quotidiennes.