Awesome GitHub RepositoriesAnalysis Exclusion Annotations

Periphery is a static analysis tool and dead code detector for Swift projects. It identifies unreferenced classes, structs, functions, and properties, and serves as an API surface optimizer to find public declarations that can be restricted to internal access. The tool includes specialized scanning for Interface Builder files, such as storyboards and XIBs, to ensure UI-connected members are not incorrectly flagged as unused. It also provides automated code removal to eliminate identified dead code and unused parameters directly from source files. Its analysis capabilities cover the detection

NullAway 是一个 Java 静态分析工具和构建时检测器，旨在识别空指针风险。它作为一个可空性检查器，使用注解来验证引用在解引用前是否为空，从而防止运行时崩溃。 该分析器实现了 JSpecify 标准，以确保不同 Java 库之间的一致性可空性注解。它通过使用服务提供者接口（SPI）来建模缺乏源码注解的第三方库的可空性行为，并为 Lombok 生成的代码提供专门支持，从而脱颖而出。 该工具涵盖了广泛的安全强制执行能力，包括针对方法重写进行 Java API 合约验证，以及检测空 Optional 值获取。其分析范围扩展到包级别的可空性标记，并支持从分析中排除生成的源码。