Productos Polyspace

 

Polyspace

Seguridad para el código crítico

Polyspace® static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. They include checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs.

Polyspace Access

Identify coding defects, review static analysis results, and monitor software quality metrics

Polyspace Bug Finder

Check coding rules, security standards, code metrics, and find bugs

Polyspace Bug Finder Server

Identify software defects via static analyses running on server computers

Polyspace Code Prover

Formally prove the absence of critical run-time errors without executing code

Polyspace Code Prover Server

Prove the absence of run-time errors in software

Polyspace Client for Ada

Prove the absence of run-time errors in source code

Polyspace Server for Ada

Perform code verification on computer clusters and publish metrics

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 Code Prover

Demuestre formalmente la ausencia de errores en tiempo de ejecución críticos sin necesidad de ejecutar código.

Polyspace Bug Finder

Compruebe las reglas de codificación, los estándares de seguridad, las métricas de código, y
localice errores.

Polyspace for Ada

Demuestre la ausencia de errores en tiempo de ejecución en el código fuente.

MATLAB Desktop

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.

Panel Navigation

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.

Panel Navigation

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.

Panel Navigation

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.