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
  ☆71Updated 9 years ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 9 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• intelxed / mbuild
  python-based build system used for building XED
  ☆31Updated 8 months ago
• mc-imperial / shader-compiler-bugs
  A collection of shader compiler bugs.
  ☆49Updated 7 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆46Updated 7 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 2 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆61Updated 3 weeks ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆42Updated last year
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 4 months ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆56Updated 9 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
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆44Updated 9 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆71Updated 8 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 8 years ago
• intel / satt
  ☆74Updated 2 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆65Updated 6 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• 0x2Adr1 / gcov
  gnu gcov like tool
  ☆12Updated 10 years ago
• xorpd / fcatalog_server
  Functions Catalog
  ☆28Updated 6 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 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
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• bx / elf-bf-tools
  ☆112Updated 11 years ago
• BinaryAnalysisPlatform / bap-veri
  bil verification tool
  ☆12Updated 3 years ago