CoBRA

CoBRA Co efficient-B ased R econstruction of A rithmetic — a Mixed Boolean-Arithmetic expression simplifier. CoBRA deobfuscates expressions that interleave arithmetic +, -, with bitwise &, |, ^, and shift , operators — a technique commonly used in software obfuscation...