seclab-fudan / RecurScanLinks
☆27Updated last year
Alternatives and similar repositories for RecurScan
Users that are interested in RecurScan are comparing it to the libraries listed below
Sorting:
- ☆42Updated 2 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆181Updated last year
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆72Updated last year
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆14Updated 3 months ago
- ☆29Updated 3 years ago
- Some test samples for CPG execution logic.☆20Updated last year
- FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache (ACM CCS 2024)☆17Updated 11 months ago
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆171Updated last year
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- Awesome Large Language Models for Vulnerability Detection☆277Updated last week
- ☆21Updated 3 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆12Updated last year
- A benchmark for Java gadget chain detecting algorithms.☆12Updated 4 months ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆185Updated 2 years ago
- ☆25Updated 3 years ago
- ☆16Updated 2 years ago
- Artifact for ICSE 2023☆49Updated 3 years ago
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆72Updated last week
- ☆29Updated 5 months ago
- A benchmark to evaluate taint analysis☆29Updated 3 years ago
- ☆53Updated 2 years ago
- 一个搜索网络安全领域顶会论文的小工具☆91Updated 2 months ago
- A GPT-Based Fuzz Driver Generator☆48Updated last year
- 智能家居安全相关参考。The related reference of smart home security including: paper, website, topic of Mi IoT.☆78Updated 3 years ago
- 存储iot设备分析工具和分析文件☆14Updated 4 years ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆116Updated 8 months ago
- ☆10Updated 2 years ago
- ☆21Updated last month
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆342Updated last year
- A hybrid analysis framework to aid in uncovering deserialization vulnerabilities☆15Updated last year