Repository Index

Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

• javaparser
• parser
• java
• javadoc

Android virtual machine and deobfuscator

• deobfuscation
• java
• optimization
• android

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

• java
• static-analysis
• android
• nullability

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

• jitwatch
• java
• javafx
• hotspot-jit-compiler

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

• findbugs
• java
• security-audit
• owasp

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

• code-analysis
• code-transformation
• metaprogramming
• code-generation

Esper Complex Event Processing, Streaming SQL and Event Series Analysis

• cep
• complex-event-processing
• open-source
• compiler

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Error Prone extensions: extra bug checkers and a large battery of Refaster rules.

• java
• static-analysis
• abstract-syntax-tree
• ast

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

JVM runtime execution analysis - finds hot code paths by frequency, not CPU time

• asm
• bytecode
• code-coverage
• java