$G_{obf}$: The Obfuscated Graph (from the current obfuscated source code). $G_{ref}$: The Reference Graph (from a previous version which is not obfuscated). The goal ...