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

587 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 286
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 250
patois/genmc Displays Hex-Rays microcode for reverse engineering and analysis purposes 234
uxmal/reko A binary decompiler that analyzes and reverse-engineers machine code binaries from various processor architectures. 2,173
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 289
yassinebenaid/godump A Go library that provides a versatile way to dump and pretty-print any type of variable in a structured and colored format. 174
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 parts from Seeed Studio's Open Parts Library 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 72
yohasebe/lemmatizer A Ruby library that provides a lemmatizer for text in English. 108