mitchellh / go-z3

Related projects: ⓘ

• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆28Updated 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 2 years ago
• google / go-flow-levee
  ☆191Updated 2 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆135Updated 7 years ago
• dedis / protobuf
  Reflection-based Protocol Buffers for Go
  ☆76Updated 4 years ago
• wangcong15 / escape-from-escape-analysis-of-golang
  ☆19Updated 4 years ago
• linux4life798 / safetyfast
  An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)
  ☆94Updated 2 years ago
• trailofbits / on-edge
  A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs
  ☆97Updated 4 years ago
• AdaLogics / go-fuzz-headers
  ☆89Updated last month
• aclements / perflock
  Locking wrapper for running benchmarks on shared hosts
  ☆147Updated 7 months ago
• akwick / gotcha
  Go Taint CHeck Analyser
  ☆43Updated 5 years ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆315Updated 11 months ago
• lukechampine / uint128
  uint128 for Go
  ☆224Updated 4 months ago
• system-pclub / GCatch
  Statically Detecting Go Concurrency Bugs
  ☆436Updated last year
• fatih / astrewrite
  Go tool to walk & rewrite AST
  ☆171Updated 4 years ago
• ncw / gmp
  Go language interface to GMP - GNU Multiprecision Library (golang)
  ☆115Updated 9 months ago
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆109Updated this week
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 3 years ago
• protolambda / gocyto
  Callgraph analysis and visualization for Go
  ☆159Updated last year
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆51Updated 8 years ago
• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 2 years ago
• reflog / go2ast
  Transform Go code into it's AST
  ☆121Updated 4 years ago
• dave / courtney
  Courtney is a coverage tool for Go
  ☆168Updated last week
• thepudds / fzgen
  Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…
  ☆104Updated last month
• mibk / dupl
  a tool for code clone detection
  ☆342Updated 6 months ago
• tmc / ssaview
  ssaview live-renders the SSA representation of a go program
  ☆69Updated 8 years ago
• facebookincubator / go-qfext
  a fast counting quotient filter implementation in golang
  ☆91Updated 2 years ago
• ianlancetaylor / demangle
  C++ symbol name demangler written in Go
  ☆166Updated last week
• mmcloughlin / cryptofuzz
  Fuzzing Go crypto
  ☆73Updated 5 years ago