dalzilio / rudd
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆11Updated 3 months ago
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
- Code generator for binary parsing☆19Updated 5 years ago
- EBNF grammar fuzzer☆18Updated 5 years ago
- Artifacts of the USENIX Security 2022 paper "Spoki: Unveiling a New Wave of Scanners through a Reactive Network Telescope"☆17Updated 2 months ago
- This project aims to provide a uniform representation for the data of ELF and PE binary executables.☆9Updated 6 years ago
- dump network packet and log to database☆9Updated 2 years ago
- NFDump File Reader☆11Updated 4 months ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- ☆12Updated 9 years ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13Updated 10 years ago
- Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with☆29Updated last year
- BIOS-based boot menu and loader☆16Updated 8 years ago
- Bindings for the Z3 SMT solver☆30Updated 2 years ago
- Libgore☆13Updated last year
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 5 years ago
- Dynamic Outbound Firewall Authorizer☆22Updated 2 years ago
- Go heap dump viewer with object graphs. (Works with Go 1.21)☆15Updated 6 months ago
- moddwatch watches files and directories for modifications☆17Updated last year
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 10 months ago
- Golang specific ELF reader/parser CLI tool☆31Updated 7 years ago
- In-memory security with secure data types☆16Updated 4 years ago
- ☆15Updated 8 years ago
- translate LLVM IR to Go☆119Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- A pure go implementation of the KVM API☆11Updated 6 years ago
- Package alg provides access to Linux AF_ALG sockets for communication with the Linux kernel crypto API. MIT Licensed.☆16Updated 3 years ago
- A Go package for encoding and decoding video and audio files.☆13Updated 3 years ago