CodeLaser

CodeLaser/maddi

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

5 good first / help-wanted issues · Java · last activity Aug 4, 2026

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
CodeLaser/maddi
0

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
CodeLaser/maddi
0

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
CodeLaser/maddi
0

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
CodeLaser/maddi
0

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
CodeLaser/maddi
0

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