1 Repo
Awesome GitHub RepositoriesOptional Value Validations
Static checks to ensure values are not retrieved from empty optionals without a prior presence check.
Distinct from Empty Value Validations: Specifically targets Optional types rather than general string or collection emptiness
Explore 1 awesome GitHub repository matching software engineering & architecture · Optional Value Validations. Refine with filters or upvote what's useful.
Awesome Optional Value Validations GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- uber/nullaway
uber/NullAway
4,064Auf GitHub ansehenNullAway ist ein statisches Analysetool für Java und ein Build-Time-Detektor, der darauf ausgelegt ist, Null-Pointer-Risiken zu identifizieren. Es fungiert als Nullability-Checker, der Annotationen verwendet, um zu verifizieren, dass Referenzen nicht null sind, bevor sie dereferenziert werden, wodurch Laufzeitabstürze verhindert werden. Der Analysator implementiert den JSpecify-Standard, um konsistente Nullability-Annotationen über verschiedene Java-Bibliotheken hinweg sicherzustellen. Er zeichnet sich durch die Verwendung eines Service-Provider-Interfaces aus, um das Nullability-Verhalten von Drittanbieter-Bibliotheken ohne Quellcode-Annotationen zu modellieren, und bietet spezialisierte Unterstützung für Lombok-generierten Code. Das Tool deckt ein breites Spektrum an Funktionen zur Sicherheitsdurchsetzung ab, einschließlich der Validierung von Java-API-Verträgen für Methoden-Overrides und der Erkennung des Abrufs leerer Optional-Werte. Die Analyseoberfläche erstreckt sich auf die Nullability-Markierung auf Paketebene und die Möglichkeit, generierten Quellcode von der Analyse auszuschließen.
Detects calls to retrieve values from empty optionals unless a presence check is performed first.
Javaandroidjavanullability
