SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis

Seong-Kyun Mok, Seoyeon Kang, Jeongwoo Kim +2

MBA (mixed boolean and arithmetic) expressions are hard to simplify, so used for malware obfuscation to hinder analysts' diagnosis. Some MBA simplification methods with high perfor…