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

Le développeur de Cppcheck (Daniel Marjamäki) prévoit d'ajouter une fonctionnalité de vérification des logiciels en C et C++ dans son analyseur statique.

Vérification des logiciels dans Cppcheck

En mode « vérification », Cppcheck émettra un avertissement si elle ne parvient pas à confirmer que le code est sûr, mais cela peut générer du bruit (de multiples avertissements).

Plans de mise en œuvre

Le mode de vérification sera mis en œuvre progressivement. Dans un premier temps, le travail sera concentré sur la vérification de la « division par zéro ». C'est un contrôle relativement simple. Chaque fonction sera vérifiée séparément. On suppose que toutes les entrées peuvent avoir une valeur arbitraire. D'autres types de vérifications de comportements indéfinis seront ajoutés ultérieurement. Une amélioration de l'analyseur syntaxique pour C et C++ est également prévue.

Accélération du développement

L'objectif de la collecte de fonds sur Kickstarter est d'accélérer le développement du mode de vérification. Cette fonctionnalité sera ajoutée de toute façon, mais le travail pourrait prendre plus de temps si les fonds ne sont pas collectés. Si les fonds sont levés, Daniel pourra prendre un congé de son travail principal pour consacrer pleinement son temps au projet cppcheck.

Objectifs du projet

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

• Correction des faux positifs (voir BUG#9402).

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

Source : linux.org.ru