Title :
CheckPointer - A C Memory Access Validator
Author :
Mehlich, Michael
Author_Institution :
Semantic Designs, Inc., Austin, TX, USA
Abstract :
Check Pointer is a memory access validator for checking spatial and temporal pointer usage errors in multi-threaded applications by tracking meta data and validating pointer dereferences at run-time. The tool uses source-to source transformations implemented with DMS to instrument the source code of the application to be validated with meta data checks. Libraries available only in binary form are handled by using function wrappers that check meta data immediately before calling a library function and update meta data as necessary immediately after the library function returns.
Keywords :
checkpointing; meta data; multi-threading; source coding; storage management; C memory access validator; DMS; checkpointer; function wrappers; library function; meta data checking; multithreaded application; source code; source-to-source transformation; spatial pointer usage error; temporal pointer usage error; CheckPointer; DMS; instrumentation; memory access error; memory debugger; memory safety; out-of-bounds error; pointer error; source-to-source transformations;
Conference_Titel :
Source Code Analysis and Manipulation (SCAM), 2011 11th IEEE International Working Conference on
Conference_Location :
Williamsburg, VI
Print_ISBN :
978-1-4577-0932-6
DOI :
10.1109/SCAM.2011.8
