Aligot: cryptographic function identification in obfuscated binary programs
introduction to automata theory , languages and computation .