Logic Invariability Study of Junk Code Transformation
Shaodi Wang · Jisuanji gongcheng · 2006
Junk code transformation is one of effective approach of the code obfuscation technology. Based on the analysis of current junk codestrategies, this paper presents a new method named stochastic junk code encryption algorithm, and depicts the algorithm with formal language. Thepaper studies how to prove the logic invariability of junk code transformation with formalization method. After studying the formal definition of junkcode transformation, some lemmas are educed. With these lemmas, and from three aspects such as “JMP Expand”, “JMC Switch” and “Junk Code”,the paper proves that the program which transforms with stochastic junk code algorithm has the same logicality with the original program.