jordiae / exebench
☆33Updated 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.☆101Updated 5 years ago
- Code for tracelet-level symbolic execution☆17Updated 2 years ago
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆76Updated 2 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 4 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆91Updated this week
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Updated last year
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆117Updated 2 months ago
- GitHub Cloner & Compiler☆67Updated 3 years ago
- ☆83Updated 4 months ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 years ago
- ☆24Updated 5 months ago
- ☆39Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- ☆51Updated 6 months ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Updated 2 years ago
- ☆38Updated last year
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- KLEE / CSE Project☆44Updated 4 years ago
- ☆95Updated 4 months ago
- ☆60Updated 3 months ago
- BinTuner☆62Updated 2 years ago
- A deep learning tool for generating platform-agnostic binary code embeddings☆21Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆32Updated last month
- cinspector - a static C source code analysis framework☆26Updated 8 months ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆86Updated 2 months ago
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆24Updated last year
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆35Updated 5 months ago