psifertex / breaking_decompilers
breaking decompilers
☆16Updated this week
Alternatives and similar repositories for breaking_decompilers
Users that are interested in breaking_decompilers are comparing it to the libraries listed below
Sorting:
- Python bindings for BochsCPU☆35Updated 2 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 3 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆36Updated last year
- Common format for transferring and applying function information across binary analysis tools☆33Updated 5 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 4 months ago
- Vulnerability research assistant that extracts pseudo-code from the IDA Hex-Rays decompiler.☆33Updated this week
- weggli ruleset scanner for source code and binaries☆29Updated 4 months ago
- binary ninja related code☆35Updated last month
- SMT Modeling for Ghidra's PCODE☆25Updated this week
- ☆47Updated 2 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last week
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Ghidra analyzer for UEFI firmware.☆18Updated last year
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆40Updated last year
- Rust library for lifting raw binary data to LLVM IR☆50Updated 3 weeks ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆104Updated 2 weeks ago
- Symbolic executor for Binary Ninja's MLIL☆23Updated 7 months ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆38Updated last month
- transpile llil to c++ for execution and testing☆42Updated last year
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆41Updated 2 years ago
- Semantic strings based on tree-sitter☆14Updated 2 months ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- IDB parser☆17Updated last week
- Practical fuzzing tutorials and training☆31Updated 9 months ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆78Updated last month
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated last month
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 2 weeks ago
- Hyper-V related resources☆30Updated last year