A configurable automatic instrumentation tool for ANSI C | IEEE Conference Publication | IEEE Xplore