A Propagation Engine Based Approach for Pointer Reference Fault Detection: A Propagation Engine Based Approach for Pointer Reference Fault Detection