Polyspace as You Code è un plugin per l'Ambiente di Sviluppo Integrato (IDE) che controlla i file sorgente C/C++ alla ricerca di difetti, violazioni delle regole di codifica e metriche del codice. Ti aiuta a individuare i problemi prima di inviare le modifiche per l'integrazione.
Ricevi un feedback immediato su oltre 300 tipi di difetti, inclusi overflow dei buffer ed errori di divisione per zero. È possibile verificare la conformità agli standard di codifica come MISRA C™:2023, MISRA C++:2023, CERT® C/C++ e CWE™. I risultati vengono visualizzati direttamente nell’IDE con spiegazioni diagnostiche e correzioni consigliate.
Polyspace as You Code funziona con Visual Studio® Code, Visual Studio e Eclipse™. Può connettersi a Polyspace Access per sincronizzare i risultati locali con i difetti provenienti dai branch di integrazione, evitando la duplicazione delle revisioni.
Analisi del codice C/C++ nell’IDE
Analizza i file sorgente C e C++ direttamente nel tuo IDE, al salvataggio o su richiesta. I risultati vengono visualizzati come indicatori nel codice sorgente e in un pannello risultati dedicato. Utilizza Polyspace as You Code come plugin o estensione per Visual Studio 2019 and 2022, Visual Studio Code, Eclipse e alcuni IDE basati su Eclipse, come STM32 Cube or Wind River® Workbench®. È inoltre possibile integrarsi con altri IDE tramite un’API da riga di comando.
Rilevamento delle vulnerabilità nel codice C/C++
Garantisci la qualità del codice embedded C e C++ verificando oltre 300 diverse vulnerabilità software in categorie come vulnerabilità di sicurezza, errori di memoria, difetti numerici ed errori di concorrenza, fino alle versioni più recenti dei linguaggi C e C++.
Verifica della conformità agli standard di codifica C/C++
Verifica la conformità del codice durante lo sviluppo con supporto agli standard di sicurezza e protezione, inclusi MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++ e CWE.
Informazioni sulle cause principali dei difetti
Scopri le cause principali dei difetti e applica correzioni mirate. Ogni risultato include un contesto dettagliato, comprendente la descrizione del difetto, i tipi di dati coinvolti, i valori attesi e reali, una traccia degli eventi che porta al difetto e le linee di codice rilevanti.
Ottieni informazioni contestuali aggiuntive e suggerimenti di correzione estendendo Polyspace as You Code con Polyspace Copilot.
Tracciamento dei difetti introdotti di recente
Verifica le modifiche al codice tramite il baselining dell’analisi, utilizzando il tuo checkout locale oppure gli ultimi risultati dei processi di integrazione continua quando connesso a Polyspace Access. Utilizza l’elenco di monitoraggio della qualità per determinare quali file vengono analizzati e revisionati.
Personalizzazione dell’analisi per una qualità del codice coerente
Estendi il set nativo di difetti del codice C/C++ con i tuoi checker personalizzati. Applica un set di regole coerente a livello di team, progetto o azienda con cataloghi di difetti personalizzati. Garantisci la manutenibilità del codice mediante convenzioni di denominazione personalizzate e metriche di codice.
Risorse sui prodotti:
“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 continua e approfondita delle istruzioni critiche del codice C e C++ nelle pipeline di integrazione continua.
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.
Domande frequenti su Polyspace as You Code
Polyspace as You Code è un plug-in per IDE che rileva difetti critici, vulnerabilità di sicurezza e problemi di conformità del codice direttamente nella vista del codice sorgente mentre gli sviluppatori scrivono o modificano il codice.
Polyspace as You Code rileva oltre 300 tipi di difetti di programmazione C/C++, inclusi errori numerici, di flusso dati, di memoria e generici, che possono causare errori a runtime o problemi di sicurezza.
Verifica il codice C/C++ rispetto agli standard di codifica industriali, inclusi MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C e CERT C++, e supporta l’applicazione di regole di codifica e convenzioni di naming personalizzate.
Polyspace as You Code 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 as You Code supporta Visual Studio, Visual Studio Code, Eclipse e IDE basati su Eclipse, con un’API per l’integrazione in altri ambienti.
Polyspace Bug Finder identifica bug, violazioni delle regole di codifica e metriche di qualità del codice su progetti completi durante le fasi di integrazione e verifica. Polyspace Code Prover utilizza metodi formali per dimostrare esaustivamente l'assenza di errori di runtime selezionati. Polyspace as You Code esegue un sottoinsieme dell’analisi di Polyspace Bug Finder direttamente nell’IDE per aiutare gli sviluppatori a rilevare i problemi mentre scrivono il codice.
Sì. Polyspace as You Code può evidenziare solo i problemi introdotti di recente nel codice confrontando i risultati dell’analisi con una baseline, sia dal checkout locale sia dagli ultimi risultati di integrazione quando connesso a Polyspace Access.
Vuoi saperne di più su Polyspace as You Code?
Novità
Navigazione nel pannello
Articoli gratuiti
