Prodotti Polyspace

 

Polyspace

Codici critici sicuri e protetti

I prodotti di analisi statica dei codici Polyspace® utilizzano metodi formali per dimostrare l’assenza di errori di run-time critici in tutte le possibili strutture di controllo e nel flusso di dati. Includono checker di regole di codifica, vulnerabilità di sicurezza, metriche del codice e centinaia di classi aggiuntive di bug.

Polyspace Code Prover

Dimostra formalmente l’assenza di errori di run-time critici senza esecuzione del codice

Polyspace Bug Finder

Verifica le regole di codifica, gli standard di sicurezza, le metriche del codice e trova i bug

Polyspace per Ada

Dimostra l’assenza di errori di run-time nel codice sorgente

Analisi statica automatica dei codici utilizzando metodi formali per C/C++ e Ada

Qualità

Trovare bug e dimostrare formalmente l’assenza di errori critici di run-time, senza test case o esecuzione del codice.

Sicurezza

Soddisfa gli standard di sicurezza e di conformità di MISRA, ISO 26262, IEC 61508, DO-178 e delle normative FDA.

Sicurezza

Verifica le vulnerabilità di sicurezza del software e gli standard come CWE, CERT-C, ISO/IEC 17961, e altri.