{"id":101563,"date":"2021-10-07T16:22:54","date_gmt":"2021-10-07T14:22:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s"},"modified":"2021-10-07T16:22:54","modified_gmt":"2021-10-07T14:22:54","slug":"vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","status":"publish","type":"post","link":"https:\/\/prohoster.info\/fr\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Sortie de cppcheck 2.6, un analyseur statique de code pour les langages C++ et C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Une nouvelle version de l'analyseur statique de code cppcheck 2.6 est sortie, permettant de d\u00e9tecter diverses classes d'erreurs dans le code en C et C++, y compris lors de l'utilisation de syntaxe non standard, typique des syst\u00e8mes embarqu\u00e9s. Une collection de plugins est fournie, assurant l'int\u00e9gration de cppcheck avec diff\u00e9rents syst\u00e8mes de d\u00e9veloppement, d'int\u00e9gration continue et de test, ainsi que des fonctionnalit\u00e9s telles que la v\u00e9rification de la conformit\u00e9 du code au style de pr\u00e9sentation du code. Pour l'analyse du code, il est possible d'utiliser \u00e0 la fois un parseur interne et un parseur externe de Clang. Un script donate-cpu.py est \u00e9galement inclus pour fournir des ressources locales afin d'effectuer le travail de v\u00e9rification collaborative du code des paquets Debian. Les codes sources du projet sont distribu\u00e9s sous la licence GPLv3. <\/p>\n
Le d\u00e9veloppement de cppcheck se concentre sur l'identification des probl\u00e8mes li\u00e9s \u00e0 un comportement ind\u00e9fini et \u00e0 l'utilisation de constructions potentiellement dangereuses. L'objectif est \u00e9galement de minimiser les faux positifs. Parmi les probl\u00e8mes identifi\u00e9s, on trouve : des pointeurs vers des objets inexistants, des divisions par z\u00e9ro, des d\u00e9bordements entiers, des op\u00e9rations de d\u00e9calage de bits incorrectes, des conversions incorrectes, des probl\u00e8mes de gestion de la m\u00e9moire, un usage incorrect de la STL, le d\u00e9r\u00e9f\u00e9rencement de pointeurs nuls, la r\u00e9alisation de v\u00e9rifications apr\u00e8s acc\u00e8s effectif au tampon, le d\u00e9passement de tampon, et l'utilisation de variables non initialis\u00e9es. <\/p>\n
Dans la nouvelle version : <\/p>\n
\n
Les v\u00e9rifications suivantes ont \u00e9t\u00e9 ajout\u00e9es au c\u0153ur de l'analyseur :\n
\n
absence d'un op\u00e9rateur return dans le corps d'une fonction ;\n
\u00e9criture de donn\u00e9es qui se chevauchent, d\u00e9finition d'un comportement ind\u00e9fini ;\n
la valeur compar\u00e9e d\u00e9passe la repr\u00e9sentation des valeurs de type ;\n
l'optimisation de la copie n'est pas appliqu\u00e9e pour return std::move(local) ;\n
un fichier ne peut pas \u00eatre ouvert simultan\u00e9ment en lecture et en \u00e9criture dans diff\u00e9rents flux ; <\/ul>\n
un support pour l'affichage de messages diagnostiques dans diff\u00e9rentes couleurs a \u00e9t\u00e9 ajout\u00e9 pour les plateformes Unix ;\n
une analyse symbolique pour ValueFlow a \u00e9t\u00e9 ajout\u00e9e. Une simple delta est utilis\u00e9e pour calculer les diff\u00e9rences entre deux variables inconnues ;\n
Les r\u00e8gles utilis\u00e9es pour la liste des tokens \u00ab define \u00bb peuvent \u00e9galement s'appliquer \u00e0 #include;\n
La balise de biblioth\u00e8que <function> peut maintenant contenir la balise <container>, et par cons\u00e9quent, les fonctions free, qui peuvent accepter de tels conteneurs comme std::size, std::empty, std::begin, std::end, etc., peuvent indiquer yeld ou action pour les conteneurs;\n
La balise de biblioth\u00e8que peut maintenant contenir la balise pour les pointeurs intelligents ayant une propri\u00e9t\u00e9 exclusive (unique ownership). Un avertissement est d\u00e9sormais \u00e9mis concernant les liens \u00ab pendants \u00bb pour ce type de pointeurs intelligents;\n
Des probl\u00e8mes de traitement du param\u00e8tre \u2014cppcheck-build-dir ont \u00e9t\u00e9 r\u00e9solus;\n
htmlreport peut d\u00e9sormais afficher des informations sur l'auteur (\u00e0 l'aide de git blame);\n
L'\u00e9mission des avertissements concernant les variables qui ne sont pas constantes mais qui pourraient l'\u00eatre a \u00e9t\u00e9 \u00e9largie;\n
Des erreurs accumul\u00e9es et des lacunes de l'analyseur ont \u00e9t\u00e9 corrig\u00e9es. <\/ul>\n
Des v\u00e9rifications de Misra C 2012 ont \u00e9t\u00e9 enti\u00e8rement mises en \u0153uvre, y compris les amendements 1 et 2, \u00e0 l'exception des r\u00e8gles 1.1, 1.2 et 17.3. Les v\u00e9rifications 1.1 et 1.2 doivent \u00eatre effectu\u00e9es par le compilateur. La v\u00e9rification 17.3 peut \u00eatre effectu\u00e9e par le compilateur, par exemple GCC. \n Source : opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"