dl-breadcrumbs__homedl-breadcrumb-item__separatorConfiguración y programacióndl-breadcrumb-item__separatorInterfaces y herramientas de ingenieríadl-breadcrumb-item__separatorCODESYS Análisis estáticodl-breadcrumb-item__separator...dl-breadcrumb-item__separatorReferencia, Programacióndl-breadcrumb-item__separatorReglasdl-breadcrumb-item__separatorPosible uso de variables no inicializadasdl-breadcrumb-item__separatorSA0039: Posibles deferencias de puntero nulo
dl-pagination__prev-inactivedl-pagination__prev-activedl-pagination__next-inactivedl-pagination__next-active
SA0039: Posibles deferencias de puntero nulodl-permalink__symbolPermalink

Detecta las ubicaciones de código en las que es posible que se haga referencia a un puntero nulo.

Justificación: Un puntero debe comprobarse antes de cada desreferencia para asegurarse de que no es igual a cero. De lo contrario, puede producirse una violación de acceso en tiempo de ejecución.

Importancia: Alta

Ejemplo

PROGRAM PLC_PRG
VAR
	ptiVar1:POINTER TO INT;
	ptiVar2:POINTER TO INT;
	ptiVar3:POINTER TO INT;
	iVar:INT;
	iCount :INT;
	iCondition: INT;
END_VAR

iCount := iCount + INT#1;
ptiVar1 := ADR(iVar);
ptiVar1^ := iCondition; // OK - valid reference
ptiVar2^ := iCondition; // SA0039 - null pointer dereferenciation
iVar := ptiVar3^;       // SA0039 - null pointer dereferenciation

--> SA0039: Possible null pointer dereference 'ptiVar2^'
--> SA0039: Possible null pointer dereference 'ptiVar3^'