dalzilio / rudd
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆11Updated last month
Alternatives and similar repositories for rudd:
Users that are interested in rudd are comparing it to the libraries listed below
- symbolic reachability checker☆23Updated 3 years ago
- SIMD accelerated Base64 for Go☆18Updated 7 years ago
- A fuzzer that generates random Go programs☆19Updated 4 months ago
- Go heap dump viewer with object graphs. (Works with Go 1.21)☆14Updated 5 months ago
- Go to Python converter -- translates Go code into Python code☆13Updated 3 years ago
- user-land Linux memory reader written in golang☆9Updated 7 months ago
- Convert Golang present talks to PDF☆9Updated 2 years ago
- Bindings for the Z3 SMT solver☆30Updated 2 years ago
- A pure go implementation of the KVM API☆11Updated 5 years ago
- ☆15Updated 7 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- EBNF grammar fuzzer☆18Updated 5 years ago
- Code generator for binary parsing☆19Updated 4 years ago
- Dynamic Outbound Firewall Authorizer☆22Updated 2 years ago
- Exposes batch message receives (recvmmsg)☆13Updated 4 months ago
- Go module and utility for executing machine code☆23Updated 9 months ago
- Old coverage-guided fuzz testing for fxamacker/cbor. A newer version is used by fxamacker/cbor for fuzzing.☆11Updated last year
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 9 months ago
- An Fx (go.uber.org/fx) configuration provider that allows other components to load their configs in a standard way.☆15Updated 4 years ago
- Linux kernel images for router7☆12Updated this week
- ☆12Updated last year
- Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with☆28Updated last year
- In-memory security with secure data types☆16Updated 4 years ago
- Go iSCSI initiator netlink library☆16Updated last year
- Expect for Go☆11Updated last year
- This project aims to provide a uniform representation for the data of ELF and PE binary executables.☆9Updated 6 years ago
- Documentation☆40Updated last month
- Visualizing Mach-O Loads Recursively using Graphviz☆15Updated last year
- Bootstrap Go bindings for Clang's C API