UnitTestBot / jacodb
fast and effective way to access and analyze java bytecode
☆20Updated this week
Related projects: ⓘ
- Kotlin/Java API for various SMT solvers☆28Updated last month
- Automated unit test generation and precise code analysis for Java☆132Updated 3 months ago
- A platform for analysis of Java bytecode☆27Updated 3 weeks ago
- Young and dynamic build system for Python☆20Updated last year
- A framework for the large scale analysis of programming language usage.☆24Updated last year
- Universal test framework for cli tools [mainly for code analyzers and compilers]☆42Updated this week
- The project is not actively supported.☆56Updated 2 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- Plugin to find duplicates in source code☆14Updated 6 years ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆99Updated 8 months ago
- A Tool for Mining Rich Abstract Syntax Trees from Code☆56Updated last year
- Static Analyzer for Java Code with Machine Learning in Mind☆51Updated 4 months ago
- ☆18Updated last month
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆28Updated this week
- A python library to build graphs for programs written in different programming languages.☆11Updated 2 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆12Updated 2 weeks ago
- Software testing optimization tool☆26Updated 7 months ago
- A program slicer for Java, based on the system dependence graph (SDG).☆54Updated last year
- A multi-language tokenizer for extracting identifiers from source code.☆24Updated 2 years ago
- Java* Fuzzer for Android*☆33Updated 6 years ago
- A curated list of standards, tests and benchmarks that can be used for testing and evaluating dev-tools☆15Updated last year
- A set of extensions to Okio, check out https://saveourtool.github.io/okio-extras/☆12Updated this week
- Open paper reading club @ JetBrains☆35Updated 3 months ago
- Plugin for checking license compatibility in IntelliJ IDEA☆21Updated 2 years ago
- A GitHub Action to check your code with diKTat☆10Updated 8 months ago
- Cluster-based cloud mechanism for running SAVE framework☆38Updated this week
- AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766☆49Updated 2 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆102Updated 5 months ago
- Kotlin data bindings for the Static Analysis Results Interchange Format (SARIF)☆15Updated last week