Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes

Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj +2

In this paper, we investigate the strength of six different SAT solvers in attacking various obfuscation schemes. Our investigation revealed that Glucose and Lingeling SAT solvers…