Geçersiz adresleri ve veri tipi özelliklerini tespit eder. Adreslerde geçerli boyut önekleri: X için ‎BOOL‎ 1 baytlık veri türleri için B, 2 baytlık veri türleri için W ve 4 baytlık veri türleri için D.

Gerekçe: Doğrudan adreslerde bulunan değişkenler tercihen veri tipi genişliklerine karşılık gelen bir adresle ilişkilendirilmelidir. Örneğin, bir ‎DWORD‎ adresinin bir ‎BYTE‎ adresine atanması, kodu okuyan kişi için kafa karıştırıcı olabilir.

Önemliymiş: Düşük

PROGRAM Check_Address_Type_PRG
VAR
	iVar AT %QB0 : INT ;   // OK e. g.: %QW0
	xTest AT %QW1 : BOOL ; // OK e. g.: %QX1.0
END_VAR

iVar := iVar + INT#1;
xTest := NOT xTest;

--> SA0005: Invalid address for data type 'iVar'