Polyspace Server for Ada

Esecuzione della verifica del codice su cluster di computer e pubblicazione delle metriche

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.

Polyspace Client for Ada utilizza diversi colori per identificare le istruzioni Ada che sono state verificate staticamente.

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.

CSEE Transport garantisce l’affidabilità del software per l’alta velocità ferroviaria

Documentazione

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^®.

Documentazione

Polyspace Client for Ada fornisce l’elenco di tutte le variabili globali del software analizzato.

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.

Il NATO HAWK Management Office accelera l’analisi delle applicazioni mission-critical

Documentazione

Polyspace Client for Ada mostra il codice non eseguibile in grigio all’interno del codice sorgente.

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.

Documentazione

Polyspace Client for Ada è in grado di mostrare un grafico del percorso che porta a potenziali corse di dati.

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.

Documentazione

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.

Sicurezza incorporata con l’analisi statica di Polyspace (1:52)

Documentazione

Polyspace Client for Ada calcola la gerarchia completa delle chiamate per le applicazioni Ada.

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.

EADS garantisce l’affidabilità dei veicoli di lancio

Documentazione

Gestione e monitoraggio dei progetti Polyspace Server for Ada all’interno della dashboard web di Polyspace Access.

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.

Documentazione

Risorse di prodotto:

Documentazione Esempi Video Requisiti Note di release

Vuoi saperne di più su Polyspace Server for Ada?

Richiedi una versione di prova Richiedi una quotazione

Hai domande?

Contatta l’assistenza tecnica di Polyspace Server for Ada.