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 last month
- Golang example code showing dangers with unsafe.Pointer usages☆52Updated 5 years ago
- Zydis Bindings for Go☆26Updated 4 years ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆44Updated 5 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
- ☆20Updated 3 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- ☆197Updated 3 years ago
- An llvm pass to perform taint analysis on your code.☆38Updated 6 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆133Updated 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
- ☆108Updated last year
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 4 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Updated 3 years ago
- gapstone is a Go binding for the capstone disassembly library☆154Updated 6 years ago
- Scalable Validator for Binary Lifters☆61Updated 5 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Updated 2 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆151Updated 4 years ago
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆58Updated 2 weeks ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆96Updated last year
- ☆28Updated 2 weeks ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 8 months ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- ☆37Updated 3 years ago
- A quick and dirty Golang security talk☆27Updated 5 years ago
- An eBPF program debugger☆215Updated 3 years ago