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 6 years ago
- Aspect Oriented Programming for Go☆224Updated 5 years ago
- go on Rumprun☆310Updated 6 years ago
- A fast SAT solver☆152Updated 4 years ago
- Ringbuffer-backed interactive data pipeline☆124Updated 10 years ago
- A library operating system for Go☆185Updated 9 years ago
- gapstone is a Go binding for the capstone disassembly library☆154Updated 6 years ago
- HTTP/2 fuzzer written in Golang☆179Updated 9 years ago
- LD_PRELOAD libc hooking using Go☆159Updated 9 years ago
- Go Taint CHeck Analyser☆43Updated 6 years ago
- Many-armed network simulator☆128Updated 11 years ago
- Go seccomp parser and compiler☆53Updated 8 years ago
- Go GDB/MI interface☆85Updated 2 years ago
- An Adaptive Replacement Cache (ARC) written in Go.☆221Updated 5 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- ☆119Updated 9 years ago
- Spy - Watches for file changes, restarts stuff☆61Updated 3 years ago
- ☆66Updated 10 years ago
- Dockerfile to build a tiny docker image for running go applications☆69Updated 3 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- A fast implementation of the Tor OR code, in Go☆102Updated 8 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 8 years ago
- TLSH lib in Golang☆142Updated last month
- Unofficial implementation of the Google Chrome Remote Debugger in Go☆185Updated 11 months ago
- Slimmed down version of Vanadium that is focused on its RPC and security system.☆91Updated 11 months ago
- Generate datastructures for your types.☆77Updated 6 years ago
- Probabilistic Multiplicity Counting☆49Updated 9 years ago
- hokusai -- sketching streams in real-time☆77Updated 8 years ago
- Protocol detecting server library☆62Updated 4 years ago