Discussion :

[emardjean]

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

[gege2061]

Bonjour,

Est ce que l'un d'entre vous a deja utilise cette outil?

Il n'est plus trop utile de nos jours, tu peux obtenir la même chose avec un compilateur correctement configuré.

J'ai en permanence preprocessing error

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).

[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.

[gege2061]

Pour le compilateur j'utilise des compilateur pour microcontroleur( pas genial).

Effectivement, j'étais partie sur gcc et compagnie.

De plus je ne pense pas que les compillateurs soit capable de detecter les debordements sur des tableaux.

splint ne travaille pas uniquement sur le code source ?
Pour les débordement mémoire (entre autre), tu as valgrind qui ai fait pour ça.