2 repositorios
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 es una herramienta de análisis estático y detección de código muerto para proyectos Swift. Identifica clases, structs, funciones y propiedades sin referencias, y actúa como un optimizador de la superficie de API para encontrar declaraciones públicas que pueden restringirse a acceso interno. La herramienta incluye un escaneo especializado para archivos de Interface Builder, como storyboards y XIBs, para asegurar que los miembros conectados a la UI no sean marcados incorrectamente como no utilizados. También proporciona eliminación automática de código para eliminar código muerto y parámetros no utilizados directamente de los archivos fuente. Sus capacidades de análisis cubren la detección de protocolos redundantes, casos de enum no utilizados, importaciones innecesarias y propiedades que solo se asignan. El sistema gestiona la deuda técnica mediante filtrado de comparación de línea base y soporta proyectos en lenguajes mixtos preservando los símbolos expuestos al runtime de Objective-C. Periphery se integra con sistemas de compilación y pipelines de CI utilizando configuración basada en YAML y puede exportar los resultados del análisis en múltiples formatos estándar de la industria.
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.