Prédicat opaque - Opaque predicate

En programmation informatique , un prédicat opaque est un prédicat - une expression qui s'évalue soit "vrai" ou "faux" - dont le résultat est connu a priori par le programmeur , mais qui, pour diverses raisons, doit encore être évalué au moment de l'exécution . Les prédicats opaques ont été utilisés comme filigranes , car ils seront identifiables dans l'exécutable d'un programme. Ils peuvent également être utilisés pour empêcher un optimiseur trop zélé d'optimiser une partie d'un programme. Une autre utilisation consiste à masquer le contrôle ou le flux de données d'un programme pour rendre l'ingénierie inverse plus difficile.

Liens externes