seart-group / java-tree-sitter
Java bindings for tree-sitter
☆36Updated last week
Alternatives and similar repositories for java-tree-sitter:
Users that are interested in java-tree-sitter are comparing it to the libraries listed below
- Next generation Tree Sitter Java binding.☆79Updated 3 weeks ago
- Java bindings for tree-sitter☆126Updated last year
- tree-sitter API for JVM☆66Updated last year
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆39Updated last month
- Java bindings to the Tree-sitter parsing library☆33Updated last week
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated 2 months ago
- Java grammar for tree-sitter☆168Updated 3 weeks ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆161Updated last month
- fast and effective way to access and analyze java bytecode☆23Updated this week
- A program slicer for Java, based on the system dependence graph (SDG).☆62Updated last year
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Polyglot Extensible Compiler Framework for Java☆109Updated 3 years ago
- A suite of tools for analyzing compiled Java code.☆44Updated this week
- The official repo of Doop, the declarative pointer analysis framework.☆169Updated last month
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆27Updated 9 months ago
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated last month
- ☆26Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆92Updated last week
- Language Server Indexing Format implementation for Java☆34Updated 11 months ago
- Sample project with basic Maven + JavaSymbolSolver set up☆39Updated last month
- The DaCapo benchmark suite☆170Updated 2 weeks ago
- A dynamic symbolic analysis tool for Java☆115Updated 5 years ago
- A tool for finding assumptions on APIs with under-determined specifications.☆46Updated last month
- The highly-optimized fork of ANTLR 4 (see README)☆74Updated 10 months ago
- ☆39Updated this week
- https://openjdk.org/projects/galahad☆24Updated this week
- A tool to help adapting code bases to NullAway type system.☆13Updated this week
- Software testing optimization tool☆28Updated 11 months ago
- JavaCC☆71Updated last year