elManto / StaticAnalysisQueriesLinks
A set of Code-ql/Joern queries to find vulnerabilities
☆63Updated 4 years ago
Alternatives and similar repositories for StaticAnalysisQueries
Users that are interested in StaticAnalysisQueries are comparing it to the libraries listed below
Sorting:
- ☆66Updated 3 years ago
- ☆41Updated last year
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆66Updated 3 weeks ago
- ☆102Updated 3 years ago
- aurora-d☆20Updated 3 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆176Updated 10 months ago
- Some Vulnerability in the some protocol are collected.☆103Updated last year
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆44Updated 3 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆23Updated 4 years ago
- A tool for effective testing the binding layer of scripting languages☆79Updated 3 years ago
- 一些阅读源码和Fuzzing 的经验,涵盖黑盒与白盒测试..☆62Updated 3 years ago
- attachments for forum of RealWorld CTF 3rd☆42Updated 4 years ago
- Code for UI, backend, engine and statistical analysis for RE☆22Updated 3 years ago
- A Coverage-Based fuzzing tools☆23Updated 3 years ago
- ☆34Updated 3 years ago
- Analyze IoT firmware☆18Updated 4 years ago
- AFLNW: network wrapper for AFL☆47Updated last year
- Witcher is the first framework for using AFL to fuzz web applications.☆91Updated last year
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆71Updated 11 months ago
- Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing☆58Updated 6 years ago
- python exp of pwnable' problems☆18Updated last year
- ☆78Updated 3 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆65Updated 3 years ago
- Binary Feature(ACFG) Database for DataCon2022-IoT-Challenge-2☆23Updated 2 years ago
- fuzz the linux kernel bpf verifier☆83Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆91Updated 7 years ago
- Challenge attachments for RWCTF 3rd.☆92Updated 4 years ago
- AFLplusplus + libprotobuf-mutator☆59Updated 2 years ago
- ☆77Updated 2 years ago