• SA0001: Codice non raggiungibile
• SA0002: Oggetti vuoti
• SA0003: Dichiarazioni vuote
• SA0004: Accesso multiplo in scrittura sull'uscita
• SA0006: Accesso in scrittura da più attività
• SA0007: Operatore di indirizzo sulle costanti
• SA0008: Controllare i tipi di sottogamma
• SA0009: Valori di ritorno non utilizzati
• SA0010: Array con un solo componente
• SA0011: Dichiarazioni inutili
• SA0012: Variabili che possono essere dichiarate come costanti
• SA0013: Dichiarazioni con lo stesso nome di variabile
• SA0014: Assegnazione di istanze
• SA0015: Accesso ai dati globali tramite FB_Init
• SA0016: Lacune nelle strutture
• SA0017: Incarichi non regolari
• SA0018: Accesso insolito ai bit
• SA0020: Possibile assegnazione di un valore troncato alla variabile REAL
• SA0021: Trasporto dell'indirizzo di una variabile temporanea
• SA0022: Valore di ritorno (eventualmente) non assegnato
• SA0023: Valori di ritorno complessi
• SA0024: Letterali non tipizzati / costanti
• SA0025: Costanti di enumerazione non qualificate
• SA0026: Possibili stringhe troncate
• SA0027: Uso multiplo degli identificatori
• SA0028: Sovrapposizione di aree di memoria
• SA0029: Notazione nel codice diversa dalla dichiarazione
• Oggetti non utilizzati
• SA0034: Enumerazioni con assegnazione errata
• SA0037: Accesso in scrittura alla variabile di ingresso
• SA0038: Accesso in lettura alla variabile di uscita
• SA0040: Possibile divisione per zero
• SA0041: Rilevare il possibile codice invariante del ciclo
• SA0042: Utilizzo di diversi percorsi di accesso
• SA0043: Uso di una variabile globale in un solo POU
• SA0044: Dichiarazioni con riferimento all'interfaccia
• Conversioni
• Uso di indirizzi diretti
• Regole per gli operatori
• Regole per le dichiarazioni
• SA0095: Assegnazioni in condizioni
• SA0100: Variabili superiori a <n> byte...
• SA0101: Nomi con lunghezza non valida
• SA0102: Accesso alle variabili del programma/fb dall'esterno
• SA0103: Accesso concorrente a dati non atomici
• SA0105: Chiamate multiple di istanza
• SA0106: Chiamate di metodi virtuali in FB_INIT
• SA0107: Parametri formali mancanti
• Controllo delle rigide regole IEC
• SA0140: Dichiarazioni commentate
• Possibile uso di variabili non inizializzate
• SA0150: Violazione dei limiti inferiori o superiori o delle metriche
• SA0160: Chiamate ricorsive
• SA0161: Struttura non imballata in struttura imballata
• SA0162: Commenti mancanti
• SA0163: Commenti annidati
• SA0164: Commenti multilinea
• SA0165: Attività che chiamano POU diverse dai programmi
• SA0166: Numero massimo di variabili di ingresso/uscita/in uscita...
• SA0167: Istanze temporanee di blocchi funzione
• SA0168: Incarichi non necessari
• SA0169: Uscite ignorate