Già nella programmazione in CODESYS, CODESYS Static Analysis aiuta a scrivere codice più leggibile e a individuare impostazioni contraddittorie o non supportate. In particolare, è possibile identificare potenziali fonti di errore, come il codice di prova o i puntatori che non sono stati controllati per 0 prima di essere dereferenziati. Con controlli specifici, è possibile assicurarsi che il codice sia portabile. Esempio: L'analisi deve riportare l'uso di risorse linguistiche per l'orientamento agli oggetti, perché il codice deve essere eseguito su piattaforme che non supportano l'orientamento agli oggetti.

L'analisi controlla il codice sorgente del progetto CODESYS e segnala eventuali deviazioni da determinate regole di codifica, convenzioni di denominazione o parole chiave e identificatori consentiti. CODESYS Static Analysis si basa sull'insieme di regole definite nelle Linee guida per la codifica di PLCopen e le estende con ulteriori opzioni di test.

È possibile visualizzare le deviazioni rilevate come errori o avvisi nella vista dei messaggi prima che il progetto venga scaricato sul sistema di destinazione. Per gli errori segnalati dall'analisi statica in base alle informazioni di precompilazione, è disponibile un supporto per la gestione immediata degli errori ("Quickfix").

L'analisi statica può essere attivata esplicitamente facendo clic su «Build  Run Static Analysis», oppure può essere eseguita automaticamente a ogni generazione di codice. L'esecuzione automatica viene attivata nella finestra di dialogo «Static Analysis» delle impostazioni del progetto. In questa finestra di dialogo è possibile configurare in dettaglio gli elementi da controllare. Si possono usare le dichiarazioni pragma per escludere singole parti del codice dal controllo.

Per valutare la qualità del codice, è anche possibile visualizzare le metriche selezionate che CODESYS Static Analysis rileva nel codice in una vista separata. Un esempio è la metrica McCabe, che misura la complessità ciclomatica e indica il numero di percorsi di esecuzione che possono essere elaborati durante l'esecuzione del codice.