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 is an IDE plugin that detects critical defects, security vulnerabilities, and code compliance issues directly within the source code view as developers write or modify code.
Polyspace as You Code detects more than 300 types of C/C++ coding defects, including numerical, data flow, memory, and general programming errors that can cause runtime failures or security issues.
It checks C/C++ code against industry coding standards including MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C, and CERT C++, and supports enforcement of custom coding rules and naming conventions.
Polyspace as You Code applies static analysis methods, including semantic analysis, to analyze control flow, data flow, and interprocedural behavior in C/C++ code without requiring code execution.
Polyspace as You Code supports Visual Studio, Visual Studio Code, Eclipse, and Eclipse-based IDEs, with an API for integration into other environments.
Polyspace Bug Finder identifies bugs, coding-rule violations, and code quality metrics across complete projects during integration and verification. Polyspace Code Prover uses formal methods to exhaustively prove the absence of selected runtime errors. Polyspace as You Code runs a subset of Polyspace Bug Finder analysis directly in the IDE to help developers detect issues as they write code.
Yes. Polyspace as You Code can highlight only issues newly introduced in your code by comparing analysis results against a baseline, either from your local checkout or from the latest integration results when connected to Polyspace Access.
Vuoi saperne di più su Polyspace as You Code?
Novità
Navigazione nel pannello
Articoli gratuiti
