-
checker-framework Public
Forked from typetools/checker-frameworkPluggable type-checking for Java
Java Other UpdatedSep 13, 2025 -
-
-
-
NullAway Public
Forked from uber/NullAwayA tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Java MIT License UpdatedSep 22, 2024 -
ProgramAnalysis Public
Different types of program analysis code that I've tried implementing
Makefile UpdatedMar 2, 2023