jordiae / exebench
☆35Updated 2 years ago
Alternatives and similar repositories for exebench:
Users that are interested in exebench are comparing it to the libraries listed below
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆104Updated 5 years ago
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆79Updated 4 months ago
- ☆58Updated this week
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆95Updated last month
- ☆38Updated last year
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆15Updated 7 months ago
- Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source☆14Updated 11 months ago
- GitHub Cloner & Compiler☆70Updated 3 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 3 months ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Updated 2 years ago
- Code for tracelet-level symbolic execution☆18Updated 2 years ago
- cinspector - a static C source code analysis framework☆26Updated 10 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆77Updated 2 years ago
- ☆29Updated last year
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆17Updated 2 months ago
- BinTuner☆62Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆77Updated last week
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆25Updated last year
- ☆39Updated 2 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆120Updated last month
- Recent symbolic execution papers and tools.☆158Updated 3 weeks ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆58Updated last year
- ☆61Updated 5 months ago
- ☆23Updated 2 weeks ago
- Symbolic Program Slicing with LLVM☆80Updated 4 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆94Updated 3 weeks ago
- ☆15Updated 8 months ago
- Code for the paper "A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries"☆14Updated 3 years ago