goomba

Expression simplifier

Tools to simplify Mixed Boolean-Arithmetic expressions in software decompilation plugins

gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions

GitHub

581 stars
14 watching
46 forks
Language: C++
last commit: over 1 year ago

Related projects:

Repository Description Stars
mrphrazer/msynth A code deobfuscation framework for simplifying complex Boolean expressions in binary code 281
patois/xray Tool for filtering and highlighting decompiler output based on regular expressions 125
fogleman/simplify Tool for reducing complexity of 3D models by simplifying surface geometry 249
patois/genmc Displays Hex-Rays microcode for reverse engineering and analysis purposes 231
uxmal/reko A binary decompiler that analyzes and reverse-engineers machine code binaries from various processor architectures. 2,168
hexgolems/schem A backend-agnostic debugger frontend for disassembling binaries without source code 142
01walid/goarabic A package of Go functions to process and manipulate Arabic text 108
reb311ion/replica An enhancement tool for Ghidra's binary analysis capabilities 287
yassinebenaid/godump A utility for printing arbitrary Go data in a structured and colored format 151
polsab/pretty_hex A hex dumping library in Elixir that formats binary data into human-readable output. 7
javafxpert/llm-grovers-search-party An implementation of Grover's algorithm using Qiskit and a large language model to generate boolean expressions from narratives 10
imrehg/kicad-bom-seeedstudio Generates a BOM based on KiCad schematic parts and Seeed Studio's part data 24
2m/zsh-jabba A ZSH plugin providing autocompletion support for specific commands used in the Jabba shell integration. 5
mrphrazer/hitb2021ams_deobfuscation Automated deobfuscation of malware code using symbolic execution and simplification techniques 71
yohasebe/lemmatizer A Ruby library that provides a lemmatizer for text in English. 108