Polyspace Bug Finder

Identificazione dei bug del software utilizzando l'analisi statica

Identificazione dei bug e delle vulnerabilità del software

Individua diverse categorie di bug come vulnerabilità di sicurezza, difetti di concorrenza e difetti numerici. Configura l'analisi per qualsiasi compilatore, processore target e ambiente RTOS.

Conformità agli standard di codifica

Applica gli standard di codifica del software embedded come MISRA C e MISRA C++, AUTOSAR C++14, JSF++, e le regole di naming convention personalizzate.

Test statici di sicurezza delle applicazioni

Rileva vulnerabilità e problemi di sicurezza e rendi sicura la tua applicazione. Rispetta gli standard e le linee guida di codifica in materia di sicurezza come CERT C/C++, CWE, ISO 17961 e MISRA C:2012 Emendamento 1.

Assistenza per certificazione

Crea gli artefatti necessari per completare il processo di certificazione per gli standard industriali di sicurezza come IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C, fino ai più alti livelli di sicurezza funzionale.

Integrazione con Simulink e Stateflow

Esegui l’analisi sul codice generato e ricollega i risultati dal codice sorgente al blocco del modello  Simulink o al grafico Stateflow corrispondente. Avvia l’analisi Polyspace direttamente dall’ambiente Simulink.

Monitoraggio della qualità del software

Genera metriche del codice per misurare e migliorare la qualità del codice sorgente. Confronta i risultati dell’analisi con le soglie di qualità.

Analisi interattiva sul desktop

Esegui l’analisi e rivedi i risultati sul tuo computer desktop. Individua la causa principale di bug complessi con viste debugger, tracce degli eventi e grafici delle chiamate. Risolvi i risultati e genera report.

“Con Polyspace, possiamo garantire la sicurezza e la qualità del software individuando e correggendo gli errori critici di run-time prima dell’unione dei codici.”

Johannes Foufas, Volvo Cars