msynth
Expression simplifier
A code deobfuscation framework for simplifying complex Boolean expressions in binary code
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
286 stars
13 watching
27 forks
Language: Python
last commit: 3 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| mrphrazer/hitb2021ams_deobfuscation | Automated deobfuscation of malware code using symbolic execution and simplification techniques | 72 |
| mrphrazer/r2con2020_deobfuscation | Automated deobfuscation tool using symbolic execution and SMT solving to remove obfuscated code from malware | 76 |
| mrphrazer/obfuscation_detection | Automatically detects obfuscated code and other complex code constructs in binaries to aid reverse engineering. | 580 |
 martinthoma/flake8-simplify | A plugin that simplifies Python code by removing unnecessary complexity and suggesting better alternatives | 187 |
 hexrayssa/goomba | Tools to simplify Mixed Boolean-Arithmetic expressions in software decompilation plugins | 587 |
 mbj/mutant | Automated code review tool with mutation testing to simplify and improve code quality | 1,956 |
 m4rw3r/chomp | A fast and expressive monadic-style parser combinator for Rust. | 245 |
 rub-syssec/syntia | Deobfuscation framework using program synthesis to learn the semantics of obfuscated code | 302 |
 dissectmalware/batch_deobfuscator | Deobfuscates batch scripts by substituting encoded strings and escaping characters. | 150 |
 mildsunrise/protobuf-inspector | Tool to analyze and reverse-engineer Protocol Buffers without their definition | 972 |
 patois/xray | Tool for filtering and highlighting decompiler output based on regular expressions | 125 |
 spotlightkid/upy-msgpack | A lightweight MessagePack serialization library for MicroPython | 0 |
 reb311ion/replica | An enhancement tool for Ghidra's binary analysis capabilities | 289 |
 michelcrypt4d4mus/yaralyzer | Analyzes binary and text data for YARA and regex matches, visualizes results with colors, and attempts to decode matched regions | 109 |
 redoxcode/micropython-ppm_reader | A Python library to decode PPM signals from RC receivers | 11 |