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
- The Xr0 Verifier for C☆208Updated 9 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆40Updated last year
- Patch Linux executables for compatibility with older glibc☆415Updated last year
- 🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell☆492Updated this week
- A detour through the Linux dynamic linker☆520Updated 6 months ago
- Inspect and dissect an ELF file with pretty formatting.☆117Updated 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
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 11 months ago
- Hiding messages in x86 programs using semantic duals☆317Updated last week
- AOT binary translator of Linux/ELF → WebAssembly☆382Updated this week
- Explore ELF objects through the power of SQL☆265Updated last year
- Write any bash with only the punctuation characters☆88Updated last year
- A stupid Rust memory allocator☆196Updated 11 months ago
- A portable self-bootstrapping C compiler☆198Updated this week
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆104Updated last week
- ☆336Updated last month
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆128Updated 2 years ago
- x86 decoders for the yaxpeax project☆146Updated 4 months ago
- A simple example with Rust and Cosmopolitan Libc☆206Updated 2 years ago
- Library and binaries for the reading, creating, and modification of SquashFS file systems☆157Updated last 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☆172Updated 3 weeks ago
- A library to assist writing memory-unsafe code in "pure" python, without any imports (i.e. no ctypes etc.)☆231Updated last year
- ☆433Updated 2 weeks ago
- Hacking around lack of WebUSB support in Firefox☆251Updated 10 months ago
- Wasm Analysis Framework For Lightweight Experiments☆54Updated 7 months ago
- Writing a hypervisor in 1,000 lines.☆295Updated 4 months ago
- QEMU for Rust, and Rust for QEMU☆89Updated last month