Detects pointer dereferences that are used for initialization in the declaration part
Justification: Pointers and references should not be used for initializations because this can lead to access violations if the pointer has not been initialized.
Importance: Medium
Example
FUNCTION_BLOCK FB_Test VAR_INPUT refStruct: REFERENCE TO ST_Test; END_VAR VAR xPointer : BOOL := refStruct.a; // SA0124 iCount : INT; END_VAR --> SA0124: Dereference access in initialisation