DieracDelta / DuckeeGOLinks
Concolic Exection Engine for Golang
☆10Updated 7 years ago
Alternatives and similar repositories for DuckeeGO
Users that are interested in DuckeeGO are comparing it to the libraries listed below
Sorting:
- Go Taint CHeck Analyser☆44Updated 6 years ago
- Corpus for github.com/dvyukov/go-fuzz examples☆202Updated 4 years ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆44Updated 5 years ago
- Automatic fuzz targets generation for Golang packages☆55Updated 2 months ago
- Golang example code showing dangers with unsafe.Pointer usages☆52Updated 5 years ago
- fzgo is a prototype of "make fuzzing a first class citizen" in the go command. Supports rich signatures & generating fuzz functions.☆115Updated 4 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 5 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- Fuzzing concurrent Go programs☆137Updated 3 years ago
- ☆28Updated last month
- ☆197Updated 3 years ago
- Zydis Bindings for Go☆26Updated 4 years ago
- ☆108Updated last year
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆135Updated 5 years ago
- ☆22Updated 2 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆75Updated 4 years ago
- ☆30Updated 4 years ago
- Callgraph analysis and visualization for Go☆169Updated 3 years ago
- gapstone is a Go binding for the capstone disassembly library☆73Updated 4 years ago
- A quick and dirty Golang security talk☆27Updated 5 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆128Updated 3 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- ☆20Updated 3 years ago
- CLI to integrate continuous fuzzing with Fuzzit (no longer available)☆222Updated 5 years ago
- ☆51Updated 2 years ago
- The Chef symbolic execution platform, based off S2E☆12Updated 3 years ago
- A project to run fuzzing jobs at scale with Kubernetes.☆148Updated 4 years ago
- Differential fuzzing for Smart Contract VMs☆51Updated 3 years ago
- Scalable Validator for Binary Lifters☆62Updated 5 years ago
- CollabFuzz: A Framework for Collaborative Fuzzing☆70Updated 4 years ago