Detecta variables a las que no se accede con permiso de escritura y que, por tanto, podrían declararse como constantes.
Justificación: Si una variable sólo se escribe en el punto de declaración y, por lo demás, sólo se utiliza para lectura, el análisis estático asume que la variable tampoco debe modificarse. En primer lugar, una declaración como constante tiene como resultado la comprobación de que la variable no se modifica al cambiar el programa. En segundo lugar, la declaración como constante puede resultar en un código más rápido.




AVISO

Si existen varias aplicaciones en un proyecto, sólo se verán afectados los objetos situados por debajo de la aplicación activa en ese momento. Si sólo hay una aplicación, también se ven afectados los objetos del pool POU común.
Importancia: Bajo
Ejemplo
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