tweag / clodl
Turn dynamically linked ELF binaries and libraries into self-contained closures.
☆171Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for clodl
- Filesystem access tracer☆81Updated 2 months 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.☆101Updated 2 months ago
- Explore ELF objects through the power of SQL☆252Updated 3 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- Poireau: a sampling allocation debugger☆86Updated 2 years ago
- Load-time selective binary rewriting☆152Updated 2 years ago
- Dynamic runtime inlining with LLVM☆65Updated 3 years ago
- Patch Linux executables for compatibility with older glibc☆171Updated 3 weeks ago
- A tool for analyzing x86-64 binaries.☆305Updated last month
- A simple program reducer for any language.☆73Updated last year
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆113Updated last year
- A repository that collects glibc .abilist files for every version and a tool to combine them into one dataset.☆167Updated last month
- A practical interface generator for data formats.☆127Updated 4 years ago
- Shrinkray is a modern multi-format test-case reducer☆94Updated last month
- Linux system calls.☆213Updated 5 years ago
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆218Updated this week
- ☆588Updated 8 months ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆32Updated 10 months ago
- A "living" Linux process with no memory☆342Updated 4 years ago
- Forward build system with speculation and caching☆102Updated last year
- an extensible stack based interpreter toolkit☆66Updated 3 years ago
- a toy jvm in awk☆164Updated 3 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- Hash-based Diffing for AST's☆75Updated 4 years ago
- Query C++ codebases using SQLite☆188Updated 2 years ago
- A FUSE-based fault injection filesystem.☆176Updated 7 months ago
- An experiment in controlling the size of a thread pool using a PID controller.☆116Updated last year