J'utilise une attelle pour la vérification de code, et il jette un grand nombre d'avertissements. Certains d'entre eux, je suppose, peuvent être ignorés. Je suis en train de créer le .splintrc par essais et erreurs.exemple de fichier rc pour l'attelle
Ma question,
est-il un exemple de fichier .splintrc qui peut être utilisé? J'utilise une attelle pour le code C, écrite pour un système embarqué multitâche.
Cela peut ne pas être la meilleure aide, mais je pense que vous devez fournir un peu plus d'informations sur le type de messages d'erreur que vous obtenez et le processeur/compilateur cible que vous utilisez. Les différents compilateurs pour les processeurs cibles embarqués ont leur propre syntaxe pour fournir leurs fonctionnalités spécifiques (traitement d'interruption, transfert en mode superviseur et interface matérielle sont des exemples)
J'ai essayé d'utiliser une attelle sur le MSP430 sous IAR et j'ai abandonné parce que du nombre d'avertissements et d'erreurs lancées lors de la tentative de traitement des fichiers de définition d'interface matérielle fournis par le compilateur. J'ai mordu la balle et acheté Gimpel LINT qui est venu avec quelques fichiers de configuration que je pourrais modifier pour soutenir la saveur précise du compilateur et du processeur que j'utilisais.
Je n'ai jamais travaillé avec Splint, mais j'ai travaillé avec PC-Lint, et c'était aussi mon expérience. Sans les fichiers de configuration du compilateur, l'outil de charpie jettera une tonne d'erreurs. Vous aurez besoin de trouver ou de créer des fichiers de configuration spécifiques au compilateur pour votre compilateur informant l'outil de lissage des constructions C spéciales (non standard) et des macros qu'il utilise qui devraient être ignorées par l'outil de lissage, ou vous continuer à jeter des tonnes d'erreurs.
Cela vaut la peine cependant. Le fait de lisser votre code vous aidera à trouver des erreurs maintenant au lieu de les tester quand ils sont plus difficiles à trouver et beaucoup plus coûteux à réparer.