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

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'