MBA pass on a CTF binary. I rewrote until the decompiler showed a xor. Then I stopped.
Is there a Ghidra plugin in 2026 that does MBA simplify without a 4-hour SAT?
(x ^ y) + 2*(x & y) // == x + yRefs: Ghidra
Lab / educational. Public binaries and patched classes only. Isolated VM.