Rileva le variabili a cui non si accede con i permessi di scrittura e che quindi potrebbero essere dichiarate come costanti.
Giustificazione: Se una variabile viene scritta solo nel punto di dichiarazione e per il resto viene utilizzata solo in lettura, l'analisi statica presuppone che la variabile non debba essere modificata. In primo luogo, una dichiarazione come costante comporta il controllo che la variabile non venga modificata quando il programma viene cambiato. In secondo luogo, la dichiarazione come costante può rendere il codice più veloce.




AVVISO

Se in un progetto esistono più applicazioni, sono interessati solo gli oggetti al di sotto dell'applicazione attualmente attiva. Se esiste una sola applicazione, sono interessati anche gli oggetti del pool POU comune.
Importanza: Basso
Esempio
PROGRAM PLC_PRG VAR iVar : INT := INT#17; iTest : INT; END_VAR iTest := iTest + iVar; // SA0012: iVar could be declared as constant --> SA0012: Variable 'iVar' could be declared as constant