Ce que tu dis est peut-être exact, je ne m'y connais clairement pas dans ce domaine, mais dire que ces softs font de l'analyse "a vue d'oeil" est clairement faux.
Sparse se base lui aussi sur des annotations dans le noyau => http://en.wikipedia.org/wiki/Sparse#Annotations
Et Coccinelle est carrément un projet de recherche à lui tout seul avec une notion de "patch sémantique" qui dit bien qu'il y a une compréhension du code qui va bien au delà du "a vue d'oeil".
[^] # Re: et les implications juridique ?
Posté par patrick_g (site web personnel) . En réponse au journal Microsoft est dans le top 5 des contributeurs de linux 3.0. Évalué à 5.
Ce que tu dis est peut-être exact, je ne m'y connais clairement pas dans ce domaine, mais dire que ces softs font de l'analyse "a vue d'oeil" est clairement faux.
Sparse se base lui aussi sur des annotations dans le noyau => http://en.wikipedia.org/wiki/Sparse#Annotations
Et Coccinelle est carrément un projet de recherche à lui tout seul avec une notion de "patch sémantique" qui dit bien qu'il y a une compréhension du code qui va bien au delà du "a vue d'oeil".