dl-breadcrumbs__homedl-breadcrumb-item__separatorYapılandırma ve programlamadl-breadcrumb-item__separatorMühendislik arayüzleri ve araçlarıdl-breadcrumb-item__separatorCODESYS Statik Analizdl-breadcrumb-item__separator...dl-breadcrumb-item__separatorReferans, Programlamadl-breadcrumb-item__separatorKurallardl-breadcrumb-item__separatorBaşlatılmamış Değişkenlerin Olası Kullanımıdl-breadcrumb-item__separatorSA0039: Olası null-pointer deferansları
dl-pagination__prev-inactivedl-pagination__prev-activedl-pagination__next-inactivedl-pagination__next-active
SA0039: Olası null-pointer deferanslarıdl-permalink__symbolPermalink

Bir null işaretçinin muhtemelen dereferanslandığı kod konumlarını tespit eder

Gerekçe: Bir işaretçi, sıfıra eşit olmadığından emin olmak için her dereferanstan önce kontrol edilmelidir. Aksi takdirde çalışma zamanında bir erişim ihlali meydana gelebilir.

Önemliymiş: Yüksek

Örnek

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^'