Polyspace Server for Ada es un sólido motor de análisis estático que 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 Ada83 y Ada95. Realiza un análisis interprocedimental de todos los flujos de control y datos posibles, incluido el código de subprocesos múltiples, para identificar cada operación como siempre segura, siempre defectuosa, inaccesible o vulnerable. Polyspace Server for Ada identifica segmentos de código que están libres de errores en tiempo de ejecución, inaccesibles, comprobados como defectuosos o no comprobados.
Puede ejecutar Polyspace Server for Ada en un equipo servidor e integrarlo en sistemas de compilación e integración continua para realizar verificación automatizada con herramientas como Jenkins®. Los resultados del análisis pueden revisarse con Polyspace Client for Ada, o bien publicarse en Polyspace Access para su clasificación y resolución.
Comprobación de ausencia de errores en tiempo de ejecución críticos
Compruebe exhaustivamente 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 Server 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.
Automatización e integración en DevOps
Soporte de prácticas de desarrollo de software modernas mediante el análisis de código integrado como parte de flujos de trabajo y herramientas de DevOps existentes. Polyspace Server for Ada funciona con herramientas de integración continua más utilizadas, como Jenkins y Bamboo®.
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 generados con Polyspace Server for Ada para complementar o reemplazar las pruebas fuzzing y así poder centrarse en operaciones vulnerables.
Mejora de las pruebas funcionales y de solidez
Utilice Polyspace Server 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 Server 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.
Gestión y supervisión de la calidad de proyectos de análisis estático
Organice los proyectos de análisis estático de código Ada para respaldar a los equipos y los flujos de trabajo de desarrollo con Polyspace Access. Utilice la información en los paneles para supervisar la calidad del software, el estado del proyecto, el número de defectos y las métricas del código.
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.
