检测指针的添加
理由在CODESYS 中,一般允许使用指针运算,也可以适当使用指针运算。然而,它也是错误的根源。因此,编程规则一般禁止指针运算。这项测试可以检查这种要求。
重要性:中型
示例
PROGRAM PLC_PRG VAR iTest:INT; ariTest:ARRAY[0..10] OF INT; {attribute 'analysis':='-111'} piTest:POINTER TO INT; i:INT; END_VAR piTest := ADR(ariTest[0]); // OK piTest^:= 0; piTest := ADR(ariTest) + SIZEOF(INT); // SA0064 piTest^:= 1; piTest := ADR(ariTest) + 6; // SA0064 piTest^:= 3; piTest := ADR(ariTest[10]); FOR i:=0 TO 10 DO piTest^ := i; piTest := piTest + 2; // SA0064 END_FOR --> SA0064: Addition of pointer