Revisar resultados de Polyspace Bug Finder en la interfaz de usuario de la plataforma 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 la plataforma Polyspace.
Este tema muestra cómo revisar algunos resultados de Bug Finder en la interfaz de usuario de la plataforma Polyspace. Polyspace proporciona métodos adicionales para revisar resultados.
Si ejecuta un análisis de un solo archivo desde su IDE con Polyspace as You Code, puede revisar los resultados directamente en el IDE. Consulte Revisar los resultados de Polyspace as You Code en IDE.
Si ejecuta un análisis con un producto de Polyspace Server y carga los resultados en Polyspace Access™, puede revisar los resultados en un navegador web. Consulte Revisar resultados de Polyspace Bug Finder en un navegador web.
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 la plataforma Polyspace, abra el proyecto de ejemplo seleccionando Help > Examples > Find defects in your C code. Ejecute un análisis haciendo clic en el botón Find Issues de la barra de herramientas. El botón Find Issues comparte un menú desplegable con el botón Prove Absence of RTEs.
Interpretar resultados
Revise cada resultado de PolyspaceBug Finder. Encuentre la causa raíz del problema.
Comience abriendo sus resultados en la perspectiva Review. Haga doble clic en el archivo de resultados desde el panel Results para abrir el panel de control Project Overview. Seleccione Review en la barra de herramientas para acceder a la perspectiva Review que contiene todos los resultados y detalles.
Empiece por la lista de resultados del panel Results List. Si el panel Results List abarca toda la ventana, seleccione Layout > Reset en la barra de herramientas.
Haga clic en el encabezado de la columna Check para ordenar los resultados alfabéticamente. Seleccione el resultado Non-initialized variable con el valor ID 8381.
Vea la información del código en el panel Source Code 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 de Non initialized variable, verá los siguientes eventos:
Se declara la variable
value.Se omite la instrucción
ifdondevaluese inicializa.Se lee la variable
value.
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. Esto resalta el código relacionado en el panel Source Code.
Información adicional
Para obtener más información sobre cómo interpretar los resultados, consulte:
Resolver los resultados mediante corrección de fallos o comentarios
Una vez que comprenda la causa raíz de un resultado de Polyspace, puede corregir su código. De forma alternativa, puede añadir comentarios a los resultados para corregir el código más adelante o justificar el resultado. Puede usar los comentarios para hacer un seguimiento del progreso de su revisión.
Si no desea corregir el defecto de inmediato, asigne al resultado un estado en el panel Result Details. Por ejemplo, establezca el estado del resultado Non-initialized variable en 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
Para obtener más información sobre cómo resolver los resultados mediante la corrección de fallos o comentarios, consulte:
Administrar resultados
Cuando abra los resultados de un análisis de Bug Finder, verá una lista de defectos, infracciones de las reglas de codificación y 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.
En la barra de herramientas, seleccione Defects > High para mostrar únicamente los defectos de gran impacto.
Revisar solo los resultados nuevos desde el último análisis.
En la sección Filters de la barra de herramientas, haga clic en la flecha desplegable y seleccione New en la sección Resolution.
Revisar los resultados en archivos o funciones determinados.
En el panel Results List, haga clic con el botón secundario en un resultado de la columna File y seleccione Show only: "filename.c" para ver únicamente los resultados de ese archivo. Puede utilizar este método en cualquier columna del panel Results List. También puede seleccionar el encabezado de cualquier columna para ordenar el panel Results List en función de la información de esa columna.
Información adicional
Para obtener más información sobre cómo administrar resultados, consulte: Filter and Sort Results in Polyspace Platform User Interface.
