Alternatives and similar repositories for jacodb

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

• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆32Updated 9 months ago
• UnitTestBot / UTBotJava
  Automated unit test generation and precise code analysis for Java
  ☆139Updated last year
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 2 months ago
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆27Updated 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…
  ☆156Updated last week
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆107Updated last year
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆48Updated last week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆38Updated this week
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆120Updated 6 years ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆67Updated 2 years ago
• ucr-riple / NullAwayAnnotator
  A tool to help adapting code bases to NullAway type system.
  ☆14Updated last week
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆14Updated 2 weeks ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆112Updated last week
• opalj / opal
  ☆63Updated last week
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆21Updated this week
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆10Updated 2 months ago
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆58Updated last year
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆112Updated this week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated last week
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆58Updated last week
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 6 months ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆89Updated 11 years ago
• seart-group / java-tree-sitter
  Java bindings for tree-sitter
  ☆47Updated this week
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated last month
• SpoonLabs / spoon-examples
  Examples on how to use the Spoon Java source code transformation library
  ☆89Updated 2 years ago
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆180Updated 2 months ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆167Updated last week
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated 7 months ago
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆95Updated last year