Alternatives and similar repositories for AlloyAnalyzer

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

• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated last month
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 3 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆70Updated 8 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 12 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 11 months ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆55Updated last year
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 9 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆97Updated 4 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆55Updated last week
• yuejia / Milu
  A higher order mutation testing tool
  ☆58Updated 4 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆44Updated 10 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆27Updated 3 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆116Updated 2 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago
• emmatyping / clang
  Unofficial Python bindings to libclang
  ☆26Updated 5 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆102Updated 5 years ago
• coccinelle / coccinellery
  ☆113Updated last year
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago