stephenrkell / elftin
Rag-bag of utilities and scripts that do strange things with ELF files
☆17Updated last month
Alternatives and similar repositories for elftin:
Users that are interested in elftin are comparing it to the libraries listed below
- ☆55Updated 4 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆29Updated 5 years ago
- Sled System Emulator☆28Updated 2 months ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Updated 5 years ago
- Purgeable memory allocations for Linux☆30Updated 5 years ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆33Updated last year
- WIP UEFI Display Driver for embedded-graphics☆24Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆29Updated 6 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆11Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 3 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 5 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆41Updated 8 months ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Modeling futexes in TLA+☆20Updated 6 months ago
- gcc wrapper and libc for creating tiny (200-byte) Linux i386 executables☆15Updated 2 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- A simple library focusing on demangling symbols for different programing languages☆43Updated 4 years ago
- Elven relativism -- relocation and execution of aarch64 ELF relocatable objects (ET_REL)☆20Updated last week
- Convert ELF executables to DOS executables☆32Updated 5 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆26Updated 7 years ago
- Snowman decompiler☆13Updated 2 years ago
- An x86-64 instruction decoder.☆16Updated last year
- ☆13Updated 3 years ago