Software obfuscation represents one of the best defense techniques against Man- At-The-End cyber attacks, in which the attacker has legal access to the resource he wants to violate. It consists of code transformations that make a program more difficult to understand and reverse engineer by changing its structure while preserving its original semantics. Although it is a very popular technique, the main disadvantage is that it worsens the performance of the obfuscated program. In fact, in order to make the code incomprehensible, the application of an obfuscating transformation involves the addition of complex computations, most of which introduce loops, dead paths, or data structures for the sole purpose of confusing the attacker.