zimmski / tavor
A generic fuzzing and delta-debugging framework
☆246Updated 6 years ago
Alternatives and similar repositories for tavor:
Users that are interested in tavor are comparing it to the libraries listed below
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆136Updated 5 years ago
- Aspect Oriented Programming for Go☆225Updated 5 years ago
- Ringbuffer-backed interactive data pipeline☆124Updated 9 years ago
- Program analysis platform☆271Updated 6 years ago
- A library operating system for Go☆187Updated 8 years ago
- Experimental channel implementation☆311Updated 8 years ago
- go on Rumprun☆311Updated 6 years ago
- An Adaptive Replacement Cache (ARC) written in Go.☆221Updated 5 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Grind polishes Go programs.☆458Updated 5 years ago
- A fast SAT solver☆147Updated 3 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 8 years ago
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- ☆396Updated 7 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- Corpus for github.com/dvyukov/go-fuzz examples☆197Updated 4 years ago
- Web-based gdb front-end application☆228Updated 6 years ago
- SAT solver written in Go (golang).☆139Updated 8 years ago
- Go Taint CHeck Analyser☆44Updated 5 years ago
- [Go] mmm - manual memory management library.☆397Updated 7 years ago
- ☆75Updated 9 months ago
- Check that all your Go dependencies are properly vendored☆177Updated 4 years ago
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 4 years ago
- Static analyser for finding Deadlocks in Go☆319Updated last year
- Configuration file syntax and parsing for golang☆109Updated 8 years ago
- Generate datastructures for your types.☆77Updated 5 years ago
- Go Library for distributing work to workers☆314Updated 9 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- LD_PRELOAD libc hooking using Go☆157Updated 9 years ago
- Many-armed network simulator☆127Updated 11 years ago