elManto / StaticAnalysisQueriesLinks
A set of Code-ql/Joern queries to find vulnerabilities
☆64Updated 4 years ago
Alternatives and similar repositories for StaticAnalysisQueries
Users that are interested in StaticAnalysisQueries are comparing it to the libraries listed below
Sorting:
- ☆65Updated 3 years ago
- ☆41Updated last year
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆181Updated last year
- Some Vulnerability in the some protocol are collected.☆105Updated last year
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆75Updated last week
- ☆102Updated 4 years ago
- aurora-d☆20Updated 3 years ago
- AFLNW: network wrapper for AFL☆46Updated last year
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆72Updated last year
- 模糊 测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆23Updated 4 years ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆46Updated 2 years ago
- ☆34Updated 3 years ago
- Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing☆57Updated 6 years ago
- Witcher is the first framework for using AFL to fuzz web applications.☆98Updated last year
- Code for UI, backend, engine and statistical analysis for RE☆22Updated 4 years ago
- A Coverage-Based fuzzing tools☆23Updated 4 years ago
- Analyze IoT firmware☆17Updated 4 years ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆90Updated 7 years ago
- 一些阅读源码和Fuzzing 的经验,涵盖黑盒与白盒测试..☆62Updated 4 years ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆45Updated 3 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆66Updated 3 years ago
- attachments for forum of RealWorld CTF 3rd☆42Updated 4 years ago
- ☆81Updated 4 years ago
- fuzz the linux kernel bpf verifier☆83Updated 4 years ago
- This project runs a Model Context Protocol (MCP) server that wraps the CodeQL query server. It enables tools like [Cursor](https://cursor…☆118Updated 6 months ago
- Challenge attachments for RWCTF 3rd.☆91Updated 4 years ago
- some ida script☆34Updated 4 years ago
- A tool for effective testing the binding layer of scripting languages☆79Updated 3 years ago
- Code audit (code review) with VIM.☆17Updated 9 months ago
- ☆77Updated 2 years ago