UnitTestBot / jacodbLinks
fast and effective way to access and analyze java bytecode
☆31Updated this week
Alternatives and similar repositories for jacodb
Users that are interested in jacodb are comparing it to the libraries listed below
Sorting:
- A platform for analysis of Java bytecode☆33Updated 10 months ago
- Kotlin/Java API for various SMT solvers☆31Updated 3 months ago
- Automated unit test generation and precise code analysis for Java☆141Updated 2 weeks ago
- A Tool for Mining Rich Abstract Syntax Trees from Code☆58Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆115Updated 3 weeks ago
- A dynamic symbolic analysis tool for Java☆121Updated 6 years ago
- A framework for the large scale analysis of programming language usage.☆28Updated 2 years ago
- A tool to help adapting code bases to NullAway type system.☆17Updated last month
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated last month
- ☆65Updated this week
- Static checker for Java☆87Updated 7 months ago
- A new version of Soot with a completely overhauled architecture☆727Updated this week
- The official repo of Doop, the declarative pointer analysis framework.☆183Updated 2 months ago
- A suite of tools for analyzing compiled Java code.☆48Updated 3 weeks ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆707Updated 3 months ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last month
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆108Updated last year
- Pluggable type-checking for Java☆23Updated last week
- Litmus testing tool for Kotlin/Native (WIP)☆11Updated 4 months ago
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- Analyse package dependency networks at the call graph level☆95Updated last year
- IFDS/IDE Solver for Soot and other frameworks☆251Updated 2 years ago
- Young and dynamic build system for Python☆21Updated 2 years ago
- TurnKey artifact for Z3☆39Updated this week
- Symbolic PathFinder☆156Updated this week
- Examples on how to use the Spoon Java source code transformation library☆90Updated 2 years ago
- JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…☆577Updated 2 weeks ago
- The project is not actively supported.☆57Updated 3 years ago
- Kotlin data bindings for the Static Analysis Results Interchange Format (SARIF)☆20Updated last week