Alternatives and similar repositories for llvm-j:

Users that are interested in llvm-j are comparing it to the libraries listed below

• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆54Updated this week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated last week
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 3 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 2 months ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆153Updated last month
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated 2 weeks ago
• wala / ML
  ☆26Updated last week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆224Updated this week
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆110Updated last week
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆23Updated 6 months ago
• ucr-riple / NullAwayAnnotator
  A tool to help adapting code bases to NullAway type system.
  ☆13Updated 2 weeks ago
• SpoonLabs / npefix
  Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…
  ☆14Updated 5 months ago
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆117Updated 5 years ago
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆175Updated last month
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated 6 months ago
• secure-software-engineering / Boomerang
  Demand-Driven Pointer Analysis
  ☆13Updated this week
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 6 months ago
• thufv / Deagle
  ☆18Updated 5 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆71Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated 4 months ago
• opalj / opal
  ☆59Updated last month
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆217Updated this week
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆99Updated 2 years ago