AdamKorcz / go-118-fuzz-build
☆22Updated last week
Related projects: ⓘ
- Automatic fuzz targets generation for Golang packages☆51Updated 2 months ago
- ☆18Updated last year
- ☆19Updated 3 weeks ago
- CodeQL queries developed by Trail of Bits☆72Updated 3 weeks ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆40Updated 4 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy☆47Updated 3 months ago
- Go Trusted Execution Environment (TEE)☆103Updated last week
- Automatically fuzz Rust projects from scratch☆52Updated 4 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆131Updated this week
- Binary Ninja plugin for restoring function names from stripped Golang binaries☆12Updated 3 years ago
- Golang example code showing dangers with unsafe.Pointer usages☆47Updated 3 years ago
- Harness for the Linux kernel eBPF verifier☆32Updated 2 years ago
- A tool to perform so called BGE attack☆20Updated 5 months ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Updated last year
- ☆15Updated 4 years ago
- poststructural fuzzing☆31Updated 4 years ago
- ☆41Updated 2 months ago
- CodeQL library and queries for iterator invalidation☆19Updated 3 years ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆19Updated last week
- Binary-only fuzzer for WebAssembly (WASI)☆48Updated last month
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆48Updated 4 months ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 4 years ago
- Detect patterns of bad behavior in function calls☆25Updated 4 years ago
- A sample PoC for container-aware exec events for osquery☆23Updated 7 months ago
- Differential fuzzing for Smart Contract VMs☆48Updated 2 years ago
- TrustZone Trusted Application 0-Days by Design☆12Updated last month
- Underconstrained symbolic execution for cryptography verification☆18Updated 3 years ago
- Downloader for Firefox/jsshell builds for fuzzing.☆37Updated last month