Ça suffit lorsque tu sait exactement de A à Z le déroulement de ton programme. Dès qu'il prend une entrée, ça tombe à l'eau. Surtout pour un noyau, vu qu'il peut se prendre des interruptions à n'importe quel moment dans l'exécution de son code, en fonction du matériel et des logiciels utilisés.
Et la théorie indique qu'il n'existe pas d'algorithme permettant de vérifier dans tout les cas une propriété dynamique d'un programme qui attend une entrée. c'est un théorème mathématique qui le dit. Dans la pratique, on doit se contenter d'approximations, de réponses du type "je sais pas", ou par des revue de code à la main ;)
[^] # Re: Analyseur statique...
Posté par Batchyx . En réponse au journal Un autre type de faille locale. Évalué à 3.
Et la théorie indique qu'il n'existe pas d'algorithme permettant de vérifier dans tout les cas une propriété dynamique d'un programme qui attend une entrée. c'est un théorème mathématique qui le dit. Dans la pratique, on doit se contenter d'approximations, de réponses du type "je sais pas", ou par des revue de code à la main ;)