secureweb / symphpLinks
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
☆13Updated last year
Alternatives and similar repositories for symphp
Users that are interested in symphp are comparing it to the libraries listed below
Sorting:
- ☆18Updated last year
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆14Updated 5 months ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆74Updated last year
- ☆41Updated 2 years ago
- A benchmark for Java gadget chain detecting algorithms.☆15Updated 6 months ago
- ☆27Updated last year
- Witcher is the first framework for using AFL to fuzz web applications.☆103Updated 2 years ago
- ☆19Updated last year
- ☆10Updated last year
- ☆60Updated 2 years ago
- A GPT-Based Fuzz Driver Generator☆49Updated 2 years ago
- ☆30Updated 3 years ago
- A hybrid analysis framework to aid in uncovering deserialization vulnerabilities☆15Updated last year
- Parsing-based Analyzer☆67Updated 7 months ago
- ☆14Updated 5 years ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆134Updated 11 months ago
- ☆27Updated 3 years ago
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆36Updated 2 years ago
- ☆16Updated 2 years ago
- ☆22Updated 3 years ago
- A manually vetted dataset for security vulnerability detection in Java projects☆83Updated 5 months ago
- Artifact for ICSE 2023☆50Updated 3 years ago
- ☆11Updated 2 years ago
- ☆30Updated 8 months ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆184Updated last year
- ☆24Updated 9 months ago
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆173Updated last year
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆37Updated 5 years ago
- A browser fuzzer augmented by API mod-ref relations☆35Updated last year
- An automated ROP generation work☆12Updated 10 months ago