HaHarden / CPGPractise
Some test samples for CPG execution logic.
☆20Updated 9 months ago
Alternatives and similar repositories for CPGPractise:
Users that are interested in CPGPractise are comparing it to the libraries listed below
- Taint analysis implementation based on Heros and Soot☆44Updated 8 months ago
- ☆24Updated 11 months ago
- ☆21Updated 2 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆158Updated 4 months ago
- A benchmark to evaluate taint analysis☆30Updated 2 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆74Updated 10 months ago
- ☆36Updated 2 years ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆177Updated 2 years ago
- 一个搜索网络安全领域顶会论文的小工具☆60Updated 3 months ago
- oh my soot !☆88Updated 2 years ago
- ☆9Updated 6 months ago
- 📖源码安全相关的论文收集(污点分析/符号执行/模糊测试)☆20Updated 3 years ago
- Precision-guided context sensitivity for pointer analysis☆59Updated last year
- A static analysis tool for Java programs, based on the theory of code property graphs.☆18Updated last year
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆10Updated 3 months ago
- Artifact for ICSE 2023☆46Updated 2 years ago
- S&P2023 Paper☆39Updated 2 years ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)☆42Updated last week
- ☆98Updated this week
- ☆21Updated 2 years ago
- Works about detecting vulnerable using ML.☆83Updated 4 years ago
- FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache (ACM CCS 2024)☆10Updated 2 months ago
- Corax for Java: A general static analysis framework for java code checking.☆236Updated last month
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆12Updated last month
- A set of Code-ql/Joern queries to find vulnerabilities☆56Updated 3 years ago
- ☆25Updated 11 months ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆61Updated 5 months ago
- Tai-e学习记录☆13Updated 9 months ago
- An automated static taint analysis tool for the Lua web framework.☆13Updated 4 months ago
- ☆17Updated 2 years ago