Control Flow Obfuscation for FJ using Continuation Passing
This work addresses the problem of deterring software reverse engineering for developers by making static analysis less precise.
This paper proposes a control flow obfuscation approach for FJ (Featherweight Java) with exception handling. The method uses a source-to-source transformation based on continuation passing style (CPS) to alter program control flow without affecting runtime behavior.
Control flow obfuscation deters software reverse engineering attempts by altering the program's control flow transfer. The alternation should not affect the software's run-time behaviour. In this paper, we propose a control flow obfuscation approach for FJ with exception handling. The approach is based on a source to source transformation using continuation passing style (CPS). We argue that the proposed CPS transformation causes malicious attacks using context insensitive static analysis and context sensitive analysis with fixed call string to lose precision.