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
Related projects ⓘ
Alternatives and complementary repositories for fzgo
- ☆194Updated 2 years ago
- Go Vet-style linter to find incorrect uses of reflect.SliceHeader and reflect.StringHeader, and unsafe casts between structs with archite…☆42Updated last year
- Corpus for github.com/dvyukov/go-fuzz examples☆191Updated 3 years ago
- Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…☆105Updated 3 months ago
- Fuzzing Go crypto☆73Updated 5 years ago
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆41Updated 4 years ago
- Go Taint CHeck Analyser☆44Updated 5 years ago
- A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs☆97Updated 4 years ago
- ☆94Updated 3 months ago
- Go Fuzzit Example☆37Updated 4 years ago
- View annotated files based on line-spec☆226Updated 10 months ago
- Go rules for semgrep and go-ruleguard☆460Updated this week
- Locking wrapper for running benchmarks on shared hosts☆149Updated 9 months ago
- Safe HTML for Go☆365Updated 4 months ago
- Document mathematical Go code beautifully☆199Updated 9 months ago
- Reduce Go programs☆216Updated 8 months ago
- /tmp☆92Updated 3 weeks ago
- Parse and generate HTTP headers correctly☆30Updated 3 years ago
- Benchstat computes and compares statistics about benchmarks.☆139Updated 6 years ago
- 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 3 years ago
- Run Go tests inside a Docker image☆98Updated 2 weeks ago
- C++ symbol name demangler written in Go☆167Updated 2 months ago
- Miscellaneous Go hacks☆229Updated last month
- A simple assertion library that you probably shouldn't use.☆133Updated 4 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- ☆78Updated 4 years ago
- 🚰 Static taint analysis for Go programs.☆57Updated 3 months ago
- Go (golang) bindings to the Z3 SMT Solver☆141Updated 2 years ago
- Analyzer: checks whether HTTP response body is closed and a re-use of TCP connection is not blocked.☆309Updated last month
- Script engine, especially good for tests☆146Updated 8 months ago