Our great sponsors
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
I also didn't find anything about open-sourcing. Their other checker, infer, which is mentioned in this post, is open source and can analyze Java: https://github.com/facebook/infer At this point there are so many open-source nullness checkers that it doesn't matter a lot if they also open-source this one. The important takeaway for me is that using such a tool has a real, measurable benefit, and that there's a crucial standardization effort at https://jspecify.dev/
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.