XMUsuny / symbolic-execution-papersLinks
Recent symbolic execution papers and tools.
☆177Updated 5 months ago
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☆77Updated last month
- A LLVM Sanitizer for Symbolic Tracing☆225Updated 3 months ago
- ☆68Updated last year
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆96Updated last month
- ☆146Updated 11 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆84Updated last month
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆110Updated 6 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)