zimmski / tavor
A generic fuzzing and delta-debugging framework
☆245Updated 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
- go on Rumprun☆311Updated 5 years ago
- A fast SAT solver☆147Updated 3 years ago
- Ringbuffer-backed interactive data pipeline☆124Updated 9 years ago
- Many-armed network simulator☆127Updated 10 years ago
- SAT solver written in Go (golang).☆138Updated 8 years ago
- A library operating system for Go☆187Updated 8 years ago
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 4 years ago
- Grind polishes Go programs.☆459Updated 5 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆109Updated 8 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- Dockerfile to build a tiny docker image for running go applications☆69Updated 3 years ago
- Check that all your Go dependencies are properly vendored☆178Updated 4 years ago
- An Adaptive Replacement Cache (ARC) written in Go.☆221Updated 5 years ago
- HTTP/2 fuzzer written in Golang☆177Updated 8 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 Go library for refactoring code.☆90Updated 8 years ago
- [Go] mmm - manual memory management library.☆398Updated 7 years ago
- xlog is a logger for net/context aware HTTP applications☆138Updated 8 months ago
- Package htree implements the in-memory hash tree. Hacker News: https://news.ycombinator.com/item?id=11369676☆92Updated 2 years ago
- ☆396Updated 7 years ago
- Experimental channel implementation☆311Updated 8 years ago
- gapstone is a Go binding for the capstone disassembly library☆150Updated 5 years ago
- gophersat, a SAT solver in Go☆372Updated 8 months ago
- LD_PRELOAD libc hooking using Go☆157Updated 9 years ago
- Generics for go☆113Updated 10 years ago
- File backed element store with caching and async writes☆56Updated 10 years ago
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- An optimized substring search engine written in Go☆549Updated 6 years ago