1 research outputs found

    CheckPointer A C Memory Access Validator

    No full text
    Abstract—CheckPointer 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-tosource 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-CheckPointer; memory safety; memory debugger; out-of-bounds error; pointer error; memory access error; instrumentation; source-to-source transformations; DMS I
    corecore