A set of Code-ql/Joern queries to find vulnerabilities
☆67May 22, 2021Updated 5 years ago
Alternatives and similar repositories for StaticAnalysisQueries
Users that are interested in StaticAnalysisQueries are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆184Sep 19, 2024Updated last year
- A bunch of sample codes related to kernel fuzzing☆12Feb 7, 2019Updated 7 years ago
- A collection of POP exploits.☆30Feb 22, 2021Updated 5 years ago
- BSOD: Binary-only Scalable fuzzing Of device Drivers☆164Nov 11, 2021Updated 4 years ago
- binary ninja related code☆37Mar 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- My CodeQL queries collection☆98Aug 28, 2023Updated 2 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆161Aug 31, 2022Updated 3 years ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆47Dec 12, 2021Updated 4 years ago
- ☆16Nov 9, 2022Updated 3 years ago
- Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …☆17May 22, 2024Updated 2 years ago
- ☆23Nov 2, 2021Updated 4 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆91May 3, 2018Updated 8 years ago
- A tool that automatically creates fuzzing harnesses based on a library☆293Nov 13, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 使用kprobe获取sys_execve参数☆12Jul 2, 2026Updated 3 weeks ago
- ☆13Mar 22, 2024Updated 2 years ago
- A binary-only coverage-guided fuzzer based on AFL and e9patch☆21Oct 13, 2020Updated 5 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- Personal CodeQL queries☆67Apr 6, 2026Updated 3 months ago
- ☆72Jun 26, 2024Updated 2 years ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆341Jan 6, 2024Updated 2 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Sep 16, 2022Updated 3 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 学习angr用，里面可能啥都有☆10May 8, 2019Updated 7 years ago
- Code for UI, backend, engine and statistical analysis for RE☆23Aug 7, 2021Updated 4 years ago
- ☆141Aug 3, 2021Updated 4 years ago
- Codeql学习笔记☆904Apr 25, 2022Updated 4 years ago
- Environment with vulnerable kernel for exploitation of the TEE driver (CVE-2021-44733)☆76Dec 28, 2021Updated 4 years ago
- ☆18Apr 7, 2023Updated 3 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆66Dec 14, 2021Updated 4 years ago
- Repository of the findings found by wtf when fuzzing IDA75.☆85Aug 2, 2021Updated 4 years ago
- Finding Java/C# gadget chains with CodeQL☆189Jun 22, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- GreHack 2021 CodeQL for Java workshop☆73Nov 19, 2021Updated 4 years ago
- Ready to use docker image for CodeQL☆90Jan 10, 2024Updated 2 years ago
- ☆101Sep 12, 2021Updated 4 years ago
- Custom / Experimental CodeQL queries☆37Apr 21, 2022Updated 4 years ago
- MALOnt - an ontology for Malware Threat Intelligence.☆13Jul 8, 2021Updated 5 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆44Jun 12, 2023Updated 3 years ago
- fastjson auto type derivation search☆22Aug 19, 2021Updated 4 years ago