Un référentiel pour tous les fichiers de configuration d'analyse statique CPPCHECK que j'ai fabriqués.
Vous les utilisez avec un programme d'analyse statique pour C / C ++ appelé CPPCHECK. Ce qu'ils font, c'est permettre à CPPCHECK d'assumer certaines choses sur les fonctions dans une API. Par exemple, disons qu'il existe une fonction dans une API qui ne peut accepter qu'une certaine plage de valeurs (par exemple, les valeurs uniquement 0 à 10 inclusives), vous pouvez déclarer cette contrainte dans un fichier de configuration et l'analyseur de CPPCheck sera en mesure de signaler les violations de cette contrainte (le meilleur il peut, bien sûr).
Ces fichiers permettent également à la vérification des fuites d'être plus approfondie, car vous pouvez décrire les fonctions dans une API allouer et les traiter et les associer ensemble.
Pour que la documentation sur les types de vérification des fichiers de configuration peut vous aider, envisagez de consulter le manuel de CPPCHECK.
J'essaie de les faire du mieux que possible pour empêcher les faux positifs, mais il peut y avoir le cas étrange où j'ai manqué ou négligé quelque chose. Si vous pensez que vous avez trouvé un de ces cas, veuillez ouvrir un problème à ce sujet afin qu'il puisse être corrigé ou examiné.