Research on Logic Consistency of Junk Code Transformation within Sub-function
子程序花指令模糊变换逻辑一致性研究

Junk code transformation is an effective approach for the code obfuscation.Based on the analysis of current junk code strategies,the paper proposed a novel junk code encryption algorithm within sub-function and described the algorithm using formal language.With formalization method,the paper researched how to prove the logic consistency of junk code transformation within sub-function.We deduced some important lemmas after researching the formal definition of junk code transformation within sub-function.With...