Glossary
Bloc de base
Une séquence linéaire maximale d'instructions avec un seul point d'entrée et une seule sortie (branchement ou retour) — l'unité-nœud d'un CFG.
Un bloc de base est la plus petite unité de flux de contrôle : une séquence contiguë d'instructions dans laquelle on entre toujours par la première instruction et que l'on quitte toujours par la dernière, qui est un branchement (JMP, JZ, CALL, RET, etc.) ou la fin de la fonction. Aucune instruction au milieu ne peut être la cible d'un saut, et aucune instruction au milieu ne peut sauter ailleurs. Les blocs de base sont les nœuds d'un graphe de flux de contrôle (CFG). Les techniques d'obfuscation comme les prédicats opaques ou l'insertion de code mort gonflent artificiellement le nombre de blocs de base pour compliquer l'analyse.