Detecta variables de entrada (VAR_INPUT) a las que se accede con permiso de escritura dentro del POU.
Justificación: Según la norma IEC 61131-3, una variable de entrada no debe modificarse dentro de un POU. Este tipo de acceso también es causa de errores y hace que el código sea poco mantenible. Esto indica que una variable se utiliza como variable de entrada y como variable auxiliar. Este tipo de doble uso debe evitarse.
Importancia: Medio
Ejemplo
VAR_GLOBAL g_xGlob AT %QX0.0 : BOOL; END_VAR PROGRAM PLC_PRG VAR_INPUT xVarIn1:BOOL; xVarIn2:BOOL; END_VAR VAR iCondition : INT; END_VAR iCondition := iCondition + INT#1; CASE iCondition OF INT#1: g_xGlob := xVarIn1; INT#2: g_xGlob := xVarIn2; ELSE g_xGlob := FALSE; xVarIn1 := FALSE; // SA0037 END_CASE --> SA0037: Write access to input variable 'xVarIn1'