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
- 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 3 weeks ago
- Golang example code showing dangers with unsafe.Pointer usages☆52Updated 5 years ago
- ☆30Updated 4 years ago
- An llvm pass to perform taint analysis on your code.☆38Updated 6 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 5 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 3 years ago
- ☆107Updated last year
- Fuzzing concurrent Go programs☆136Updated 3 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 3 years ago
- gapstone is a Go binding for the capstone disassembly library☆73Updated 4 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆15Updated 7 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆126Updated 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 3 years ago
- The parser-directed Fuzzer☆39Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- Zydis Bindings for Go☆26Updated 4 years ago
- Design documents related to the decompilation pipeline.☆29Updated 2 months ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆166Updated last month
- Binary Ninja plugin for restoring function names from stripped Golang binaries☆14Updated 5 years ago
- ☆39Updated 3 years ago
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- ☆194Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆233Updated 3 years ago
- ☆37Updated 3 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Updated 11 months ago