A State Machine for Detecting C/C++ Memory Faults | IEEE Conference Publication | IEEE Xplore