A Method of JavaScript Path Obfuscation Based on Collatz Conjecture

摘要

For the symbolic execution, dynamic taint analysis and theorem proving are widely used in software reverse engineering in recent years, the traditional code obfuscation can't make the JavaScript free of the reverse engineering, although the code may read hardly. Based on that, this paper proposes a code obfuscation technique to against the symbolic execution. This technique is based on the unsolved conjecture which named Collatz conjecture. During the obfuscation, the function is stable as well as the control flow is changed. The experiment shows the method this paper used can implement the code protection to JavaScript. And the experiment prove that because of the unsolved problems, the symbolic execution is lack of necessary technical to do the reverse engineering.