dalzilio / rudd
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆11Updated 5 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
- EBNF data generator☆17Updated this week
- A pure go implementation of the KVM API☆12Updated 6 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☆30Updated last year
- SquashFS read only implementation in pure go☆13Updated 3 weeks ago
- Create small Go-based root file systems -- with support for CPIOs and (TBD) Docker images☆15Updated last month
- Detect compiler names and versions from ELF files☆25Updated 7 months ago
- Visualizing Mach-O Loads Recursively using Graphviz☆16Updated last year
- Golang specific ELF reader/parser CLI tool☆31Updated 8 years ago
- Bindings for the Z3 SMT solver☆30Updated 2 years ago
- ☆15Updated 8 years ago
- Go module and utility for executing machine code☆23Updated last year
- tamper resistant audit log☆18Updated 6 years ago
- Code generator for binary parsing☆19Updated 5 years ago
- Occult is an open-source, distributed, cache-oriented, array processing architecture for scientific computing.☆29Updated 10 years ago
- Fast HTTP server that supports handlers written in Starlark☆18Updated 4 months ago
- user-land Linux memory reader written in golang☆9Updated 10 months ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Utility for displaying which compiler was used for creating an ELF file + basic info☆24Updated this week
- Blazing fast, local network scanning in Go☆37Updated 6 years ago
- A brookshear virtual machine written in Go☆10Updated 5 years ago
- Lightweight Cryptographic Framework for Internet of Drones☆17Updated 6 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- This project aims to provide a uniform representation for the data of ELF and PE binary executables.☆9Updated 6 years ago
- Snowman decompiler☆13Updated 2 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
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated last month
- ☆10Updated 4 years ago
- Go to Python converter -- translates Go code into Python code☆13Updated 3 years ago