Introducción al analizador estático PVS-Studio para Visual C #

PVS-Studio es una herramienta para detectar errores de software y vulnerabilidades potenciales en el código fuente del software escrito en C, C ++, C # y Java. El analizador se ejecuta en Windows, Linux y macOS.

Cuadro 4

Para poder trabajar con Visual C #, el analizador se integra en Visual Studio como un complemento. Esto le permite utilizar la interfaz de Visual Studio para personalizar la configuración del analizador, verificar rápida y fácilmente archivos, proyectos y soluciones individuales, y también para manejar informes de PVS-Studio.

Los requisitos de hardware para este modo son los mismos que los del IDE de Visual Studio en el que trabaja.

El instalador de PVS-Studio se puede descargar aquí . La página de descarga también ofrece varios modos de uso diferentes, incluido el modo de prueba. Consulte la guía de compra para obtener detalles sobre la licencia.

Para instalar el complemento, ejecute el instalador PVS-Studio y marque las versiones deseadas de Visual Studio:

Imagen 1

El analizador está listo para ejecutarse inmediatamente después de la instalación.

Ejecute Visual Studio, abra su proyecto, haga clic en el menú principal "Extensiones" y luego en el submenú "PVS-Studio" (en las versiones de Visual Studio anteriores a 2019, el menú "PVS-Studio" se coloca directamente en la barra de menú).

Aparecerá un menú desplegable con todas las funciones del complemento disponibles para su uso.

Para verificar la solución completa, haga clic en el submenú "Verificar" y luego en "Solución". El analizador comenzará a prepararse para la verificación:

Imagen 2

Después de eso, comienza el proceso de análisis:

Cuadro 3

Incluso antes de que termine la verificación, las advertencias comenzarán a aparecer en el informe (ventana PVS-Studio) a medida que se ejecuta el analizador, por lo que puede comenzar a examinar los fragmentos de código respectivos de inmediato. Hacer doble clic en una advertencia lo llevará al fragmento de código correspondiente en el editor de Visual Studio, con líneas sospechosas resaltadas:

Cuadro 7

Al hacer clic en el enlace de un número de diagnóstico (por ejemplo, V3095 ) en la ventana de PVS-Studio, accederá a la documentación de ese diagnóstico, donde podrá conocer los detalles y las formas de corregir errores que detecta.

Puede guardar los resultados del análisis para estudiarlos más tarde. Para hacerlo, abra el menú "Extensiones", luego "PVS-Studio" -> "Abrir / Guardar" -> "Guardar informe de análisis" (en las versiones de Visual Studio anteriores a 2019, el menú "PVS-Studio" se coloca a la derecha en la barra de menú).

Seguimos trabajando para mejorar nuestro analizador C #. Como una de las últimas innovaciones, agregamos compatibilidad con los tipos de referencia anulables para el estándar C # 8.0.

Para obtener más información sobre las características del complemento PVS-Studio de Windows, consulte el artículo "Conocer el analizador de código estático PVS-Studio en Windows ".

También puede usar utilidades de línea de comandos para verificar proyectos y soluciones de Visual C #. Este modo de uso está ampliamente cubierto en el artículo " Análisis de proyectos de Visual Studio desde la línea de comandos ".

Finalmente, el artículo " PVS-Studio y la integración continua " explica cómo PVS-Studio se puede utilizar en la inspección experta.

Pruebe PVS-Studio: ¡elimine los errores!

Source: https://habr.com/ru/post/460935/


All Articles