A Taxonomy of Obfuscating Transformations
Precise flow-insensitive may-alias analysis is NP-hard