Question

J'utilise attelle pour le contrôle de code, et il jette un grand nombre d'avertissements. Certains d'entre eux, je pense que peut être ignoré. Je suis en train de créer le .splintrc par essai et erreur.

Ma question,

est-il un exemple de fichier .splintrc qui peut être utilisé?

J'utilise attelle pour le code C, écrit pour un système embarqué multi-tâches.

Était-ce utile?

La solution

Cela peut ne pas être le plus grand de l'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 cible / compilateur que vous utilisez. Les différents compilateurs pour les processeurs cibles intégrés tous ont leur propre syntaxe pour fournir leurs fonctionnalités spécifiques (traitement d'interruption, le transfert aux modes de superviseur et du matériel d'interface sont des exemples)

Je l'ai essayé d'utiliser une attelle sur le MSP430 sous IAR et a abandonné en raison du nombre d'avertissements et d'erreurs qu'il jetait quand il a essayé de traiter le compilateur fourni des fichiers de définition d'interface matérielle. Je mords la balle et acheté Gimpel LINT qui est venu avec certains fichiers de configuration que je pouvais modifier pour soutenir la saveur précise du compilateur et le processeur que j'utilisais.

Autres conseils

Je ne l'ai jamais travaillé avec Splint, mais qui ont travaillé avec PC-Lint, et ce fut mon expérience aussi bien. Sans les fichiers de configuration du compilateur, l'outil de charpie jeter une tonne d'erreurs.

Vous devrez trouver ou créer des fichiers de configurations spécifiques au compilateur pour votre compilateur informer l'outil effilochage de la spéciale (non standard) constructions C et macros qu'il utilise qui doivent être ignorés par l'outil de peluchage, ou vous continuerez de jeter des tonnes d'erreurs.

Il vaut la peine, cependant. Peluchage votre code vous aidera à trouver des erreurs maintenant au lieu de au cours des essais quand ils sont plus difficiles à trouver et beaucoup plus coûteux à réparer.

Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow
scroll top