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 7 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆254Updated 7 months ago
• elfshaker / manyclangs
  Repository hosting unofficial binary pack files for many commits of LLVM
  ☆136Updated last year
• matheusmoreira / liblinux
  Linux system calls.
  ☆211Updated 5 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• orivej / fptrace
  Record process launches and files read and written by each process
  ☆60Updated 3 months ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 2 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆87Updated 3 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆317Updated 5 months ago
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆236Updated 2 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆156Updated 2 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆266Updated this week
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆84Updated 2 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆343Updated 4 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 6 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆117Updated 2 years ago
• 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
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• corsix / polyfill-glibc
  Patch Linux executables for compatibility with older glibc
  ☆201Updated 4 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• DavidBuchanan314 / libleakmydata
  A simple LD_PRELOAD library to disable SSL certificate verification. Inspired by libeatmydata.
  ☆176Updated 6 years ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 8 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago