uw-unsat / jitsynth

Related projects ⓘ

Alternatives and complementary repositories for jitsynth

• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated last month
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆12Updated 4 years ago
• xiw / arithcc
  ☆13Updated 4 years ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆51Updated last year
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆48Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 2 months ago
• cverified / cbench
  A benchmark for C program verification
  ☆15Updated 9 months ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 6 years ago
• yihozhang / relational-ematching-benchmark
  ☆15Updated 2 years ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 2 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆36Updated this week
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 4 months ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago