whitequark / superlinkerLinks
a tool for reinterpreting ELF executables and shared libraries
☆345Updated last year
Alternatives and similar repositories for superlinker
Users that are interested in superlinker are comparing it to the libraries listed below
Sorting:
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆341Updated last week
- Pair your compilers up at The ABI Cafe!☆286Updated 7 months ago
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆492Updated this week
- Patch Linux executables for compatibility with older glibc☆415Updated last year
- A Brainfuck interpreter embedded inside DWARF debug information☆40Updated last year
- The Xr0 Verifier for C☆208Updated 9 months ago
- A detour through the Linux dynamic linker☆520Updated 6 months ago
- Explore ELF objects through the power of SQL☆265Updated last year
- Inspect and dissect an ELF file with pretty formatting.☆117Updated last year
- Write any bash with only the punctuation characters☆88Updated last year
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆98Updated 3 months ago
- A portable self-bootstrapping C compiler☆198Updated this week
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 11 months ago
- AOT binary translator of Linux/ELF → WebAssembly☆382Updated this week
- A stupid Rust memory allocator☆196Updated 11 months ago
- ☆433Updated 2 weeks ago
- A simple example with Rust and Cosmopolitan Libc☆206Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆217Updated last week
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆157Updated last week
- Wasm Analysis Framework For Lightweight Experiments☆54Updated 7 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆104Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- A low-level virtualization interface for Linux-based systems using WebAssembly☆175Updated 3 weeks ago
- Self contained, fully static llvm tools & libs☆364Updated 2 years ago
- A fast framework for writing baseline compiler back-ends in C++☆620Updated 2 weeks ago
- Hiding messages in x86 programs using semantic duals☆317Updated last week
- Modeling futexes in TLA+☆20Updated last year
- Repository hosting unofficial binary pack files for many commits of LLVM☆144Updated 2 years ago
- playing with DDR DRAM bus fault injection☆94Updated last year
- QEMU for Rust, and Rust for QEMU☆90Updated last month