zimmski / tavorLinks
A generic fuzzing and delta-debugging framework
☆247Updated 6 years ago
Alternatives and similar repositories for tavor
Users that are interested in tavor are comparing it to the libraries listed below
Sorting:
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆137Updated 5 years ago
- Aspect Oriented Programming for Go☆225Updated 5 years ago
- Go Taint CHeck Analyser☆43Updated 6 years ago
- A library operating system for Go☆186Updated 8 years ago
- go on Rumprun☆311Updated 6 years ago
- Ringbuffer-backed interactive data pipeline☆124Updated 10 years ago
- fzgo is a prototype of "make fuzzing a first class citizen" in the go command. Supports rich signatures & generating fuzz functions.☆114Updated 3 years ago
- A fast SAT solver☆148Updated 3 years ago
- CLI to integrate continuous fuzzing with Fuzzit (no longer available)☆221Updated 4 years ago
- Grind polishes Go programs.☆457Updated 5 years ago
- HTTP/2 fuzzer written in Golang☆178Updated 9 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- Program analysis platform☆271Updated 6 years ago
- Corpus for github.com/dvyukov/go-fuzz examples☆199Updated 4 years ago
- gapstone is a Go binding for the capstone disassembly library☆151Updated 5 years ago
- Experimental channel implementation☆311Updated 8 years ago
- ☆396Updated 7 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- [Go] mmm - manual memory management library.☆397Updated 7 years ago
- Many-armed network simulator☆127Updated 11 years ago
- ☆76Updated last year
- Slimmed down version of Vanadium that is focused on its RPC and security system.☆91Updated 8 months ago
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 4 years ago
- Caching reverse proxy for testing written in Go☆139Updated 7 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 8 years ago
- Static analyser for finding Deadlocks in Go☆320Updated last year
- gophersat, a SAT solver in Go☆379Updated last year
- TLSH lib in Golang☆141Updated 2 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- A linter that suggests interface types☆688Updated 6 years ago