"Over the course of two years, we developed Nullsafe, a static analyzer for detecting NPE errors in Java, integrated it into the core developer workflow, and ran a large-scale code transformation to make many million lines of Java code Nullsafe-compliant."
@jw I didn't see a link to use this externally :(
Checkerframework is nice, but it performs badly with my sum types to the point that it's unusable.
@heathborders I've only ever used NullAway from Uber back when I was doing Java. We still have it in some of our open source projects that are Java. Hopefully it'll be open source eventually. At the very least, there will be many JSpecify-compliant tools soon enough.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!