Polyspace Bug Finder
Polyspace® Bug Finder™ identifica errori di runtime, problemi di concorrenza, vulnerabilità di sicurezza e altri difetti nel software embedded C e C++. Utilizzando l'analisi statica, inclusa l'analisi semantica, Polyspace Bug Finder analizza il controllo del software, il flusso dei dati e il comportamento interprocedurale. Evidenziando i difetti non appena vengono rilevati, consente di classificare e correggere i bug nelle fasi iniziali del processo di sviluppo.
Polyspace Bug Finder controlla la conformità agli standard delle regole di codifica, quali MISRA C™, MISRA C++, JSF++, CERT® C, CERT C++ e convenzioni di denominazione personalizzate. Genera report che riportano i bug individuati, le violazioni delle regole di codice e le metriche di qualità del codice, inclusa la complessità ciclomatica. Polyspace Bug Finder può essere utilizzato con l'IDE Eclipse™ per analizzare il codice sul desktop.
Per il codice generato automaticamente, i risultati di Polyspace possono essere ricondotti ai modelli di Simulink® ai blocchi dSPACE® TargetLink®.
Il supporto per gli standard industriali è disponibile tramite IEC Certification Kit (for ISO 26262 and IEC 61508) e DO Qualification Kit (for DO-178).
Come iniziare con PolyspaceBug Finder
Impara le nozioni di base di Polyspace Bug Finder
Installazione di Polyspace
Installare i prodotti di Polyspace per l'analisi su desktop, server o IDE
Configurazione ed esecuzione dell'analisi
Impostare l'analisi Polyspace Bug Finder su desktop, server o IDE
Revisione dei risultati di analisi
Revisionare i risultati di Polyspace Bug Finder nell'interfaccia utente desktop di Polyspace, nel browser web o negli IDE
Qualificazione e certificazione degli strumenti
Qualificare Polyspace Bug Finder per la certificazione DO e IEC
Risoluzione dei problemi di Polyspace Bug Finder
Risolvere problemi imprevisti in Polyspace Bug Finder
