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 Bug Finder
Controlla le regole di codifica, gli standard di sicurezza e le metriche del codice e individua i bug.
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
Individua i difetti del software e applica le regole di codifica nelle pipeline di CI.
Polyspace Client for Ada
Verifica in modo esaustivo le unità fondamentali delle istruzioni Ada utilizzando metodi formali.
Polyspace Code Prover
Verifica in modo esaustivo le istruzioni fondamentali di C e C++ utilizzando metodi formali.
Polyspace Server for Ada
Verifica in modo continuo ed esaustivo le istruzioni fondamentali del codice C e C++ nelle pipeline di CI.
Vuoi saperne di più su Polyspace Bug Finder?
Novità
Navigazione nel pannello
ARTICOLI GRATUITI
Note su Polyspace
Navigazione nel pannello
PRODOTTO
