Polyspace Bug Finder Server è un motore di analisi statica che identifica classi comuni di bug in C e C++, inclusi errori di run-time, problemi di concorrenza e altri difetti di codifica. Inoltre, Polyspace Bug Finder Server verifica che il codice sorgente sia conforme alle regole di codifica (MISRA C®, MISRA C++, JSF++), alle norme di sicurezza (CWE, CERT® C, CERT C++, ISO/IEC 17961) e alle regole personalizzate.
Polyspace Bug Finder Server consente di monitorare le metriche del codice, compresa la complessità ciclomatica e le metriche HIS a livello di progetto, file e funzione. È possibile configurare il server per utilizzarlo con vari compilatori, processori target e ambienti RTOS e automatizzare l'esecuzione con sistemi di integrazione continua mediante strumenti come Jenkins®. I risultati dell'analisi del codice 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.
Identificazione dei bug e delle vulnerabilità del software
Individua diverse categorie di bug come vulnerabilità di sicurezza, difetti di concorrenza e difetti numerici. Configura l'analisi per qualsiasi compilatore, processore target e ambiente RTOS.
Conformità agli standard di codifica
Applica gli standard di codifica del software embedded come MISRA C e MISRA C++, AUTOSAR C++14, JSF++ e le regole di naming convention personalizzate.
Test statici di sicurezza delle applicazioni
Rendi il tuo codice sicuro individuando le vulnerabilità e i problemi di sicurezza e rispetta gli standard e le linee guida di codifica in materia di sicurezza come CERT C/C++, CWE, ISO 17961 e MISRA C:2012 Emendamento 1.
Assistenza per certificazione
Crea gli artefatti necessari per completare il processo di certificazione per gli standard di sicurezza industriale come IEC 61508, ISO 26262, ISO/SAE 21434, o DO-178C, fino ai più alti livelli di sicurezza funzionale.
Esecuzione dell'analisi statica del codice su qualsiasi piattaforma
Esegui Polyspace Bug Finder 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®.
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®.
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 Bug Finder Server
Polyspace Bug Finder Server è un motore di analisi statica che viene eseguito su sistemi server per identificare automaticamente bug, violazioni delle regole di codifica e metriche di qualità del codice in codice C e C++ nell'ambito dei workflow di integrazione continua.
Rileva oltre 350 tipi di difetti di codifica per C e C++, inclusi errori numerici, di flusso di dati, di memoria, di concorrenza e errori di programmazione generici che possono causare malfunzionamenti a runtime o problemi di sicurezza.
Controlla il codice C e C++ rispetto a standard di codifica industriali, tra cui 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 Server applica metodi di analisi statica, inclusa l'analisi semantica, per analizzare il flusso di controllo, il flusso di dati e il comportamento interprocedurale nel codice C e C++ senza richiedere l'esecuzione del codice.
Polyspace Bug Finder viene utilizzato in modo interattivo tramite un'interfaccia desktop, mentre Polyspace Bug Finder Server è ottimizzato per l'analisi automatizzata nei workflow di integrazione continua e per la condivisione dei risultati tramite Polyspace Access.
Sì. Polyspace Bug Finder Server si integra con pipeline di integrazione continua per supportare l'analisi statica automatizzata nei flussi di lavoro DevOps.
Polyspace Bug Finder Server può essere eseguito su server di automazione locali o nel cloud, incluse distribuzioni containerizzate basate su architetture di riferimento MathWorks.
Sì, può analizzare codice generato automaticamente, con risultati rintracciabili fino ai modelli Simulink e ai blocchi dSPACE TargetLink.
Polyspace Bug Finder Server pubblica i risultati dell'analisi in Polyspace Access per la revisione e il triage dei risultati da parte dei team.
Supporta flussi di lavoro 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 ulteriore supporto per ISO/SAE 21434 e Automotive SPICE.
Piccola osservazione terminologica: nelle pagine MathWorks in italiano vedo spesso mantenere workflow (invece di flussi di lavoro) e triage, quindi le ho lasciate così per coerenza con il resto dell'ecosistema Polyspace.
Vuoi saperne di più su Polyspace Bug Finder Server?
Novità
Navigazione nel pannello
ARTICOLI GRATUITI
Note su Polyspace
Navigazione nel pannello
PRODOTTO
