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

Related projects ⓘ

Alternatives and complementary repositories for escape-from-escape-analysis-of-golang

• JujuYuki / godel2
  Godel Checker with data race detection
  ☆9Updated 2 years ago
• aclements / go-z3
  Bindings for the Z3 SMT solver
  ☆29Updated 2 years ago
• nicolasdilley / Gomela
  Tool developped for "Bounded verification of message passing concurrency in Go programs."
  ☆41Updated last year
• amit-davidson / GopherCon2021IsraelStaticAnalysisWorkshop
  ☆49Updated last year
• detailyang / go-fallocate
  syscall "fallocate" implement with different os
  ☆31Updated 6 years ago
• el10savio / GoPaxos
  Paxos Made Simple
  ☆18Updated last year
• wdamron / x64
  x86-64 instruction encoder in Go
  ☆21Updated 5 years ago
• hashicorp / raft-fuzzy
  Fuzz Testing for the github.com/hashicorp/raft library
  ☆29Updated last year
• aclements / objbrowse
  Interactive object file browser with symbol, source, assembly, and analysis
  ☆22Updated 7 months ago
• tmc / ssaview
  ssaview live-renders the SSA representation of a go program
  ☆69Updated 9 years ago
• dvyukov / gosmith
  Automatically exported from code.google.com/p/gosmith
  ☆51Updated 9 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…
  ☆68Updated 5 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆141Updated 2 years ago
• akwick / gotcha
  Go Taint CHeck Analyser
  ☆44Updated 5 years ago
• dr2chase / bent
  Benchmark and test getter + runner
  ☆28Updated 3 years ago
• s-matyukevich / goobj_explorer
  Simple program, that prints out in the console details of some go object file
  ☆22Updated 9 years ago
• KodyKantor / p2p-gossip
  A p2p gossip protocol for requesting artifacts.
  ☆11Updated 9 years ago
• josharian / dont
  Don't: template-based, decentralized static analysis for Go
  ☆11Updated 6 years ago
• uber-research / GOCC
  ☆52Updated 3 years ago
• thanm / dragongo
  LLVM IR generation "middle end" for LLVM-based go compiler.
  ☆18Updated 2 years ago
• kilic / fp
  Nearly generic prime field implementation in Go
  ☆24Updated 4 years ago
• linux4life798 / safetyfast
  An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)
  ☆93Updated 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
• ReconfigureIO / goblin
  convert from a Go AST to JSON
  ☆42Updated 3 years ago
• ianlancetaylor / demangle
  C++ symbol name demangler written in Go
  ☆167Updated 2 months ago
• quasilyte / regex
  Regular expression libraries for Go
  ☆15Updated 3 years ago
• golang-design / ssaplayground
  🃏 The Go SSA Playground: Exploring SSA IR | https://golang.design/gossa
  ☆76Updated last year
• ericlagergren / go-llvm-mca
  Run Go executables under llvm-mca
  ☆13Updated 2 years ago
• go-clang / bootstrap
  Bootstrap Go bindings for Clang's C API
  ☆20Updated last year
• PingCAP-QE / matrix
  fuzzing for config
  ☆13Updated 4 years ago