Awesome GitHub RepositoriesAnalysis Exclusion Annotations

Periphery ist ein statisches Analysetool und ein Detektor für toten Code in Swift-Projekten. Es identifiziert nicht referenzierte Klassen, Structs, Funktionen und Eigenschaften und dient als API-Oberflächen-Optimierer, um öffentliche Deklarationen zu finden, die auf internen Zugriff beschränkt werden können. Das Tool umfasst spezialisierte Scans für Interface-Builder-Dateien wie Storyboards und XIBs, um sicherzustellen, dass UI-verknüpfte Elemente nicht fälschlicherweise als ungenutzt markiert werden. Es bietet zudem eine automatisierte Code-Bereinigung, um identifizierten toten Code und ungenutzte Parameter direkt aus den Quelldateien zu entfernen. Die Analysefunktionen decken die Erkennung redundanter Protokolle, ungenutzter Enum-Cases, unnötiger Imports und Eigenschaften, die nur zugewiesen, aber nie gelesen werden, ab. Das System verwaltet technische Schulden durch Baseline-Vergleichsfilter und unterstützt Projekte mit gemischten Sprachen, indem es Symbole bewahrt, die für die Objective-C-Runtime exponiert sind. Periphery lässt sich über YAML-basierte Konfigurationen in Build-Systeme und CI-Pipelines integrieren und kann Analyseergebnisse in mehreren Industriestandard-Formaten exportieren.

NullAway 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.