Whole-program static analyzer that computes immutability, modification and independence for Java and Kotlin.

0 stars 0 forks 0 watchers Java GNU Lesser General Public License v3.0
annotations dataflow-analysis immutability java javac kotlin program-analysis static-analysis
5 Open Issues Need Help Last updated: Aug 4, 2026

Open Issues Need Help

View All on GitHub

Whole-program static analyzer that computes immutability, modification and independence for Java and Kotlin.

Java
#annotations#dataflow-analysis#immutability#java#javac#kotlin#program-analysis#static-analysis
documentation good first issue

Whole-program static analyzer that computes immutability, modification and independence for Java and Kotlin.

Java
#annotations#dataflow-analysis#immutability#java#javac#kotlin#program-analysis#static-analysis
good first issue build/ci

Whole-program static analyzer that computes immutability, modification and independence for Java and Kotlin.

Java
#annotations#dataflow-analysis#immutability#java#javac#kotlin#program-analysis#static-analysis
documentation good first issue

Whole-program static analyzer that computes immutability, modification and independence for Java and Kotlin.

Java
#annotations#dataflow-analysis#immutability#java#javac#kotlin#program-analysis#static-analysis
documentation good first issue

Whole-program static analyzer that computes immutability, modification and independence for Java and Kotlin.

Java
#annotations#dataflow-analysis#immutability#java#javac#kotlin#program-analysis#static-analysis