Argument spécieux, le problème de l'arrêt. C'est pas parce que prouver la terminaison d'un programme est indécidable qu'on arrive pas à faire des programmes qui terminent, et même à le prouver dans certains cas ...
C'est pareil ici, c'est pas parce qu'on peut pas prouver qu'un programme n'est pas malicieux qu'il n'y a pas de technique qui marchent dans certains cas.
[^] # Re: Mais oui ...
Posté par thoasm . En réponse au journal MALWARE LINUX. Évalué à -1.
C'est pareil ici, c'est pas parce qu'on peut pas prouver qu'un programme n'est pas malicieux qu'il n'y a pas de technique qui marchent dans certains cas.