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
- Automatic fuzz targets generation for Golang packages☆55Updated 3 months ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆44Updated 5 years ago
- Golang example code showing dangers with unsafe.Pointer usages☆52Updated 5 years ago
- ☆28Updated last month
- Fuzzing concurrent Go programs☆137Updated 3 years ago
- ☆197Updated 3 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- ☆108Updated last year
- ☆20Updated 3 years ago
- gapstone is a Go binding for the capstone disassembly library☆73Updated 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
- 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
- Static analysis framework for EVM bytecode☆31Updated 6 years ago
- An llvm pass to perform taint analysis on your code.☆38Updated 6 years ago
- Scalable Validator for Binary Lifters☆62Updated 5 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 2 weeks ago
- Weakness-Oriented Assertion Recommendation For Golang (source code for submission in ISSRE'19)☆22Updated 6 years ago
- Differential fuzzing for Smart Contract VMs☆52Updated 3 years ago
- Elf binary parsing utility written in Go.☆70Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆75Updated 4 years ago
- CLI to integrate continuous fuzzing with Fuzzit (no longer available)☆222Updated 5 years ago
- It's the Go compiler, but it panics on arithmetic and truncation issues.☆42Updated this week
- ☆51Updated 2 years ago
- ☆39Updated 3 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆136Updated 5 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆129Updated 3 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆97Updated last year