SZU-SE / UAF-Fuzzer-TestSuiteView external linksLinks
[ICSE2020] UAFL DataSet
☆12Dec 10, 2022Updated 3 years ago
Alternatives and similar repositories for UAF-Fuzzer-TestSuite
Users that are interested in UAF-Fuzzer-TestSuite are comparing it to the libraries listed below
Sorting:
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 2 months ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Jan 20, 2026Updated 3 weeks ago
- ☆12Jun 14, 2021Updated 4 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 3 months ago
- A framework for static analysis of ROP exploits and programs☆40May 13, 2019Updated 6 years ago
- ☆37Jul 14, 2025Updated 7 months ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Dec 2, 2025Updated 2 months ago
- A blockchain consensus protocol fuzzing framework☆20Jun 12, 2023Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆93Jan 19, 2022Updated 4 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- ☆19Apr 7, 2023Updated 2 years ago
- ☆53Jun 13, 2019Updated 6 years ago
- A use-after-free checker based on SVF.☆20Nov 29, 2017Updated 8 years ago
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Feb 23, 2023Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Feb 17, 2025Updated 11 months ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Sep 21, 2020Updated 5 years ago
- BAP Plugins Repository☆58Nov 20, 2020Updated 5 years ago
- ☆23Nov 2, 2021Updated 4 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 4 years ago
- ☆25Jun 16, 2021Updated 4 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- ☆34Aug 28, 2024Updated last year
- CTF Write-ups☆29Apr 20, 2021Updated 4 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 3 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Apr 19, 2024Updated last year
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆25Updated this week
- AFLTeam Collaborative Parallel Fuzzing☆75Sep 5, 2022Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆33Apr 6, 2022Updated 3 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Source code release for the KRace project☆30Nov 15, 2021Updated 4 years ago
- A hacky tool for analysing linux kernel commits☆38Feb 7, 2023Updated 3 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago