This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation
CheckPointer - A C Memory Access Validator
Williamsburg, Virginia USA
September 25-September 26
ISBN: 978-0-7695-4347-5
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.
Index Terms:
CheckPointer, memory safety, memory debugger, out-of-bounds error, pointer error, memory access error, instrumentation, source-to-source transformations, DMS
Citation:
Michael Mehlich, "CheckPointer - A C Memory Access Validator," scam, pp.165-172, 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation, 2011
Usage of this product signifies your acceptance of the Terms of Use.