Polyspace Bug Finder analizza il codice software embedded in C/C++ per segnalare difetti di codifica, deviazioni dalle regole di codifica e metriche del codice. Utilizza l’analisi statica basata sull’interpretazione astratta per individuare oltre 350 tipi di difetti nel codice, come overflow di buffer, divisioni per zero, problemi di concorrenza e altre vulnerabilità di sicurezza.
Polyspace Bug Finder verifica la conformità alle regole di codifica come MISRA C™:2023, MISRA C++:2023, AUTOSAR C++14, CERT® C/C++ e CWE™. Calcola anche metriche del codice come la complessità ciclomatica. Puoi anche creare i propri difetti e standard di codifica per supportare le esigenze della tua organizzazione.
È possibile integrare Polyspace Bug Finder con Polyspace Test per unificare verifica e testing del codice, condividendo la stessa configurazione di progetto e sfruttando la complementarità degli strumenti per semplificare l’analisi dei risultati. L'integrazione di Simulink consente la configurazione automatizzata e la tracciabilità per il codice generato.
Il supporto relativo agli standard industriali è disponibile nell’IEC Certification Kit (per ISO 26262 e IEC 61508) e nel DO Qualification Kit (per DO-178).
Individuazione di bug e vulnerabilità
Rileva oltre 350 difetti in C/C++, inclusi difetti di sicurezza, memoria, numerici e di concorrenza, utilizzando l'analisi statica. Estendi i controlli integrati con verifiche personalizzate. Individua la causa principale di bug complessi con viste debugger, tracce degli eventi e grafici delle chiamate.
Conformità agli standard di codifica
Verifica la conformità a MISRA C:2023, MISRA C++:2023, AUTOSAR C++14, CERT C/C++, CWE e ISO/IEC TS 17961. Definisci standard di codifica personalizzati per applicare regole specifiche del team.
Test statici di sicurezza delle applicazioni
Individua le vulnerabilità di sicurezza e identifica la catena di eventi che conduce alla vulnerabilità. Applica linee guida di codifica sicura con controlli CERT C/C++, CWE e ISO/IEC TS 17961.
Assistenza per certificazione
Genera gli artefatti necessari per completare il processo di certificazione secondo standard di sicurezza e cybersecurity industriali, come IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C, fino ai massimi livelli di sicurezza funzionale o di protezione. Giustifica le deviazioni e genera report di analisi completi.
Integrazione con Simulink
Analizza il codice generato da Embedded Coder o dSpace TargetLink ® e rintraccia i risultati nei blocchi Simulink o nei diagrammi Stateflow. Avvia le analisi da Simulink per una configurazione semplificata e una tracciabilità efficiente.
Misurazione delle metriche del codice
Calcola la complessità ciclomatica e altre metriche per migliorare la manutenibilità e la testabilità del codice C/C++. Applica le soglie delle metriche del codice utilizzando i controller Polyspace.
Monitoraggio della qualità del progetto
Monitora la qualità del progetto con dashboard a livello di progetto, inclusi schede e grafici per difetti, regole di codifica e metriche del codice. Analizza i risultati partendo dal livello di progetto fino ai singoli file per concentrarti su specifiche analisi del codice.
Analisi del codice utilizzando il comportamento run-time
Crea automaticamente una configurazione Polyspace a partire dalla build, imposta opzioni di compilatore, target e RTOS e modella interrupt, thread e task per individuare difetti di concorrenza, inclusi race condition e deadlock.
Integrazione di analisi statica e test dinamici
Gestisci l’analisi statica (con Polyspace Bug Finder e Polyspace Code Prover) e il testing (con Polyspace Test), inclusa la configurazione del progetto, l'esecuzione e la revisione, in un'unica interfaccia. Combina i workflow di testing e analisi del codice per individuare test inaffidabili, giustificare rami di codice non raggiungibili o supportare requisiti complessi di code coverage.
Risorse di prodotto:
“Con Polyspace, possiamo garantire la sicurezza e la qualità del software identificando e correggendo errori critici a run-time prima di ogni merge del codice.”
Famiglia di prodotti Polyspace
I prodotti Polyspace rendono il codice critico più sicuro e affidabile, testando e monitorando la qualità del software lungo tutto il ciclo di sviluppo.
Polyspace Access
Individua i difetti di codifica, revisiona i risultati dell’analisi statica e monitora le metriche di qualità del software.
Polyspace Copilot
Assistente AI ottimizzato per Polyspace.
Polyspace Test
Sviluppa, gestisci ed esegui test per il codice C e C++ in sistemi embedded.
Polyspace as You Code
Identifica le violazioni degli standard di codifica e le vulnerabilità del software 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 Bug Finder
Polyspace Bug Finder è un'applicazione desktop di analisi statica che individua bug, violazioni delle regole di codifica e metriche di qualità del codice nel codice C e C++.
Polyspace Bug Finder rileva più di 350 tipi di difetti di programmazione C/C++, inclusi errori numerici, di flusso dei dati, di memoria, di concorrenza ed errori generali di programmazione che possono causare malfunzionamenti a runtime o problemi di sicurezza.
Polyspace Bug Finder verifica il codice C/C++ rispetto a standard di settore quali MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C e CERT C++, e supporta l'applicazione di regole di codifica personalizzate e convenzioni di denominazione.
Polyspace Bug Finder applica metodi di analisi statica, inclusa l'analisi semantica, per analizzare il flusso di controllo, il flusso dei dati e il comportamento interprocedurale del codice C/C++ senza richiedere l'esecuzione del codice.
Polyspace Bug Finder identifica bug, violazioni delle regole di codifica e metriche di qualità del codice su progetti completi durante l'integrazione e la verifica. Polyspace Code Prover utilizza metodi formali per dimostrare esaustivamente l'assenza di determinati errori a runtime. Polyspace as You Code esegue un sottoinsieme delle analisi di Polyspace Bug Finder direttamente nell'IDE per aiutare gli sviluppatori a rilevare problemi mentre scrivono il codice.
Polyspace Bug Finder viene utilizzato in modo interattivo tramite un'interfaccia desktop, mentre Polyspace Bug Finder Server è ottimizzato per le analisi automatizzate nei workflow CI 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. Quando viene eseguito da Simulink, l'analisi viene configurata automaticamente in base al modello e alle impostazioni di generazione del codice.
Supporta 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 indicazioni aggiuntive per ISO/SAE 21434 e Automotive SPICE.
Genera report sui bug rilevati, sulle violazioni delle regole di codifica e sulle metriche di qualità del codice, come la complessità ciclomatica. Una revisione più dettagliata e ricca di contesto è disponibile nell'applicazione desktop Polyspace.
Polyspace Bug Finder e Polyspace Test condividono la stessa applicazione desktop e la stessa configurazione di progetto, consentendo una revisione unificata dei risultati di analisi statica e dinamica.
