wangcong15 / escape-from-escape-analysis-of-golang

Related projects: ⓘ

• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 2 years ago
• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆28Updated 2 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆51Updated 8 years ago
• amit-davidson / GopherCon2021IsraelStaticAnalysisWorkshop
  ☆49Updated last year
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆140Updated 2 years ago
• nickng / gospal
  Go static program analyser
  ☆58Updated 4 years ago
• akwick / gotcha
  Go Taint CHeck Analyser
  ☆43Updated 5 years ago
• sitano / gsysint
  Golang (as of 1.12.5) runtime internals that gives you an access to internal scheduling primitives. Park Gs, read IDs. (for learning purp…
  ☆66Updated 5 years ago
• uber-research / GOCC
  ☆51Updated 3 years ago
• el10savio / GoPaxos
  Paxos Made Simple
  ☆18Updated last year
• aclements / go-perf
  Go packages and tools for Linux perf
  ☆142Updated last year
• nicolasdilley / Gomela
  Tool developped for "Bounded verification of message passing concurrency in Go programs."
  ☆39Updated last year
• protolambda / gocyto
  Callgraph analysis and visualization for Go
  ☆159Updated last year
• rsc / binaryregexp
  Go regexp for binary/latin-1 data
  ☆49Updated 5 years ago
• golang-design / ssaplayground
  🃏 The Go SSA Playground: Exploring SSA IR | https://golang.design/gossa
  ☆76Updated last year
• stevenjohnstone / toughfuzzer
  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 2 years ago
• josharian / compilecmp
  automate Go compiler comparisons
  ☆24Updated last year
• mmcloughlin / cryptofuzz
  Fuzzing Go crypto
  ☆73Updated 5 years ago
• wdamron / x64
  x86-64 instruction encoder in Go
  ☆21Updated 4 years ago
• ianlancetaylor / demangle
  C++ symbol name demangler written in Go
  ☆166Updated last week
• minio / asm2plan9s
  Tool to generate BYTE sequences for Go assembly as generated by YASM
  ☆171Updated last year
• dr2chase / bent
  Benchmark and test getter + runner
  ☆28Updated 2 years ago
• aclements / objbrowse
  Interactive object file browser with symbol, source, assembly, and analysis
  ☆22Updated 5 months ago
• system-pclub / go-concurrency-bugs
  Collected Concurrency Bugs in Our ASPLOS Paper
  ☆254Updated 5 years ago
• linux4life798 / safetyfast
  An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)
  ☆94Updated 2 years ago
• go-air / reach
  symbolic reachability checker
  ☆22Updated 2 years ago
• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 3 years ago
• uber-research / go
  The Go programming language. This fork was created for pprof++, a Go profiler with hardware performance monitoring. Read through the lin…
  ☆181Updated last year
• tmc / ssaview
  ssaview live-renders the SSA representation of a go program
  ☆69Updated 8 years ago