mo-xiaoxi / HDiff
☆24Updated 2 years ago
Alternatives and similar repositories for HDiff:
Users that are interested in HDiff are comparing it to the libraries listed below
- A benchmark to evaluate taint analysis☆29Updated 2 years ago
- S&P2023 Paper☆39Updated 2 years ago
- Low-level RASP: Protecting Applications Implemented in High-level Programming Languages☆59Updated last year
- ☆38Updated 2 years ago
- ☆21Updated 2 years ago
- To solve some readflag situation in ctfs☆34Updated 4 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆169Updated 7 months ago
- Artifact for ICSE 2023☆49Updated 2 years ago
- GreHack 2021 CodeQL for Java workshop☆75Updated 3 years ago
- A grey-box web application Fuzzer☆23Updated 8 months ago
- Collection of CTF Web challenges I made☆52Updated 2 years ago
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆20Updated 10 months ago
- Grammar-based HTTP/2 fuzzer with mutation ability☆43Updated 2 years ago
- WALA 学习笔记☆14Updated last year
- ☆12Updated 3 years ago
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆48Updated last year
- This project runs a Model Context Protocol (MCP) server that wraps the CodeQL query server. It enables tools like [Cursor](https://cursor…☆82Updated last month
- A curated list of audit rules which extract from Source Code Auditing tools.☆14Updated 5 years ago
- 一个辅助提交 CNVD/CNNVD/CVE 漏洞的工具☆18Updated 2 years ago
- 用来将Tai-e改造为开箱即用的静态代码安全分析框架的一些demo☆37Updated last year
- ☆78Updated 4 years ago
- ☆26Updated last year
- neo4j plugin of ByteCodeDL for the IntelliJ Platform. ByteCodeDL-Neo4j-IDEA-Plugin☆16Updated last year
- only for request cve☆17Updated 3 weeks ago
- FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities☆95Updated last year
- CVE-2022-0847 used to achieve container escape 利用CVE-2022-0847 (Dirty Pipe) 实现容器逃逸☆32Updated 2 years ago
- My CodeQL queries collection☆96Updated last year
- solution to buggyLoader of 0CTF/TCTF 2021 Finals☆20Updated 3 years ago
- a dataflow analysis framework implemented in Go, like soot☆35Updated 2 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆11Updated 7 months ago