mixed-boolean-arithmetic

Here are 2 public repositories matching this topic...

mad-cat-lon / jargonaut

Python obfuscator built on LibCST with a library of fun obfuscation techniques, including polynomial MBAs, runtime bytecode patching, etc.

python obfuscation reverse-engineering obfuscator fud python-bytecode anti-reversing security-tools libcst python-obfuscator python-obfuscation mixed-boolean-arithmetic

Updated Aug 9, 2024
Python

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.

obfuscation z3 binary-ninja sympy mixed-boolean-arithmetic

Updated Aug 9, 2024
Python

Improve this page

Add a description, image, and links to the mixed-boolean-arithmetic 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 mixed-boolean-arithmetic topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

mixed-boolean-arithmetic

Here are 2 public repositories matching this topic...

mad-cat-lon / jargonaut

bliutech / mbased

Improve this page

Add this topic to your repo