secureweb / symphp
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
☆11Updated 4 months ago
Alternatives and similar repositories for symphp:
Users that are interested in symphp are comparing it to the libraries listed below
- FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache (ACM CCS 2024)☆10Updated 3 months ago
- ☆36Updated 2 years ago
- ☆24Updated last year
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆12Updated 2 months ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆63Updated 6 months ago
- ☆22Updated 2 years ago
- ☆14Updated 2 years ago
- ☆13Updated 5 years ago
- Some test samples for CPG execution logic.☆20Updated 10 months ago
- MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"☆37Updated last year
- ☆21Updated 2 years ago
- ☆24Updated 2 years ago
- A benchmark to evaluate taint analysis☆30Updated 2 years ago
- Witcher is the first framework for using AFL to fuzz web applications.☆80Updated last year
- An automated ROP generation work☆10Updated last year
- ☆17Updated 2 years ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)☆45Updated 3 weeks ago
- 存储iot设备分析工具和分析文件☆13Updated 3 years ago
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆162Updated 5 months ago
- ☆10Updated 6 months ago
- Artifact for ICSE 2023☆46Updated 2 years ago
- ☆25Updated last year
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆162Updated 4 months ago
- FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities☆93Updated last year
- An automated static taint analysis tool for the Lua web framework.☆15Updated 4 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆30Updated last year
- A set of Code-ql/Joern queries to find vulnerabilities☆57Updated 3 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆74Updated 11 months ago