Automatic Deobfuscation and Reverse Engineering of Obfuscated Code
analysis and testing of programs with exception handling constructs .