zimmski / tavorLinks
A generic fuzzing and delta-debugging framework
☆247Updated 7 years ago
Alternatives and similar repositories for tavor
Users that are interested in tavor are comparing it to the libraries listed below
Sorting:
- Many-armed network simulator☆128Updated 11 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆137Updated 6 years ago
- Aspect Oriented Programming for Go☆223Updated 5 years ago
- A fast SAT solver☆153Updated 4 years ago
- go on Rumprun☆310Updated 6 years ago
- A library operating system for Go☆185Updated 9 years ago
- Ringbuffer-backed interactive data pipeline☆124Updated 10 years ago
- Go seccomp parser and compiler☆53Updated 8 years ago
- Go Taint CHeck Analyser☆43Updated 6 years ago
- HTTP/2 fuzzer written in Golang☆180Updated 9 years ago
- State Machine Assisted Testing☆80Updated 5 years ago
- gapstone is a Go binding for the capstone disassembly library☆154Updated 6 years ago
- LD_PRELOAD libc hooking using Go☆159Updated 9 years ago
- Slimmed down version of Vanadium that is focused on its RPC and security system.☆91Updated last year
- ☆119Updated 9 years ago
- Spy - Watches for file changes, restarts stuff☆61Updated 3 years ago
- auto-generate capnproto schema from your golang source files. Depends on go-capnproto-1.0 at https://github.com/glycerine/go-capnproto☆64Updated 9 years ago
- gophersat, a SAT solver in Go☆383Updated 4 months ago
- Parse and manipulate strace output for easier diffs☆36Updated 10 years ago
- A Go library for refactoring code.☆90Updated 9 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 9 years ago
- Go GDB/MI interface☆85Updated 2 years ago
- Corpus of interesting Go code☆193Updated 8 years ago
- Web-based gdb front-end application☆224Updated 7 years ago
- Simple shell-like exec for golang.☆26Updated 9 years ago
- Fuzzing Go crypto☆74Updated 6 years ago
- TLSH lib in Golang☆142Updated 3 months ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago
- A fast implementation of the Tor OR code, in Go☆103Updated 8 years ago