Longming Dong, Wei Dong, Liqian Chen. Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. In Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume. pages 144-151, IEEE, 2012. [doi]
Abstract is missing.