Polyspace Code Prover Server si integra nelle pipeline CI per dimostrare l'assenza di determinati errori di runtime, come overflow, divisione per zero e accesso fuori dai limiti degli array, nel codice C/C++. Fornisce inoltre informazioni sul controllo e sul flusso dei dati e verifica il corretto accesso simultaneo alla memoria condivisa tra i processi (thread).
Polyspace Code Prover Server utilizza l'analisi statica basata sull'interpretazione astratta e sui metodi formali, fornendo risultati senza eseguire il codice, aggiungere strumentazione o scrivere casi di test. È possibile caricare i risultati su Polyspace Access per la collaborazione e il monitoraggio delle tendenze di qualità, ed esportarli in formati leggibili automaticamente e adatti ai controlli di qualità del miglioramento continuo (CI). È possibile analizzare qualsiasi combinazione di codice C/C++, scritto manualmente o generato da Simulink o da un assistente di IA.
Grazie all’IEC Certification Kit (per IEC 61508 e ISO 26262) e al DO Qualification Kit (per DO-178) sono supportati numerosi standard industriali.
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 Test Server
Esegui test e analizza la copertura strutturale del codice C/C++ su server di automazione.
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
Identificazione dei bug del software utilizzando l'analisi statica.
Polyspace Client for Ada
Verifica in modo esaustivo le unità fondamentali delle istruzioni Ada utilizzando metodi formali.
Polyspace Bug Finder Server
Identificazione di difetti software tramite analisi statiche in esecuzione su computer server.
Polyspace Server for Ada
Verifica in modo continuo ed esaustivo le istruzioni fondamentali del codice C e C++ nelle pipeline di CI.
Polyspace Code Prover
Verifica in modo esaustivo le istruzioni fondamentali di C e C++ utilizzando metodi formali.
FAQ su Polyspace Code Prover Server
Polyspace Code Prover Server è un motore di analisi statica che gira su sistemi server per dimostrare l'assenza di errori critici di run-time e fornire viste architetturali come grafi delle chiamate e informazioni sull'utilizzo dei dati globali nel codice C e C++, come parte dei workflow di integrazione continua.
Polyspace Code Prover Server utilizza un'analisi statica basata su metodi formali per esplorare tutti i percorsi di esecuzione e gli input nel codice C/C++ senza eseguirlo.
Contribuisce a migliorare la sicurezza del software dimostrando l'assenza di vulnerabilità critiche come overflow del buffer, accessi non validi alla memoria e overflow numerici, su tutti i percorsi di esecuzione e per tutti gli input, senza eseguire il codice.
Polyspace Code Prover è utilizzato in modo interattivo tramite un'interfaccia desktop, mentre Polyspace Code Prover Server è ottimizzato per l'analisi automatizzata nei workflow di integrazione continua e per la condivisione dei risultati tramite Polyspace Access.
Sì, può analizzare codice generato automaticamente, con risultati tracciabili fino ai modelli Simulink e ai blocchi dSPACE TargetLink.
Sì. Polyspace Code Prover Server si integra con pipeline di integrazione continua per supportare l'analisi statica automatizzata nei workflow DevOps.
Polyspace Code Prover Server può essere eseguito su server di automazione locali o nel cloud, incluse distribuzioni containerizzate basate sulle architetture di riferimento MathWorks.
Polyspace Code Prover Server pubblica i risultati dell'analisi su Polyspace Access per la revisione e il triage dei risultati da parte dei team.
Supporta i workflow di certificazione per IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119 e DO 178C/ED 12C tramite kit di certificazione e qualificazione, con supporto aggiuntivo per ISO/SAE 21434 e Automotive SPICE.
Vuoi saperne di più su Polyspace Code Prover Server?
Novità
Navigazione nel pannello
ARTICOLI GRATUITI
Note per Polyspace Static Analysis
Navigazione nel pannello
PRODOTTO
