De ce que je comprends, il ne s'agit pas d'abstraire les fils d’exécutions possibles mais les instructions à la manière d'un Abstract_syntax_tree. Une fois les programmes représentés sous une telle forme, la comparaison des deux graphes pour voir les différences me semble théoriquement faisable.
[^] # Re: Bof
Posté par teddyredm3cl . En réponse au journal Espionnage sous Linux ou délire paranoïaque ?. Évalué à 2.
De ce que je comprends, il ne s'agit pas d'abstraire les fils d’exécutions possibles mais les instructions à la manière d'un Abstract_syntax_tree. Une fois les programmes représentés sous une telle forme, la comparaison des deux graphes pour voir les différences me semble théoriquement faisable.