PVS-Studio realiza un análisis de código estático y genera un informe que ayuda al programador a encontrar y corregir errores. PVS-Studio realiza una amplia gama de comprobaciones de código, también es útil para buscar errores tipográficos y errores de copiar y pegar. Ejemplos de tales errores: V501, V517, V522, V523, V3001.
El valor principal del análisis estático está en su uso regular, de modo que los errores se identifiquen y corrijan en las primeras etapas. No tiene sentido perder 50 horas buscando un error que se pueda encontrar con un análisis estático. Entonces, señalemos eso nuevamente: la idea principal del análisis estático no es encontrar un error oculto el día anterior al lanzamiento, sino corregir docenas de errores día a día.
El analizador se puede ejecutar por la noche en el servidor y advertir sobre fragmentos de código sospechosos. Idealmente, estos errores pueden detectarse y corregirse antes de ingresar al repositorio. PVS-Studio se puede iniciar automáticamente inmediatamente después del compilador para los archivos que se acaban de modificar.
PVS-Studio puede integrarse en el entorno de desarrollo de Visual Studio 2010-2017. Si usa este IDE, lo más probable es que solo tenga que ir al menú del complemento PVS-Studio y elegir "Verificar proyecto actual".
Características principales de PVS-Studio
Integración simple y perfecta con Visual Studio 2010-2017
Análisis automático de archivos individuales después de su recompilación
Guía de referencia en línea sobre todos los diagnósticos disponibles en el programa, en el sitio web y documentación (presentada como un archivo .pdf) Hasta 550 páginas de documentación
Guardar y cargar los resultados del análisis permite realizar comprobaciones durante la noche: durante la noche, el analizador realiza el escaneo y le proporciona los resultados por la mañana.
Puede guardar los resultados del análisis como HTML con navegación de código fuente completa.
El análisis del proyecto se ejecuta desde la línea de comandos: ayuda a integrar PVS-Studio en compilaciones nocturnas; se emitirá un nuevo registro en la mañana.
Gran escalabilidad Soporte de sistemas multinúcleo y multiprocesador con la posibilidad de especificar el número de núcleos a utilizar; Soporte de IncrediBuild.
Filtrado interactivo de los resultados del análisis (el archivo de registro) en la ventana de PVS-Studio: por número de diagnóstico, nombre de archivo, palabra clave en el texto del diagnóstico.
Verificación automática de actualizaciones de PVS-Studio (durante el trabajo en IDE y durante la noche).
Utilidad BlameNotifier. La herramienta le permite enviar notificaciones por correo electrónico a los desarrolladores sobre errores que PVS-Studio encontró durante una ejecución nocturna.
Lenguajes y compiladores admitidos
Windows. Visual Studio, C, C++, C++/CLI, C++/CX (WinRT)
Windows. IAR Embedded Workbench, C/C++ Compiler for ARM C, C++
Windows. QNX Momentics, QCC C, C++
Windows/Linux. Keil µVision, DS-MDK, ARM Compiler 5/6 C, C++
Windows/Linux. Texas Instruments Code Composer Studio, ARM Code Generation Tools C, C++
Windows/Linux/macOS. GNU Arm Embedded Toolchain, Arm Embedded GCC compiler, C, C++
Windows/Linux/macOS. Qt Creator, Eclipse, GCC, Clang, C, C++
File Info
Official Website : www.viva64.com/en/pvs-studio
Password : sbz
- Código:
-
https://send.cm/p155w3hj0dsk
https://app.box.com/s/no6gu3ckrqb9269r23tmd63smyq9wyb3