search

bliutech / mbased

MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler construction to simplify obfuscated boolean expressions.
https://github.com/bliutech/mbased/blob/main/.github/paper.pdf
MIT License
6 stars 0 forks source link

Encoder Bug #41

Closed bliutech closed 2 months ago

bliutech commented 2 months ago

The encoder fails on this case.

[Default] Original: if (([rax_2 + (rbp_1 << 1) + 1].b & 0x20) == 0) then 11 @ 0x4013ed else 2 @ 0x4013de
[Default] Encoded: ( ( A ( B ) C ) D )