monkbai / DNN-decompiler
BTD - Bin To DNN: A DNN Executables Decompiler
☆192Updated last year
Related projects ⓘ
Alternatives and complementary repositories for DNN-decompiler
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆73Updated 11 months ago
- The first analysis framework for CPU microcode☆373Updated last year
- BinRec: Dynamic Binary Lifting and Recompilation☆125Updated last year
- An awesome & curated list of binary rewriting papers☆221Updated 2 years ago
- A research decompiler implemented as a Binary Ninja plugin.☆176Updated last week
- DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types☆167Updated last year
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆91Updated 4 years ago
- A LLVM Sanitizer for Symbolic Tracing☆208Updated 2 months ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"☆187Updated 3 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆69Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆254Updated 10 months ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- ☆42Updated 2 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆98Updated last week
- SymQEMU: Compilation-based symbolic execution for binaries☆332Updated 2 weeks ago
- A de-socketing library for fuzzing.☆135Updated 2 months 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.☆181Updated 2 years ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆238Updated 2 years ago
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆188Updated last year
- The Decompilation Wiki: info on all things decompilation☆138Updated 3 weeks ago
- Recent symbolic execution papers and tools.☆146Updated 3 weeks ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆450Updated 3 weeks ago
- ☆112Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆340Updated 2 months ago
- Quokka: A Fast and Accurate Binary Exporter☆173Updated 2 weeks ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- ☆87Updated last month
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆169Updated 2 months ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 6 months ago