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 9 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆158Updated 2 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆318Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆161Updated 2 months ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆214Updated 5 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆273Updated this week
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆224Updated this week
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆321Updated 7 months ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆106Updated last year
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆238Updated 2 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated 2 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 8 months ago
• elfshaker / manyclangs
  Repository hosting unofficial binary pack files for many commits of LLVM
  ☆138Updated last year
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆96Updated 3 years ago
• nixcloud / ip2unix
  Turn IP sockets into Unix domain sockets
  ☆367Updated 10 months ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated 6 months ago
• orivej / fptrace
  Record process launches and files read and written by each process
  ☆60Updated 5 months ago
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆546Updated last week
• jbangert / nail
  A practical interface generator for data formats.
  ☆127Updated 4 years ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 2 years ago
• bolinfest / opensnoop-native
  opensnoop in pure C using eBPF
  ☆100Updated last month
• stephenrkell / libdlbind
  Dynamic creation and update of ELF files, or: an allocator for JIT compilers
  ☆33Updated last year
• DavidBuchanan314 / libleakmydata
  A simple LD_PRELOAD library to disable SSL certificate verification. Inspired by libeatmydata.
  ☆179Updated 6 years ago
• revng / llvmcpy
  Python bindings for LLVM auto-generated from the LLVM-C API
  ☆222Updated last month
• 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…
  ☆146Updated 3 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated 11 months ago