mitchellh / go-z3Links
Go (golang) bindings to the Z3 SMT Solver
☆145Updated 3 years ago
Alternatives and similar repositories for go-z3
Users that are interested in go-z3 are comparing it to the libraries listed below
Sorting:
- A fast SAT solver☆152Updated 4 years ago
- ☆194Updated 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
- Bindings for the Z3 SMT solver☆31Updated 3 years ago
- Go static program analyser☆58Updated 5 years ago
- A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs☆96Updated 5 years ago
- SAT solver written in Go (golang).☆140Updated 8 years ago
- Automatically exported from code.google.com/p/gosmith☆52Updated 9 years ago
- An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)☆94Updated 3 years ago
- Go language interface to GMP - GNU Multiprecision Library (golang)☆119Updated last year
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- Go tool to walk & rewrite AST☆171Updated 5 years ago
- Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…☆108Updated last year
- Statically Detecting Go Concurrency Bugs☆438Updated 2 years ago
- Tough Fuzzer is an obstacle course for go-fuzz composed of a series of small code samples which encapsulate the most common obstacles to …☆18Updated 3 years ago
- ssaview live-renders the SSA representation of a go program☆70Updated 9 years ago
- A radix sorting library for Go (golang)☆53Updated 2 years ago
- Errors as side notes☆40Updated 8 years ago
- Reflection-based Protocol Buffers for Go☆79Updated 5 years ago
- Fuzzing Go crypto☆74Updated 6 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- Static analyser for finding Deadlocks in Go☆320Updated last year
- strace for go☆79Updated 7 years ago
- Simple and fast graph library☆72Updated 5 years ago
- Go translation of MetroHash☆112Updated 8 months ago
- Miscellaneous Go toys☆134Updated 6 years ago
- Reduce Go programs☆216Updated last year
- Coz profiler Golang wrapper - Coz employs a novel technique we call causal profiling that measures optimization potential.☆144Updated last year
- Fixes simple parse errors automatically. Works great in combination with goimports.☆86Updated 5 years ago
- Goof (Go Object Finder) is a package that does the unthinkable to your binary☆155Updated last year