2 dépôts
Inline source code comments used to instruct static analysis tools to ignore specific symbols.
Distinct from Code Commenting: Focuses on tool-directives for analysis exclusion rather than general human-readable documentation comments.
Explore 2 awesome GitHub repositories matching programming languages & runtimes · Analysis Exclusion Annotations. Refine with filters or upvote what's useful.
Periphery est un outil d'analyse statique et de détection de code mort pour les projets Swift. Il identifie les classes, structs, fonctions et propriétés non référencées, et sert d'optimiseur de surface d'API pour trouver les déclarations publiques qui peuvent être restreintes à un accès interne. L'outil inclut une analyse spécialisée pour les fichiers Interface Builder, tels que les storyboards et les XIB, afin de garantir que les membres connectés à l'UI ne soient pas signalés à tort comme inutilisés. Il fournit également une suppression automatique de code pour éliminer directement des fichiers source le code mort identifié et les paramètres inutilisés. Ses capacités d'analyse couvrent la détection de protocoles redondants, de cas d'enum inutilisés, d'imports inutiles et de propriétés assignées mais jamais lues. Le système gère la dette technique via un filtrage par comparaison de base de référence et prend en charge les projets mixtes en préservant les symboles exposés au runtime Objective-C. Periphery s'intègre aux systèmes de build et aux pipelines CI via une configuration basée sur YAML et peut exporter les résultats d'analyse dans plusieurs formats standards de l'industrie.
Supports inline source code annotations to manually instruct the analyzer to ignore specific symbols or files.
NullAway is a Java static analysis tool and build-time detector designed to identify null pointer risks. It functions as a nullability checker that uses annotations to verify that references are not null before they are dereferenced, preventing runtime crashes. The analyzer implements the JSpecify standard to ensure consistent nullability annotations across different Java libraries. It distinguishes itself through the use of a service provider interface to model the nullability behavior of third-party libraries that lack source annotations and by providing specialized support for Lombok-gener
Prevents specific classes or generated code from being analyzed for nullability.