Attacking an Obfuscated Cipher by Injecting Faults
Undecidability of static analysis