At run time

a large number of program branching information is leaked.Branching information is the binary representation of program internal logic.Symbolic execution could automatically collect and reason about the leaked branch information

which could be used for reverse engineering and weaken the strength of code obfuscation.Hash function can effectively safeguard equal branch conditions

but it can't be used to protect branching information containing unequal trigger conditions

such as greater than or less than.In this paper

a new branch obfuscation approach combining prefix-preserving algorithm and hash function

which extends the protection scope of hash function.The strength and resilience of the branch obfuscation are discussed.This branch obfuscation approach has been tested on 7 programs from the SPECint-2006 benchmark suite

and the experimental results show that this approach could effectively mitigate branch information leaking

yet practical in terms of performance.