Re: Précision

Retourner au contenu associé (dépêche : Sparse repasse à l'attaque)

[^] # Re: Précision

Posté par BAud (site web personnel) le 26 octobre 2009 à 22:51. En réponse à la dépêche Sparse repasse à l'attaque. Évalué à 6.

ah je savais bien qu'il y avait d'autres analyseurs statiques de code
http://en.wikipedia.org/wiki/List_of_tools_for_static_code_a(...) (pour le C et autres langages)

donc en:Frama-C (fourni par le CEA) et en:BLAST_model_checker
quelqu'un a déjà vu ce genre de produits intégrés dans des vérifications systématiques, lors de nightly-build par exemple ?