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. $ cobra-cli --mba "x&y+x|y" x...