#

algebraic-simplification

Here is 1 public repository matching this topic...

trailofbits / CoBRA

Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation

obfuscation compiler cpp llvm static-analysis reverse-engineering deobfuscation z3 binary-analysis boolean-algebra mba algebraic-simplification

Updated Mar 22, 2026
C++

Improve this page

Add a description, image, and links to the algebraic-simplification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the algebraic-simplification topic, visit your repo's landing page and select "manage topics."