Los productos de análisis estático de código de Polyspace® emplean métodos formales para demostrar la ausencia de errores en tiempo de ejecución críticos con todos los flujos de control y todos los flujos de datos posibles. Entre ellos se cuentan comprobadores para reglas de codificación, vulnerabilidades de seguridad, métricas de código y cientos de clases adicionales de errores.
Polyspace Access
Identifique defectos de codificación, revise resultados de análisis estático y supervise métricas de calidad de software
Polyspace Bug Finder
Compruebe las reglas de codificación, los estándares de seguridad, las métricas de código, y localice errores.
Polyspace Bug Finder Server
Identifique defectos de software con análisis estáticos ejecutados en servidores
Polyspace Code Prover
Compruebe formalmente la ausencia de errores en tiempo de ejecución críticos sin necesidad de ejecutar código.
Polyspace Code Prover Server
Compruebe la ausencia de errores en tiempo de ejecución en el software
Polyspace Client for Ada
Compruebe la ausencia de errores en tiempo de ejecución en código fuente
Polyspace Server for Ada
Realice verificación de código en clusters de escritorio y publique las métricas

Análisis estático de código automatizado mediante métodos formales para C/C++ y Ada
Calidad
Localice errores y demuestre formalmente la ausencia de errores en tiempo de ejecución críticos, sin necesidad de casos de prueba ni ejecución de código.
Seguridad
Cumpla los estándares de seguridad y documente la conformidad con MISRA, ISO 26262, IEC 61508, DO-178 y las normas de la FDA.
Protección
Compruebe las vulnerabilidades de seguridad del software y los estándares tales como CWE, CERT-C, ISO/IEC 17961, etc.
Volvo Cars
Polyspace garantiza la seguridad y calidad del software identificando y corrigiendo errores críticos en tiempo de ejecución antes de realizar una combinación de códigos.
Alenia Aermacchi
Las herramientas de análisis estático de Polyspace comprueban el código en busca de errores en tiempo de ejecución, garantizan la conformidad con los estándares de codificación de MISRA y crean artefactos para el crédito de certificación DO-178.
Miracor
Polyspace ayuda a Miracor a demostrar la calidad y la corrección ante la comunidad reguladora, incluida la FDA, a fin de probar que nuestro dispositivo es seguro.