tweag / clodl
Turn dynamically linked ELF binaries and libraries into self-contained closures.
☆170Updated 3 months ago
Related projects: ⓘ
- Filesystem access tracer☆78Updated 3 weeks ago
- Using z3's never been easier (maybe)☆100Updated 2 years ago
- Repository hosting unofficial binary pack files for many commits of LLVM☆136Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆100Updated last week
- Dynamic runtime inlining with LLVM☆65Updated 2 years ago
- A simple program reducer for any language.☆72Updated last year
- Symbolic formula representation and solver interaction library☆151Updated 2 weeks ago
- Load-time selective binary rewriting☆152Updated 2 years ago
- Explore ELF objects through the power of SQL☆250Updated last month
- Automated generation of provably secure, zero-copy parsers from format specifications☆244Updated 2 weeks ago
- Forward build system with speculation and caching☆102Updated 11 months ago
- Poireau: a sampling allocation debugger☆86Updated 2 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆313Updated 2 years ago
- A tool for analyzing x86-64 binaries.☆303Updated 3 weeks ago
- Linux system calls.☆209Updated 4 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆112Updated last year
- Patch Linux executables for compatibility with older glibc☆159Updated last month
- Hash-based Diffing for AST's☆74Updated 4 years ago
- Shrinkray is a modern multi-format test-case reducer☆86Updated last month
- The Daedalus data description language☆63Updated last month
- A repository that collects glibc .abilist files for every version and a tool to combine them into one dataset.☆166Updated 2 weeks ago
- A framework for instrumenting build tools☆83Updated last month
- Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library m…☆153Updated last year
- Automatic inference of a formal specification of the x86_64 instruction set☆65Updated 8 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
- x86 decoders for the yaxpeax project☆129Updated 2 months ago
- Working draft of nextgen malloc implementation for musl libc☆116Updated 3 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆108Updated 9 months ago
- A static parser for POSIX Shell☆192Updated 8 months ago
- Build Systems à la Carte☆243Updated 2 months ago