Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja

We present an empirical evaluation of the Tigress obfuscator, focusing on its ability to degrade the precision of static analyses performed by two state-of-the-art tools: mopsa, a source-level static analyzer, and BinaryNinja a binary-level decompiler and analysis platform. By applying a variety of lightweight yet diverse obfuscation strategies-such as control flow flattening, opaque predicates, and data encoding-we systematically assess how these transformations affect the analyzability of C programs. Our findings highlight the scenarios in which obfuscation successfully confuses analysis tools and those where it fails to do so.