tweag / clodl
Turn dynamically linked ELF binaries and libraries into self-contained closures.
☆174Updated 10 months ago
Alternatives and similar repositories for clodl:
Users that are interested in clodl are comparing it to the libraries listed below
- Filesystem access tracer☆83Updated 7 months ago
- A simple program reducer for any language.☆73Updated last year
- Repository hosting unofficial binary pack files for many commits of LLVM☆138Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- Sandboxing for GNU Make has never been easier☆238Updated 2 years ago
- Load-time selective binary rewriting☆157Updated 2 years ago
- Poireau: a sampling allocation debugger☆87Updated 3 years ago
- Symbolic formula representation and solver interaction library☆158Updated 2 weeks ago
- Build Systems à la Carte☆251Updated 9 months ago
- A tool for analyzing x86-64 binaries.☆317Updated 6 months ago
- Linux system calls.☆213Updated 5 years ago
- A practical interface generator for data formats.☆127Updated 4 years ago
- ALLVM Tools☆56Updated 3 years ago
- Forward build system with speculation and caching☆104Updated last year
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆63Updated 4 years ago
- A static parser for POSIX Shell☆194Updated last year
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- A "living" Linux process with no memory☆342Updated 4 years ago
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆144Updated 3 years ago
- A framework for instrumenting build tools☆89Updated 4 months ago
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆204Updated 4 months ago
- A simple LD_PRELOAD library to disable SSL certificate verification. Inspired by libeatmydata.☆179Updated 6 years ago
- A compiler frontend for the C programming language☆543Updated last week
- Record process launches and files read and written by each process☆60Updated 4 months ago
- Super-parallel Python port of the C-Reduce☆279Updated 2 weeks ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆33Updated last year
- The latest development version of rose. It may not pass all regression tests.☆107Updated 5 years ago