Le projet Cppcheck collecte des fonds pour mettre en œuvre des améliorations.

Le développeur de Cppcheck (Daniel Marjamäki) va ajouter la possibilité de vérifier des logiciels en C et C++ à son analyseur statique.

Vérification du logiciel dans Cppcheck

En mode « vérification », Cppcheck émettra un avertissement s'il ne peut pas vérifier que le code est sûr, mais cela peut entraîner du bruit (avertissements multiples).

Plans de mise en œuvre

Le mode de vérification sera mis en œuvre séquentiellement. Dans un premier temps, les travaux se concentreront sur la division par contrôle zéro. Il s'agit d'une vérification relativement simple. Chaque fonction sera testée séparément. On suppose que toutes les données d’entrée peuvent avoir une valeur arbitraire. Des vérifications pour d'autres types de comportements non définis seront ajoutées ultérieurement. Il est également prévu d'améliorer l'analyse syntaxique C et C++.

Accélérez le développement

Le but de la collecte de fonds sur Kickstarter est d'accélérer le développement du mode vérification. Nous prévoyons quand même d’ajouter cette fonctionnalité, mais le travail pourrait prendre plus de temps si les fonds ne sont pas collectés. Si les fonds sont récoltés, Daniel pourra prendre un congé de son emploi principal afin de consacrer pleinement son temps de travail au projet cppcheck.

Objectifs du projet

• Élimination des faux négatifs des tests de division par zéro dans Juliet и ITC.

• Correction des faux positifs (voir. BOGUE n° 9402).

• Amélioration de l'analyseur C++.

Source: linux.org.ru