Alternatives and similar repositories for go-z3:

Users that are interested in go-z3 are comparing it to the libraries listed below

• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆30Updated 2 years ago
• go-air / gini
  A fast SAT solver
  ☆146Updated 3 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆137Updated 7 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 4 years ago
• google / go-flow-levee
  ☆194Updated 2 years ago
• trailofbits / on-edge
  A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs
  ☆97Updated 5 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆318Updated last year
• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 3 years ago
• akwick / gotcha
  Go Taint CHeck Analyser
  ☆44Updated 5 years ago
• lukechampine / uint128
  uint128 for Go
  ☆238Updated 3 months ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 4 years ago
• ncw / gmp
  Go language interface to GMP - GNU Multiprecision Library (golang)
  ☆118Updated last year
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆372Updated 7 months ago
• linux4life798 / safetyfast
  An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)
  ☆94Updated 2 years ago
• thepudds / fzgo
  fzgo is a prototype of "make fuzzing a first class citizen" in the go command. Supports rich signatures & generating fuzz functions.
  ☆112Updated 3 years ago
• mmcloughlin / cryptofuzz
  Fuzzing Go crypto
  ☆75Updated 5 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆52Updated 9 years ago
• mibk / dupl
  a tool for code clone detection
  ☆348Updated 10 months ago
• fatih / astrewrite
  Go tool to walk & rewrite AST
  ☆171Updated 5 years ago
• bradfitz / iter
  Range over integers [0,n). Seriously, that's it.
  ☆298Updated 5 years ago
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆116Updated this week
• tmc / ssaview
  ssaview live-renders the SSA representation of a go program
  ☆69Updated 9 years ago
• shawnsmithdev / zermelo
  A radix sorting library for Go (golang)
  ☆51Updated last year
• soniakeys / graph
  Simple and fast graph library
  ☆72Updated 4 years ago
• remyoudompheng / go-misc
  Miscellaneous Go toys
  ☆134Updated 5 years ago
• jbardin / gotrace
  strace for go
  ☆75Updated 7 years ago
• system-pclub / GCatch
  Statically Detecting Go Concurrency Bugs
  ☆437Updated last year
• kyoh86 / scopelint
  scopelint checks for unpinned variables in go programs
  ☆115Updated 3 years ago
• src-d / go-billy
  The missing interface filesystem abstraction for Go
  ☆201Updated 3 years ago
• dgryski / semgrep-go
  Go rules for semgrep and go-ruleguard
  ☆465Updated 2 months ago