monkbai / DNN-decompilerLinks
BTD - Bin To DNN: A DNN Executables Decompiler
☆198Updated 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:
- DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types☆181Updated 2 years ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆118Updated 5 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆128Updated 2 months ago
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆82Updated 10 months ago
- An awesome & curated list of binary rewriting papers☆251Updated 3 years ago
- Self-hosting binary instrumentation framework for security research☆217Updated 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.☆196Updated 3 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆582Updated 6 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆75Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆226Updated 3 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆358Updated 5 months ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆163Updated last week
- BinRec: Dynamic Binary Lifting and Recompilation☆143Updated 2 years ago
- Intermediate Representation for Binary analysis and transformation☆345Updated 3 weeks ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆58Updated 6 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆495Updated 3 weeks ago
- ☆252Updated 2 years ago
- The fastest Intel-PT decoder for fuzzing☆376Updated last year
- autofz: Automated Fuzzer Composition at Runtime☆82Updated 2 years ago
- The first analysis framework for CPU microcode☆402Updated 2 years ago
- BinTuner☆62Updated 3 years ago
- ☆61Updated 10 months ago
- Domain-Specific Fuzzing with Waypoints☆237Updated 2 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆354Updated last year
- A high performance LLVM-based dynamic binary instrumentation framework☆274Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- ☆37Updated 3 years ago
- TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)☆83Updated 11 months ago
- Rellic produces goto-free C output from LLVM bitcode☆572Updated 5 months ago