monkbai / DNN-decompilerLinks
BTD - Bin To DNN: A DNN Executables Decompiler
☆195Updated 2 years ago
Alternatives and similar repositories for DNN-decompiler
Users that are interested in DNN-decompiler are comparing it to the libraries listed below
Sorting:
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆110Updated 5 years ago
- DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types☆179Updated last year
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆81Updated 7 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆74Updated 2 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆192Updated 2 years ago
- An awesome & curated list of binary rewriting papers☆245Updated 3 years ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆152Updated last week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆572Updated 3 months ago
- TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)☆78Updated 7 months ago
- Self-hosting binary instrumentation framework for security research☆215Updated last year
- A high performance LLVM-based dynamic binary instrumentation framework☆267Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆349Updated 2 months ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆123Updated 3 months ago
- A LLVM Sanitizer for Symbolic Tracing☆223Updated last week
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- The first analysis framework for CPU microcode☆394Updated 2 years ago
- ☆35Updated 2 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- ☆35Updated 3 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 10 months ago
- autofz: Automated Fuzzer Composition at Runtime☆78Updated last year
- Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"☆208Updated 4 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- A versatile and easy-to-use static binary patching tool.☆38Updated last week
- BinTuner☆62Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆230Updated 3 years ago
- Intermediate Representation for Binary analysis and transformation☆341Updated last week
- ☆252Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 5 months ago