AdamKorcz / go-118-fuzz-buildLinks
☆26Updated last week
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
Sorting:
- Automatic fuzz targets generation for Golang packages☆53Updated 4 months ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 2 months ago
- ☆20Updated 2 years ago
- poststructural fuzzing☆31Updated 5 years ago
- CodeQL queries developed by Trail of Bits☆99Updated 3 weeks ago
- ☆20Updated 9 months ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆12Updated 5 months ago
- CodeQL library and queries for iterator invalidation☆22Updated 4 years ago
- ☆15Updated 5 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆140Updated this week
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆63Updated 2 weeks ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last week
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- Mayhem example templates for programming languages and fuzzers that you love!☆33Updated last year
- Differential fuzzing for Smart Contract VMs☆51Updated 3 years ago
- ☆14Updated 3 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆68Updated this week
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆27Updated this week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated this week
- Binary-only fuzzer for WebAssembly (WASI)☆49Updated 10 months ago
- Dynamically discover the commands used to create a piece of software☆49Updated 3 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated last month
- ☆25Updated 2 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Updated last year
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago
- List of crackpot 'scientists' and 'thinkers'☆19Updated last week
- Harness for the Linux kernel eBPF verifier☆33Updated 2 years ago