Polyspace Client™ for Ada comprueba la ausencia de desbordamientos, división por cero, acceso a arrays fuera de límites y otros errores en tiempo de ejecución en código fuente Ada83 y Ada95. Produce resultados sin necesidad de ejecutar programas, instrumentación de código o casos de pruebas. Polyspace Client for Ada emplea técnicas de interpretación abstracta basadas en métodos formales para verificar el código. Los resultados del análisis se muestran en el propio código fuente. Cada instrucción de código está codificada por colores, que indican si la instrucción está libre de errores en tiempo de ejecución, inaccesible, comprobada como defectuosa o no comprobada. Polyspace Client for Ada muestra información sobre los rangos de variables y valores de retorno de funciones, y puede comprobar qué variables superan los límites de rango especificados.
Puede utilizar Polyspace Client for Ada en un equipo de escritorio para ejecutar y revisar análisis de código antes de compilarlo y probarlo.
Comprobación de ausencia de errores críticos en tiempo de ejecución
Compruebe que las operaciones de código Ada83 o Ada95 sean correctas en tiempo de ejecución. Identifique instrucciones que nunca presentarán errores en tiempo de ejecución, independientemente de las condiciones en tiempo de ejecución. Analice vulnerabilidades en tiempo de ejecución con el soporte para seguimiento de eventos, rangos de valores de variables y árboles de llamadas relacionados con los resultados. Polyspace Client for Ada utiliza métodos formales para detectar errores que otros mecanismos de pruebas no logran detectar. Analice todas las rutas de código con todas las posibles entradas sin necesidad de ejecutar código.
Análisis interactivo en equipos de escritorio
Organice y configure proyectos, y ejecute análisis estático de código en un subconjunto de proyectos de software para calificar los cambios en el código antes de enviarlo al repositorio de código fuente. Utilice Polyspace Client for Ada para generar informes, y revisar y clasificar los resultados. Identifique la causa raíz de bugs complejos en una vista de depuración, investigando una por una las instrucciones que provocan un error en tiempo de ejecución.
Mejora del diseño de software y la comprensión de código
Utilice software para examinar el flujo de control y datos y vea información sobre los rangos relacionados con variables y operadores.
Optimización del rendimiento del software
Elimine la programación defensiva identificando operaciones seguras y protegidas, tales como la división por cero. Identifique ramas de código inaccesibles a través de una ruta de ejecución, así como errores de lógica y en la estructura del programa, y proceda a su eliminación para reducir la superficie de memoria.
Análisis del uso de variables globales
Reduzca el tiempo de depuración de operaciones de lectura/escritura en variables globales, incluidas las variables compartidas por tareas o subprocesos. Analice el flujo de control y datos que provoca una carrera de datos con el gráfico de acceso simultáneo. Identifique variables globales no utilizadas para optimizar el código.
Pruebas estáticas de la seguridad de aplicaciones
Compruebe que la aplicación no tiene vulnerabilidades de seguridad críticas haciendo hincapié de manera exhaustiva en posibles instrucciones Ada vulnerables, tales como acceso a memoria, desbordamientos del buffer o desbordamientos numéricos. Ofrece soporte para 20 reglas de vulnerabilidad de CWE. Aproveche los resultados del análisis de Polyspace Client for Ada para complementar o reemplazar las pruebas fuzzing y así poder centrarse en operaciones identificadas como vulnerables.
Mejora de las pruebas funcionales y de solidez
Utilice Polyspace Client for Ada para mejorar las pruebas de solidez enfocándolas en instrucciones comprobadas como inseguras, tales como división por cero o desbordamientos. Utilice los resultados de Polyspace Client for Ada para crear y mantener pruebas de límites y particiones, aprovechando el análisis del flujo de control y datos, así como los rangos calculados de parámetros de funciones y variables globales.
Recursos del producto:
Línea de productos Polyspace
Los productos Polyspace consiguen que el código crítico sea seguro y esté protegido probando y supervisando la calidad del software a lo largo del ciclo de desarrollo.
Polyspace Access
Identifique defectos de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.
Polyspace Code Prover Server
Compruebe la ausencia de errores en tiempo de ejecución en el software.
Polyspace Bug Finder
Identifique bugs de software mediante análisis estático.
Polyspace Test
Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas integrados.
Polyspace Bug Finder Server
Identifique defectos de software con análisis estáticos ejecutados en servidores.
Polyspace Client for Ada
Compruebe la ausencia de errores en tiempo de ejecución en código fuente.
Polyspace Code Prover
Compruebe la ausencia de errores en tiempo de ejecución en el software.
Polyspace Server for Ada
Realice verificación de código en clusters de escritorio y publique las métricas.
