splint

6La chaleur

4Répondre

Comment faire pour que splint ignore où je déclare mes variables?

Savez-vous comment faire pour que splint ignore où je déclare mes variables? Je sais que l'ancienne école vous dit de déclarer les variables directement au commençant dans chaque fonction, mais comme

c static-analysis c99 lint splint 2009-03-21

---

3La chaleur

1Répondre

programme d'attelle entier avec un processus de construction complexe

Je veux effectuer des analyses de programme entier d'attelles sur mon système. Cependant, le système est assez grand et différentes parties sont compilées avec différentes définitions de compilateur e

c makefile lint splint 2010-01-22

---

1La chaleur

3Répondre

Échec de l'attelle sur le code qui inclut complex.h

J'essaie d'exécuter splint sur une source C qui inclut complex.h à partir de la bibliothèque C standard pour prendre en charge l'arithmétique complexe. Malheureusement, splint échoue avec l'erreur sui

c static-analysis complex-numbers splint 2010-06-29

---

2La chaleur

2Répondre

exemple de fichier rc pour l'attelle

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 ess

c embedded splint 2009-06-02

---

1La chaleur

1Répondre

Comment résoudre une erreur d'analyse dans Splint

Splint ne poursuit pas sa vérification après avoir trouvé des erreurs d'analyse. J'ai essayé avec l'option + trytorecover aussi mais pas de changement. Veuillez me faire savoir comment utiliser + tryt

parsing splint 2010-08-24

---

2La chaleur

2Répondre

Quelle est la signification de cet avertissement d'attelle et que pourrais-je faire de mal?

Ceci est la ligne de code: bool cpfs_utimens(struct Cpfs *, char const *path, struct timespec const[2]); attelle 3.1.2 Exécution génère cet avertissement: cpfs.h:21:74: Function parameter times decl

c linux gcc splint 2010-09-07

---