Version imprimable
Bonjour,
Est ce que l'un d'entre vous a deja utilise cette outil?
J'ai en permanence preprocessing error
Est qu'il existe un lien pour un tutorial francais
Est ce qu'il a un interet quelconque ?
Ou connaissez vous peut etre un analyseur de code gratuit plus interessant.
Merci
Bonjour,
Il n'est plus trop utile de nos jours, tu peux obtenir la même chose avec un compilateur correctement configuré.Citation:
Envoyé par emardjean
Ce n'est pas splint qui va t'aider à corriger ce genre d'erreur. Quelle message d'erreur te donne le préprocesseur ? Si le problème viens d'une macro, tu peux demander au compilateur de s'arrêter juste après le passage du préprocesseur (option -E pour gcc).Citation:
Envoyé par emardjean
re,
le probleme venait de la configuration de splint.
Pour le compilateur j'utilise des compilateur pour microcontroleur( pas genial).
De plus je ne pense pas que les compillateurs soit capable de detecter les debordements sur des tableaux.
J'avais utilisé insure avant testes statique et dynamique, je trouvai ca pas mal.
Effectivement, j'étais partie sur gcc et compagnie.Citation:
Envoyé par emardjean
splint ne travaille pas uniquement sur le code source ?Citation:
Envoyé par emardjean
Pour les débordement mémoire (entre autre), tu as valgrind qui ai fait pour ça.