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
- Golang example code showing dangers with unsafe.Pointer usages☆51Updated 4 years ago
- Automatic fuzz targets generation for Golang packages☆53Updated last month
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 5 years ago
- Fuzzing concurrent Go programs☆134Updated 3 years ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆44Updated 5 years ago
- Zydis Bindings for Go☆26Updated 4 years ago
- Go (golang) bindings to the Z3 SMT Solver☆146Updated 3 years ago
- gapstone is a Go binding for the capstone disassembly library☆74Updated 3 years ago
- CLI to integrate continuous fuzzing with Fuzzit (no longer available)☆222Updated 5 years ago
- ☆28Updated 2 weeks ago
- fzgo is a prototype of "make fuzzing a first class citizen" in the go command. Supports rich signatures & generating fuzz functions.☆115Updated 3 years ago
- ☆108Updated last year
- ☆15Updated 5 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 6 months ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- Differential fuzzing for Smart Contract VMs☆51Updated 3 years ago
- A quick and dirty Golang security talk☆27Updated 5 years ago
- The Chef symbolic execution platform, based off S2E☆12Updated 2 years ago
- Callgraph analysis and visualization for Go☆165Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆72Updated 3 years ago
- Whole Program LLVM: wllvm ported to go☆326Updated last year
- ☆22Updated 2 years ago
- CollabFuzz: A Framework for Collaborative Fuzzing☆70Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 3 years ago
- (fast) Capstone Go bindings☆12Updated 7 years ago
- gapstone is a Go binding for the capstone disassembly library☆154Updated 6 years ago