KaiSta / gopherlyzer
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
☆20Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for gopherlyzer
- A simple library for querying the AST of a Go program☆10Updated 9 years ago
- A property-based testing library☆37Updated 7 years ago
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 5 years ago
- github.com/cznic/ir has moved to modernc.org/ir☆11Updated 5 years ago
- Generates a GitHub issue description for go-fuzz findings☆11Updated 8 years ago
- Linux Perf subsystem bindings for Go☆20Updated 4 years ago
- ☆23Updated 5 years ago
- Careful implementation of Jaro and Jaro-Winkler text difference algorithms☆17Updated 7 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- github.com/cznic/strutil has moved to modernc.org/strutil☆16Updated 5 years ago
- Simple generative fuzzer☆16Updated 3 years ago
- Remove implicit field traversals from Go source☆35Updated 2 years ago
- Inspect an executable to find the Go version it was compiled with.☆11Updated 7 years ago
- Go package that implements a bit array and some utility functions☆10Updated 8 years ago
- ☆29Updated 8 years ago
- xast: ast rewriter with built-in clean up.☆27Updated 7 years ago
- ☆11Updated 7 years ago
- Go library for generating XOAuth2 strings (for use in XOAUTH2 SASL auth schemes for IMAP/SMTP)☆12Updated 12 years ago
- An AVX/AVX2/x64/pure-Go implementation of the ChaCha20 stream cipher for Golang. [Deprecated].☆11Updated 6 years ago
- Go static program analyser☆58Updated 4 years ago
- Package counting provides wrappers to add counting to io.Reader and io.Writer.☆24Updated 9 years ago
- Optimal cache stampede prevention☆15Updated 7 years ago
- Easily trace goroutines at runtime☆50Updated 3 years ago
- Convert Linux perf traces to Go pprof format☆21Updated 8 years ago
- github.com/cznic/fileutil has moved to modernc.org/fileutil☆16Updated 5 years ago
- record-less semi-deterministic replayer for Go programs☆11Updated 8 years ago
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Updated 8 years ago