CodeQL library and queries for iterator invalidation
☆22Mar 12, 2026Updated last week
Alternatives and similar repositories for itergator
Users that are interested in itergator are comparing it to the libraries listed below
Sorting:
- A cookiecutter template for a best-practices Python project☆33Updated this week
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- Easily create authenticated data structures☆43Apr 11, 2023Updated 2 years ago
- A mutation-based tool for finding bugs in tests☆137Updated this week
- The Python Version of our Not Go-ing Anywhere Vulnerable Application☆11Jan 11, 2024Updated 2 years ago
- CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database☆24Jun 29, 2023Updated 2 years ago
- ☆14Jun 21, 2020Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- A set of vulnerable Golang programs☆179Jul 5, 2023Updated 2 years ago
- CodeQL queries developed by Trail of Bits☆151Feb 26, 2026Updated 3 weeks ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 years ago
- Simple library to decode ethereum transaction and logs☆39May 13, 2023Updated 2 years ago
- CodeQL Security Queries☆27Updated this week
- poststructural fuzzing☆31Jan 29, 2020Updated 6 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- ☆14Nov 13, 2018Updated 7 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
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- ☆22Aug 16, 2023Updated 2 years ago
- ☆41May 13, 2023Updated 2 years ago
- This script automates the process of refreshing pseudocode, renaming symbols, and saving the updated IDA database for all functions in a …☆19Feb 27, 2025Updated last year
- Finding security vulnerabilities with CodeQL in C/C++☆14Mar 25, 2021Updated 4 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- ☆20Feb 9, 2026Updated last month
- A kernelspace syscall interceptor and randomized faulter☆358Nov 18, 2024Updated last year
- Build & parse StarkNet URLs☆21Jan 12, 2023Updated 3 years ago
- CodeQL workshops for GitHub Universe☆96Nov 14, 2022Updated 3 years ago
- ☆21Apr 6, 2025Updated 11 months ago
- CVE-2021-22555 exploit rewritten with pipe primitive☆37May 18, 2022Updated 3 years ago
- ☆30Nov 25, 2025Updated 3 months ago
- LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing☆25Mar 4, 2026Updated 2 weeks ago
- Exploiting CVE-2016-2334 7zip HFS+ vulnerability☆10Nov 29, 2017Updated 8 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 7 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 years ago