Panoramica
Importante
L'analisi statica viene eseguita nel progetto corrente solo per il codice dell'applicazione. Le biblioteche e i loro codici sorgente non vengono analizzati.
CODESYS Static Analysis ti aiuta durante l'implementazione per scrivere codice migliore e più leggibile e per identificare parti di programma in conflitto o non supportate. In particolare vengono individuate potenziali fonti di errore. Ad esempio, vengono identificate le posizioni in cui è ancora contenuto il codice di test. Oppure vengono trovati puntatori che non vengono controllati per 0 prima del dereferenziamento. Oppure (con il SA0119 regola) vengono analizzate le posizioni in cui viene utilizzato l'orientamento agli oggetti e i collegamenti a un altro ambiente di sviluppo, che non supporta l'orientamento agli oggetti, rendendolo quindi impossibile. Di conseguenza, la portabilità del codice può essere garantita.
Per gli errori segnalati da Static Analysis sulla base delle informazioni di precompilazione, è disponibile il supporto per una gestione immediata degli errori ("Quickfix"). Ciò consente di trovare e correggere rapidamente le posizioni nel codice segnalate durante l'analisi.
Per migliorare la leggibilità del codice sorgente, è possibile definire convenzioni di denominazione e verificarne la conformità.
Inoltre, per valutare la qualità del codice, è possibile visualizzare le metriche determinate dal codice sorgente. Gli esempi includono la metrica McCabe come misura della testabilità del codice o la complessità cognitiva come misura della leggibilità e manutenibilità del codice sorgente. L'analisi del flusso di dati eseguita nell'analisi statica si basa sul principio della propagazione costante.
Con il Crea → Esegui analisi statica comando del menu si attiva esplicitamente l'analisi statica.
Nel Impostazioni finestra di dialogo, si abilita un'analisi statica che viene eseguita automaticamente dopo ogni compilazione del codice.
Usate affermazioni pragmatiche per escludere singole parti o blocchi di codice dall'analisi.
Nel Regole finestra di dialogo, puoi scoprire quali regole sono configurate, come vengono attivate e quando vengono eseguiti i controlli sulla rispettiva regola. Lì attivi le regole che sono rilevanti per te.
Nel Convenzioni di denominazione dialog, si assegna un prefisso a ciascun tipo di dati come previsto nelle dichiarazioni. Vengono segnalate le deviazioni.
Nel Impostazioni di analisi statica: Metriche finestra di dialogo, attivi le metriche rilevanti per te.
Con il Mostra complessità cognitiva per l'editor corrente comando, gli incrementi determinati vengono visualizzati riga per riga nell'editor attivo.
IL Mostra valori di propagazione costante per l'editor corrente Il comando analizza in dettaglio il flusso di dati nell'editor attivo e lo visualizza percorso per percorso. A seconda di ciò, sono possibili miglioramenti al codice.
Per ulteriori informazioni, vedere: regole, Metrica, E Pragma e attributi