degrigis / symbion-use-cases
Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
☆15Updated 3 years ago
Alternatives and similar repositories for symbion-use-cases:
Users that are interested in symbion-use-cases are comparing it to the libraries listed below
- ☆40Updated 2 years ago
- ☆23Updated 9 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆14Updated 4 years ago
- ☆13Updated 4 months ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆26Updated 11 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 9 months ago
- ☆34Updated last year
- I am still working on it☆11Updated 4 years ago
- ☆36Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆86Updated 3 years ago
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆54Updated 9 months ago
- Coverage-guided Fuzzing as Online Stochastic Control☆44Updated 3 months ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆30Updated 2 months ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆15Updated 2 years ago
- Target components for kAFL/Nyx Fuzzer☆27Updated 5 months ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆45Updated 3 years ago
- Resources accompanying the LibAFL workshop blog post☆15Updated 4 months ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆18Updated 4 years ago
- ☆37Updated 10 months ago
- Superion Mutator for AFLPlusPlus☆32Updated last year
- kAFL Fuzzer☆33Updated 5 months ago
- ☆52Updated 5 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago