AdamKorcz / go-118-fuzz-build
☆25Updated 2 months ago
Alternatives and similar repositories for go-118-fuzz-build:
Users that are interested in go-118-fuzz-build are comparing it to the libraries listed below
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 3 weeks ago
- Automatic fuzz targets generation for Golang packages☆53Updated 3 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆139Updated last week
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- CodeQL queries developed by Trail of Bits☆96Updated last week
- ☆20Updated 7 months ago
- poststructural fuzzing☆31Updated 5 years ago
- ☆15Updated 4 years ago
- CodeQL library and queries for iterator invalidation☆21Updated 3 years ago
- ☆20Updated 2 years ago
- Dynamically discover the commands used to create a piece of software☆49Updated 2 months ago
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆36Updated last week
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆25Updated last year
- Coverage-Guided Greybox Distributed Fuzzer☆130Updated this week
- Variation of american fuzzy lop for testing compilers☆122Updated 3 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☆27Updated 2 years ago
- Automatically fuzz Rust projects from scratch☆55Updated 11 months ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆44Updated 4 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Updated 2 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆48Updated 8 months ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆63Updated last month
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆12Updated 4 months ago
- A sample PoC for container-aware exec events for osquery☆24Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆121Updated 2 years ago
- Differential fuzzing for Smart Contract VMs☆50Updated 2 years ago
- Function callpath mapping analysis tool for Go☆33Updated last month
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- Underconstrained symbolic execution for cryptography verification☆18Updated 4 years ago
- An approximate solver for concolic execution☆18Updated 3 years ago