Alternatives and similar repositories for strata-data

Users that are interested in strata-data are comparing it to the libraries listed below

• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆60Updated last week
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 8 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• intelxed / mbuild
  python-based build system used for building XED
  ☆31Updated 8 months ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated last year
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 6 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆44Updated 9 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• mc-imperial / shader-compiler-bugs
  A collection of shader compiler bugs.
  ☆49Updated 7 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆56Updated 9 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆14Updated 8 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆46Updated 7 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• intel / satt
  ☆74Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• formalmethods / smtlectures
  A collection of slides of the SMT course I held at University of Milan in fall 2011
  ☆9Updated 10 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆23Updated 10 years ago
• bx / elf-bf-tools
  ☆112Updated 11 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 2 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆70Updated 8 years ago