XMUsuny / symbolic-execution-papersLinks
Recent symbolic execution papers and tools.
☆167Updated last month
Alternatives and similar repositories for symbolic-execution-papers
Users that are interested in symbolic-execution-papers are comparing it to the libraries listed below
Sorting:
- Static Analysis Course☆69Updated last week
- A LLVM Sanitizer for Symbolic Tracing☆221Updated last week
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆79Updated 2 weeks ago
- Symbolic Execution Over Processor Traces☆121Updated 10 months ago
- ☆144Updated 7 months ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆98Updated 2 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆96Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆123Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Updated 2 years ago
- ☆42Updated 7 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆155Updated 2 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆348Updated last month
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆258Updated 4 months ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆223Updated 2 months ago
- ☆226Updated last year
- ☆36Updated last year
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆44Updated 5 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆101Updated last month
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆55Updated 4 months ago
- ☆68Updated 11 months ago
- ☆65Updated last year
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆311Updated 3 weeks ago
- ☆24Updated last month
- A data-flow-guided fuzzer☆120Updated last year
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆42Updated 11 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆94Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago