La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Revisar resultados de Polyspace Bug Finder en la interfaz de usuario de Polyspace

Polyspace® Bug Finder™ comprueba código C/C++ en busca de defectos, infracciones de las reglas de codificación y vulnerabilidades de seguridad. Después de ejecutar un análisis, puede abrir y revisar los resultados en la interfaz de usuario de Polyspace.

Este tema muestra cómo revisar algunos resultados de Bug Finder en la interfaz de usuario de Polyspace. La interfaz de usuario de Polyspace está disponible en los productos de escritorio Polyspace Bug Finder y Polyspace Code Prover™.

Archivos de ejemplo

Para seguir los pasos de este tutorial, ejecute Polyspace siguiendo los pasos de Ejecutar Polyspace Bug Finder en el escritorio.

Como alternativa, en la interfaz de usuario de Polyspace, abra los resultados de ejemplo en Help > Examples > Bug_Finder_Example.psprj. Si ya ha cargado los resultados de ejemplo anteriormente y ha realizado cambios, para cargar una nueva copia, seleccione Help > Examples > Restore Default Examples.

Interpretar resultados

Revise cada resultado de Polyspace. Encuentre la causa raíz del problema.

Empiece por la lista de resultados del panel Results List.

  • Si el panel Results List abarca toda la ventana, seleccione Window > Reset Layout > > Results Review.

  • Si no ve una lista plana de resultados, sino que los ve agrupados, en la lista , seleccione None.

Haga clic en el encabezado de la columna Check para ordenar los resultados alfabéticamente. Seleccione uno de los resultados Non-initialized variable.

Consulte el código fuente en el panel Source y obtenga más información sobre el resultado en el panel Result Details.

El panel Result Details también resalta una secuencia de eventos que conduce al resultado. Por ejemplo, para el resultado Non initialized variable, verá los siguientes eventos:

  • Se declara la variable value.

  • Se omite la instrucción if donde value se inicializa.

  • Se lee la variable value.

También puede ver estos eventos resaltados en azul en el código fuente. En ocasiones, estos eventos pueden estar muy separados en el código fuente. Haga clic en un evento del panel Result Details para desplazarse hasta la ubicación correspondiente en el código fuente.

Información adicional

Consulte:

Resolver los resultados mediante corrección de fallos o comentarios

Una vez que comprenda la causa raíz de un hallazgo de Polyspace, puede corregir el código. De lo contrario, añada comentarios a los resultados de Polyspace para corregir el código más adelante o justificar el hallazgo. Puede usar los comentarios para hacer un seguimiento del progreso de su revisión.

Haga clic con el botón secundario en la variable value del panel Source. Seleccione Open Editor. El código se abre en un editor de texto. Corrija el problema. Por ejemplo, puede inicializar value durante la declaración.

int value = -1;
Si vuelve a ejecutar el análisis, no se ve el defecto Non-initialized variable.

De forma alternativa, si no desea corregir el defecto de inmediato, asigne al resultado el estado To investigate. También puede añadir comentarios con explicaciones adicionales.

Si asigna el estado No action planned, el resultado no aparece en ejecuciones posteriores del mismo proyecto.

Información adicional

Consulte:

Administrar resultados

Cuando abra los resultados de un análisis de Bug Finder, verá una lista plana de defectos, infracciones de las reglas de codificación u otros resultados. Para organizar la revisión, puede reducir la lista o agrupar los resultados por archivo o por tipo de resultado.

Por ejemplo, puede:

  • Revisar solo los defectos de gran impacto.

    Haga clic en el encabezado de la columna Information para ordenar los defectos por impacto. También puede filtrar los resultados para mostrar únicamente los defectos de gran impacto. Para comenzar el filtrado, haga clic en el icono del encabezado de la columna.

  • Revisar solo los resultados nuevos desde el último análisis.

    En la barra de herramientas del panel Results List, haga clic en el botón New.

  • Revisar los resultados en archivos o funciones determinados.

    En la barra de herramientas del panel Results List, en la lista desplegable , seleccione File.

Información adicional

Consulte Filter and Group Results in Polyspace Desktop User Interface.