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☆154Updated 4 years ago
- Bindings for the Z3 SMT solver☆33Updated 3 years ago
- SAT solver written in Go (golang).☆141Updated 8 years ago
- ☆196Updated 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 4 years ago
- Go static program analyser☆59Updated 5 years ago
- Automatically exported from code.google.com/p/gosmith☆53Updated 10 years ago
- A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs☆97Updated 5 years ago
- Go tool to walk & rewrite AST☆171Updated 6 years ago
- Go language interface to GMP - GNU Multiprecision Library (golang)☆119Updated 2 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- convert from a Go AST to JSON☆42Updated 5 years ago
- An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)☆94Updated 3 years ago
- Static analyser for finding Deadlocks in Go☆321Updated 2 years ago
- Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…☆112Updated last year
- strace for go☆79Updated 8 years ago
- Miscellaneous Go toys☆134Updated 6 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆91Updated 3 years ago
- ssaview live-renders the SSA representation of a go program☆70Updated 10 years ago
- Fuzzing Go crypto☆74Updated 6 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆40Updated 3 years ago
- State Machine Assisted Testing☆80Updated 5 years ago
- Go package for writing descriptions using the Graphviz DOT and Mermaid language☆293Updated 3 weeks ago
- A radix sorting library for Go (golang)☆53Updated 2 years ago
- Reflection-based Protocol Buffers for Go☆78Updated 6 years ago
- Painless polymorphism☆127Updated 8 years ago
- Gong liveness and channel safety checker☆31Updated 8 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 …☆19Updated 4 years ago
- Statically Detecting Go Concurrency Bugs☆439Updated 2 years ago
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Updated 6 years ago