Alternatives and similar repositories for clodl:

Users that are interested in clodl are comparing it to the libraries listed below

• jacereda / fsatrace
  Filesystem access tracer
  ☆83Updated 5 months ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆211Updated 5 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• elfshaker / manyclangs
  Repository hosting unofficial binary pack files for many commits of LLVM
  ☆136Updated last year
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆117Updated 2 years ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆252Updated 6 months ago
• solidsnack / arx
  Bundles code and a job to run for local or remote execution.
  ☆186Updated 2 weeks ago
• richfelker / usand
  usand - convenient and minimal unshare(1)-based sandbox
  ☆62Updated 4 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆311Updated 4 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆265Updated this week
• backtrace-labs / slitter
  Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…
  ☆143Updated 3 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆87Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆156Updated last week
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆155Updated 2 years ago
• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆219Updated 5 years ago
• edolstra / dwarffs
  A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
  ☆203Updated 2 months ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 7 years ago
• bazelbuild / sandboxfs
  A virtual file system for sandboxing
  ☆376Updated 10 months ago
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆259Updated 3 years ago
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆29Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• snowleopard / build
  Build Systems à la Carte
  ☆251Updated 7 months ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 4 years ago
• ligurio / unreliablefs
  A FUSE-based fault injection filesystem.
  ☆178Updated 10 months ago
• iximeow / yaxpeax-x86
  x86 decoders for the yaxpeax project
  ☆135Updated 7 months ago
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆232Updated 2 years ago