Polyspace Code Prover Server è un solido motore di analisi statica che dimostra l’assenza di overflow, divisione per zero, accesso agli array fuori limite e altri errori di run-time nel codice sorgente C e C++. Esegue l’analisi interprocedurale di tutti i possibili flussi di controllo e di dati, incluso il codice multi-thread, per identificare ogni operazione come sempre sicura, sempre difettosa, irraggiungibile o vulnerabile. Polyspace Code Prover Server identifica i segmenti di codice privi di errori di run-time, con difetti comprovati, irraggiungibili o non verificati.
Polyspace Code Prover Server può essere eseguito su una macchina di classe server e integrato in sistemi di build e integrazione continua per la verifica automatizzata utilizzando strumenti come Jenkins®. I risultati dell’analisi possono essere pubblicati su Polyspace Access per la categorizzazione e la risoluzione.
Grazie all’IEC Certification Kit (per IEC 61508 e ISO 26262) e al DO Qualification Kit (per DO-178) sono supportati numerosi standard industriali.
Automatizzazione dell’analisi del codice con Polyspace Code Prover Server
Dimostrazione dell’assenza di errori critici di run-time
Analizza tutti i percorsi di codice con tutti i possibili input senza esecuzione di codice. Identifica le istruzioni che non subiranno mai un errore di runtime indipendentemente dalle condizioni di run-time e individuane altre che devono essere esaminate con attenzione.
Automazione e integrazione di DevOps
Supporta le moderne pratiche di sviluppo del software inserendole nei workflow e negli strumenti DevOps esistenti. Polyspace® è compatibile con i più comuni strumenti di integrazione continua come Jenkins e Bamboo®.
Esecuzione dell'analisi statica del codice su qualsiasi piattaforma
Esegui Polyspace Code Prover Server su un server di automazione on premise o nel Cloud. Utilizza le architetture di riferimento MathWorks per la distribuzione su piattaforme quali Docker, AWS® e Azure®.
Assistenza per certificazione
Crea gli artefatti necessari per completare il processo di certificazione per gli standard del settore. Certificato TÜV SÜD per i livelli più elevati di sicurezza funzionale di IEC 61508 e ISO 26262. Supporta la qualificazione secondo lo standard DO-178C.
Prevenzione dei comportamenti software indesiderati
Identifica tutte le sezioni di codice che non possono essere raggiunte tramite alcun percorso di esecuzione e gli errori nella logica e nella struttura del programma.
Analisi dell’utilizzo delle variabili globali
Risparmia il tempo dedicato al debug dei problemi delle operazioni di lettura/scrittura su variabili globali. Identifica le variabili condivise e inutilizzate non protette.
Test statici di sicurezza delle applicazioni
Dimostra l’assenza di vulnerabilità di sicurezza critiche come overflow del buffer, accesso alla memoria e overflow numerici. Riduci la necessità di test Fuzz analizzando il codice in tutti i percorsi di codice e input senza l’esecuzione di 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 Copilot
Assistente di IA ottimizzato per Polyspace.
Polyspace Test
Sviluppo, gestione ed esecuzione di test per il codice C e C++ in sistemi embedded.
Polyspace as You Code
Individua violazioni degli standard di codifica e vulnerabilità del software direttamente dal tuo IDE.
Polyspace Bug Finder
Identificazione dei bug del software utilizzando l'analisi statica.
Polyspace Code Prover Server
Verifica in modo continuo ed esaustivo le istruzioni fondamentali del codice C e C++ nelle pipeline di CI.
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
Verifica in modo esaustivo le istruzioni fondamentali di C e C++ utilizzando metodi formali.
Polyspace Server for Ada
Esecuzione della verifica del codice su cluster di computer e pubblicazione delle metriche.
Vuoi saperne di più su Polyspace Code Prover Server?
Novità
Navigazione nel pannello
ARTICOLI GRATUITI
Note per Polyspace Static Analysis
Navigazione nel pannello
PRODOTTO
