dalzilio / ruddLinks
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆11Updated 6 months ago
Alternatives and similar repositories for rudd
Users that are interested in rudd are comparing it to the libraries listed below
Sorting:
- symbolic reachability checker☆23Updated 3 years ago
- Go module and utility for executing machine code☆24Updated last year
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆17Updated last month
- Code generator for binary parsing☆19Updated 5 years ago
- Test and benchmark repository for Z3.☆28Updated 4 months ago
- SquashFS read only implementation in pure go☆14Updated 2 months ago
- Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with☆30Updated last year
- Fork of QEMU with Virtual Machine Introspection patches☆13Updated last year
- The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language☆23Updated 10 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- A wrapper library for the set of ptrace-related system calls in Linux☆13Updated 11 years ago
- The C4 Concurrent C Fuzzer☆14Updated last year
- measure entropy of memory allocators☆12Updated 3 years ago
- A pure go implementation of the KVM API☆12Updated 6 years ago
- Dynamic Outbound Firewall Authorizer☆22Updated 3 years ago
- Create small Go-based root file systems -- with support for CPIOs and (TBD) Docker images☆17Updated 2 months ago
- Detect compiler names and versions from ELF files☆27Updated 3 weeks ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- NFDump File Reader☆11Updated 7 months ago
- Fast HTTP server that supports handlers written in Starlark☆18Updated 5 months ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- ptrace poke command-line tool☆14Updated 5 years ago
- Exposes batch message receives (recvmmsg)☆13Updated 8 months ago
- GoTEE - example application☆16Updated 2 months ago
- Collection of Windows Driver Utils☆11Updated last year
- Small Helper Library to increase automatically the file descriptors limits for the current process☆23Updated last year
- Expect for Go☆11Updated last year
- Libgore☆13Updated 2 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 12 years ago
- kaitaigo is a compiler and runtime to create Go parsers from Kaitai Struct files☆17Updated 3 years ago