Polyspace Server for Ada è un efficace motore di analisi statica che dimostra l’assenza di overflow, divisioni per zero, accesso agli array fuori limite e alcuni altri errori di runtime in codice Ada83 e Ada95. Esegue l’analisi interprocedurale di tutti i flussi di controllo e di dati possibili, compreso il codice multithread, al fine di identificare ciascuna operazione come sempre sicura, sempre difettosa, non eseguibile o vulnerabile. Polyspace Server for Ada identifica i segmenti di codice che sono privi di errori di runtime, dimostrati come fallimentari, non eseguibili o non dimostrati.
È possibile eseguire Polyspace Server for Ada su una macchina server e integrarlo in sistemi di compilazione e integrazione continua per la verifica automatizzata mediante strumenti come Jenkins®. I risultati dell’analisi possono essere rivisti utilizzando Polyspace Client for Ada o pubblicati su Polyspace Access per la categorizzazione e la risoluzione.
Dimostrazione dell’assenza di errori critici di runtime
Verifica in maniera approfondita la correttezza di runtime di ciascuna operazione in codice Ada83 o Ada95. Individua le istruzioni che non subiranno mai un errore di runtime, indipendentemente dalle condizioni di runtime. Analizza le vulnerabilità di runtime con il supporto di tracce degli eventi, intervalli di valori delle variabili e alberi delle chiamate relativi ai risultati. Polyspace Server for Ada impiega metodi formali per rilevare errori che sfuggono ad altri strumenti di test. Analizza tutti i percorsi del codice rispetto a tutti i possibili input senza l’esecuzione del codice.
Automazione e integrazione in DevOps
Supporta le moderne pratiche di sviluppo software mediante l’analisi del codice integrato come parte di workflow e strumenti DevOps esistenti. Polyspace Server for Ada è compatibile con gli strumenti di integrazione continua più comuni come Jenkins e Bamboo®.
Miglioramento della progettazione software e comprensione del codice
Analizza il flusso di controllo e di dati attraverso il software e scopri le informazioni di intervallo associate alle variabili e agli operatori.
Ottimizzazione delle prestazioni del software
Rimuovi il codice difensivo identificando operazioni sicure come la divisione per zero. Rileva e rimuovi i rami di codice che non possono essere eseguiti attraverso qualsiasi percorso di esecuzione e gli errori nella logica e nella struttura del programma al fine di ridurre il footprint di memoria.
Analisi dell’utilizzo delle variabili globali
Riduci il tempo dedicato al debug delle operazioni di lettura/scrittura sulle variabili globali, incluse le variabili condivise da attività o thread. Comprendi il flusso di controllo e di dati che porta a una corsa di dati mediante il grafico ad accesso simultaneo. Identifica le variabili globali inutilizzate al fine di ottimizzare il codice.
Test statici di sicurezza delle applicazioni
Dimostra che l’applicazione è priva di vulnerabilità critiche di sicurezza analizzando in modo esaustivo le istruzioni Ada potenzialmente vulnerabili come l’accesso alla memoria, gli overflow del buffer o gli overflow numerici. Supporto di 20 regole di debolezza CWE. Sfrutta i risultati prodotti da Polyspace Server for Ada per integrare o sostituire i test fuzz e concentrarti sulle operazioni vulnerabili.
Miglioramento e integrazione dei test di robustezza e funzionali
Utilizza Polyspace Server for Ada per migliorare i test di robustezza concentrando i test su istruzioni dimostrate come non sicure quali la divisione per zero o gli overflow. Utilizza i risultati di Polyspace Server for Ada per creare e mantenere test di confine e di partizione, sfruttando l’analisi dei flussi di controllo e di dati nonché gli intervalli calcolati dei parametri delle funzioni e delle variabili globali.
Gestione dei progetti di analisi statica e monitoraggio della qualità dei progetti
Organizza i tuoi progetti di analisi statica di codice Ada per supportare i team e i workflow di sviluppo con Polyspace Access. Utilizza le informazioni visualizzate nelle dashboard per monitorare la qualità del software, lo stato dei progetti, il numero di difetti e le metriche del codice.
Risorse di prodotto:
Famiglia di prodotti Polyspace
I prodotti Polyspace rendono il codice critico sicuro testando e monitorando la qualità del software lungo l’intero ciclo di sviluppo.
Polyspace Access
Identificazione dei difetti di codifica, revisione dei risultati delle analisi statiche e monitoraggio delle metriche di qualità del software.
Polyspace Code Prover Server
Dimostrazione dell’assenza di errori di run-time nel software.
Polyspace Bug Finder
Identificazione dei bug del software utilizzando l'analisi statica.
Polyspace Test
Sviluppo, gestione ed esecuzione di test per il codice C e C++ in sistemi embedded.
Polyspace Bug Finder Server
Identificazione di difetti software tramite analisi statiche in esecuzione su computer server.
Polyspace Client for Ada
Dimostrazione dell’assenza di errori di run-time nel codice sorgente.
Polyspace Code Prover
Dimostrazione dell’assenza di errori di run-time nel software.
Polyspace Server for Ada
Esecuzione della verifica del codice su cluster di computer e pubblicazione delle metriche.
