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:
- ☆195Updated 3 years ago
- A fast SAT solver☆152Updated 4 years ago
- Bindings for the Z3 SMT solver☆31Updated 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
- Go static program analyser☆58Updated 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
- Go tool to walk & rewrite AST☆172Updated 5 years ago
- Miscellaneous Go toys☆134Updated 6 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- Static analyser for finding Deadlocks in Go☆320Updated last year
- View annotated files based on line-spec☆225Updated last year
- Locking wrapper for running benchmarks on shared hosts☆154Updated last year
- A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs☆96Updated 5 years ago
- Reduce Go programs☆216Updated last year
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 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
- Assert your Go code is inlined and bounds-check eliminated☆308Updated 4 months ago
- Document mathematical Go code beautifully☆202Updated last year
- Go translation of MetroHash☆110Updated 7 months ago
- Painless polymorphism☆126Updated 8 years ago
- tool for detecting unused functions and variables in Go source code☆141Updated 6 years ago
- reflectwalk is a Go library for "walking" complex structures, similar to walking a filesystem.☆278Updated 3 years ago
- Coz profiler Golang wrapper - Coz employs a novel technique we call causal profiling that measures optimization potential.☆144Updated last year
- strace for go☆79Updated 7 years ago
- Statically Detecting Go Concurrency Bugs☆438Updated 2 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- ssaview live-renders the SSA representation of a go program☆70Updated 9 years ago