pour un problème complexe (enfin je trouve ^^) : merci pour ces précisions, j'ai suivi l'affaire depuis son apparition sur les blogs/forums, mais ce journal est particulièrement bien écrit.
Merci !
Je me pose une question : il me semble qu'écrire un analyseur de code statique réalisant deux étapes :
1) Le graphe des liens entre fonctions (un arbre - quoique très grand, il serait probablement possible de scinder la recherche en sous-parties)
2) Analyser les sections ayant une initialisation des pointeurs à 0, et vérifier une déférence suivante (via le parcours de l'arbre construit avant)
J'imagine bien que si cela n'a pas été réalisé, c'est qu'il y a une très bonne raison (genre ma proposition ne tiens pas pour telle ou telle raison que je n'ai pas vue)
# Analyseur statique...
Posté par guepe . En réponse au journal Un autre type de faille locale. Évalué à 2.
Merci !
Je me pose une question : il me semble qu'écrire un analyseur de code statique réalisant deux étapes :
1) Le graphe des liens entre fonctions (un arbre - quoique très grand, il serait probablement possible de scinder la recherche en sous-parties)
2) Analyser les sections ayant une initialisation des pointeurs à 0, et vérifier une déférence suivante (via le parcours de l'arbre construit avant)
J'imagine bien que si cela n'a pas été réalisé, c'est qu'il y a une très bonne raison (genre ma proposition ne tiens pas pour telle ou telle raison que je n'ai pas vue)
Quelqu'un pour éclairer ma lanterne à ce propos ?