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☆43Updated 6 years ago
- Corpus for github.com/dvyukov/go-fuzz examples☆202Updated 4 years ago
- Automatic fuzz targets generation for Golang packages☆55Updated 3 weeks 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
- 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
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- Zydis Bindings for Go☆26Updated 4 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 4 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆15Updated 8 months ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 5 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- gapstone is a Go binding for the capstone disassembly library☆73Updated 4 years ago
- ☆20Updated 2 years ago
- ☆107Updated last year
- ☆28Updated 2 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆127Updated 3 years ago
- An llvm pass to perform taint analysis on your code.☆38Updated 6 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 4 years ago
- Differential fuzzing for Smart Contract VMs☆51Updated 3 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- gapstone is a Go binding for the capstone disassembly library☆154Updated 6 years ago
- Scalable Validator for Binary Lifters☆60Updated 5 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 7 months ago
- ☆21Updated 3 months ago
- experiments for IJON☆12Updated 6 years ago
- Callgraph analysis and visualization for Go☆167Updated 3 years ago
- ☆30Updated 4 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆234Updated 3 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆166Updated 2 months ago