Alternatives and similar repositories for opal-backup

Users that are interested in opal-backup are comparing it to the libraries listed below

• osl / jcute
  Java Concolic Unit Testing Engine
  ☆92Updated 11 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆115Updated 3 weeks ago
• opalj / opal
  ☆65Updated this week
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆121Updated 6 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 9 years ago
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆95Updated last year
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆99Updated 9 months ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated last month
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆33Updated 2 years 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…
  ☆160Updated last month
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆94Updated 3 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆229Updated 2 weeks ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆67Updated last month
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆55Updated last year
• Sable / jasmin
  ☆97Updated 3 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆97Updated 4 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆101Updated 10 months ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 4 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆169Updated last week
• jfager / jdiscript
  A simple scripting frontend for the Java Debugger Interface
  ☆58Updated 5 years ago
• secure-software-engineering / sootdiff
  SootDiff - Bytecode Comparison Across Different Java Compilers
  ☆18Updated last year
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated this week
• timtadh / jpdg
  generate program dependence graphs for java programs.
  ☆25Updated 7 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 10 years ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆31Updated last week
• jayhorn / jayhorn
  Static checker for Java
  ☆87Updated 7 months ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆41Updated last year
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 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…
  ☆26Updated 3 years ago