tweag / clodlLinks
Turn dynamically linked ELF binaries and libraries into self-contained closures.
☆180Updated last year
Alternatives and similar repositories for clodl
Users that are interested in clodl are comparing it to the libraries listed below
Sorting:
- Filesystem access tracer☆84Updated last year
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Explore ELF objects through the power of SQL☆260Updated last year
- Linux system calls.☆216Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- A simple program reducer for any language.☆75Updated 2 years ago
- Process-independent interface to Linux system calls☆70Updated 3 years ago
- A practical interface generator for data formats.☆128Updated 5 years ago
- A "living" Linux process with no memory☆351Updated 5 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 4 years ago
- Record process launches and files read and written by each process☆62Updated 10 months ago
- ALLVM Tools☆56Updated 3 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- Repository hosting unofficial binary pack files for many commits of LLVM☆142Updated 2 years ago
- A FUSE-based fault injection filesystem.☆182Updated last year
- A static parser for POSIX Shell☆196Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Fast tar archiver☆107Updated 3 years ago
- Turn IP sockets into Unix domain sockets☆371Updated last year
- A virtual file system for sandboxing☆395Updated 6 months ago
- Bundles code and a job to run for local or remote execution.☆193Updated 8 months ago
- Incremental backup with strong cryptographic confidentiality baked into the data model.☆130Updated last month
- Forward build system with speculation and caching☆108Updated 2 years ago
- a toy jvm in awk☆164Updated 4 years ago
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆210Updated last month
- A JIT compiler for Brainfuck running on x86_64 UEFI☆87Updated 7 years ago
- Detect what files a program uses and rerun it when they change☆46Updated 3 years ago
- A tool for analyzing x86-64 binaries.☆329Updated last year
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆123Updated 2 years ago
- 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…☆90Updated 3 weeks ago