D'après ce que j'en ai compris, c'est un outils d'analyse statique de code (d'où le nom, cqfd :).
Le but de l'analyse statique est de repérer tout un tas d'erreurs de programmation en dehors de l'exécution, principalement : des déférencement de pointeur (NULL en particulier), du code mort (càd qui ne devrait jamais être exécuté, mais qui est quand même là), de l'analyse sur les boucles (valeurs utilisées...), etc...
Bref, l'analyse statique est un outils très puissant, mais malheureusement complexe est qui a tendance à manger beaucoup de temps proc. Certains compilos l'utilise en particulier pour enlever le code mort ou remplacer des variables constantes par leur valeur, mais guère plus. Et on utilise alors un outils séparé si l'on veut aller plus loin.
Il doit y avoir pleins d'autres info sur le net (regarder les cours d'ulm je crois, ou sinon chercher treillis, correspondance de Gallois, ce genre de choses)
[^] # Re: sparse
Posté par Fanf . En réponse à la dépêche Linux 2.6.8, suivi de près par Linux 2.6.8.1. Évalué à 3.
Le but de l'analyse statique est de repérer tout un tas d'erreurs de programmation en dehors de l'exécution, principalement : des déférencement de pointeur (NULL en particulier), du code mort (càd qui ne devrait jamais être exécuté, mais qui est quand même là), de l'analyse sur les boucles (valeurs utilisées...), etc...
Bref, l'analyse statique est un outils très puissant, mais malheureusement complexe est qui a tendance à manger beaucoup de temps proc. Certains compilos l'utilise en particulier pour enlever le code mort ou remplacer des variables constantes par leur valeur, mais guère plus. Et on utilise alors un outils séparé si l'on veut aller plus loin.
Il doit y avoir pleins d'autres info sur le net (regarder les cours d'ulm je crois, ou sinon chercher treillis, correspondance de Gallois, ce genre de choses)