tweag / clodlLinks
Turn dynamically linked ELF binaries and libraries into self-contained closures.
☆178Updated last year
Alternatives and similar repositories for clodl
Users that are interested in clodl are comparing it to the libraries listed below
Sorting:
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Filesystem access tracer☆84Updated 9 months ago
- Repository hosting unofficial binary pack files for many commits of LLVM☆138Updated last year
- Explore ELF objects through the power of SQL☆256Updated 10 months ago
- Poireau: a sampling allocation debugger☆97Updated 3 years ago
- Sandboxing for GNU Make has never been easier☆239Updated 2 years ago
- Linux system calls.☆215Updated 5 years ago
- Load-time selective binary rewriting☆158Updated 2 years ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 9 months ago
- A simple program reducer for any language.☆73Updated 2 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- Forward build system with speculation and caching☆106Updated last year
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆146Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Process-independent interface to Linux system calls☆70Updated 2 years ago
- Record process launches and files read and written by each process☆60Updated 6 months ago
- ALLVM Tools☆56Updated 3 years ago
- Symbolic formula representation and solver interaction library☆161Updated this week
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆34Updated last year
- A FUSE-based fault injection filesystem.☆180Updated last year
- Self contained, fully static llvm tools & libs☆351Updated 2 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆65Updated 4 years ago
- Working draft of nextgen malloc implementation for musl libc☆119Updated 4 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- A framework for instrumenting build tools☆89Updated this week
- A tool for analyzing x86-64 binaries.☆321Updated 8 months ago
- Query C++ codebases using SQLite☆187Updated 3 years ago