zimmski / tavor
A generic fuzzing and delta-debugging framework
☆245Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for tavor
- Aspect Oriented Programming for Go☆225Updated 4 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆135Updated 5 years ago
- Ringbuffer-backed interactive data pipeline☆124Updated 9 years ago
- A fast SAT solver☆148Updated 3 years ago
- go on Rumprun☆314Updated 5 years ago
- A library operating system for Go☆189Updated 8 years ago
- Grind polishes Go programs.☆460Updated 4 years ago
- Many-armed network simulator☆126Updated 10 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- An Adaptive Replacement Cache (ARC) written in Go.☆222Updated 5 years ago
- Experimental channel implementation☆311Updated 7 years ago
- A Go library for refactoring code.☆90Updated 8 years ago
- Go management extensions☆259Updated 6 years ago
- [Go] mmm - manual memory management library.☆398Updated 6 years ago
- Go Taint CHeck Analyser☆44Updated 5 years ago
- Program analysis platform☆271Updated 5 years ago
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 3 years ago
- Caching reverse proxy for testing written in Go☆138Updated 6 years ago
- LD_PRELOAD libc hooking using Go☆156Updated 8 years ago
- ☆397Updated 7 years ago
- SAT solver written in Go (golang).☆136Updated 7 years ago
- A utility for conceptualizing large Go code bases☆179Updated 3 years ago
- Painless polymorphism☆126Updated 7 years ago