Error: `memcpy-param-overlap`

Artikkeli
03/21/2024

Address Sanitizer Error: memcpy-param-overlap

The CRT function memcpy doesn't support overlapping memory. The CRT provides an alternative to memcpy that does support overlapping memory: memmove.

A common error is to treat memmove as being semantically equivalent to memcpy.

Example

// example1.cpp
// memcpy-param-overlap error
#include <string.h>

__declspec(noinline) void bad_function() {
    char buffer[] = "hello";

    memcpy(buffer, buffer + 1, 5); // BOOM!
}

int main(int argc, char **argv) {
    bad_function();
    return 0;
}

To build and test this example, run these commands in a Visual Studio 2019 version 16.9 or later developer command prompt:

cl example1.cpp /fsanitize=address /Zi /Oi
devenv /debugexe example1.exe

The /Oi flag tells the compiler to treat memcpy and memmove as intrinsic functions. This is necessary because some versions of the standard library implement memcpy and memmove in the same way. Because ASAN is a dynamic analysis tool, it only detects errors with an observable runtime effect.

Resulting error

Screenshot of debugger displaying memcpy-param-overlap error in example 1.

Jaa

Error: `memcpy-param-overlap`

Example

Resulting error

See also

Palaute

Lisäresursseja