Alternatives and similar repositories for JMCR:

Users that are interested in JMCR are comparing it to the libraries listed below

• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 7 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last week
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• ksen007 / calfuzzer
  ☆24Updated 9 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• vaibhavbsharma / java-ranger
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆13Updated 2 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated this week
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆39Updated 2 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆237Updated 4 months ago
• vlab-cs-ucsb / ABC
  ☆27Updated last week
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆83Updated this week
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated 4 months ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆35Updated last month
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 2 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 4 months ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆25Updated 3 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated this week
• ucla-pls / jreduce
  JReduce is a tool to reduce Java ByteCode
  ☆12Updated 3 years ago
• wala / ML
  ☆26Updated last week
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆98Updated 2 years ago
• yixin-09 / AutoRNP
  AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
  ☆11Updated 6 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 3 months ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆46Updated 2 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆187Updated last year