오류: container-overflow
삭제자 오류 해결: 컨테이너 오버플로
Visual Studio 2022 버전 17.2 이상에서는 Microsoft Visual C++ 표준 라이브러리(STL)가 AddressSanitizer와 함께 작동하도록 부분적으로 인식됩니다. 다음 컨테이너 유형에는 메모리 액세스 문제를 검색하는 주석이 있습니다.
표준 컨테이너 유형 | 주석 매크로 사용 안 함 | 버전에서 지원됨 |
---|---|---|
std::vector |
_DISABLE_VECTOR_ANNOTATION |
Visual Studio 2022 17.2 |
std::string |
_DISABLE_STRING_ANNOTATION |
Visual Studio 2022 17.6 |
ODR(One-definition-rule) 위반이 없는지 확인하는 검사가 있습니다. 한 번역 단위가 ASan 주석을 사용하여 표준 형식 vector
에 주석을 달지만 다른 번역 단위는 주석을 달지 않을 때 ODR 위반이 발생합니다. 이 예제에서 링커는 주소 삭제기 주석이 있는 선언 하나 vector<int>::push_back
와 그렇지 않은 다른 선언 vector<int>::push_back
을 동시에 볼 수 있습니다. 이 문제를 방지하려면 이진 파일을 연결하는 데 사용되는 각 정적 라이브러리 및 개체도 ASan 주석을 사용하도록 설정해야 합니다. 실제로 AddressSanitizer를 사용하도록 설정된 정적 라이브러리 및 개체를 빌드해야 합니다. 코드를 다른 주석 설정과 혼합하면 오류가 발생합니다.
my_static.lib(my_code.obj) : error LNK2038: mismatch detected for 'annotate_vector': value '0' doesn't match value '1' in main.obj
이 오류를 해결하려면 해당 매크로를 사용하는 모든 프로젝트에서 주석을 사용하지 않도록 설정하거나 각 프로젝트를 사용하여 /fsanitize=address
빌드하고 주석을 사용하도록 설정합니다. (주석은 기본적으로 사용하도록 설정됩니다.)
예: 에서 예약된 메모리 액세스 std::vector
// Compile with: cl /EHsc /fsanitize=address /Zi
#include <vector>
int main() {
// Create a vector of size 10, but with a capacity of 20.
std::vector<int> v(10);
v.reserve(20);
// In versions prior to 17.2, MSVC ASan does NOT raise an exception here.
// While this is an out-of-bounds write to 'v', MSVC ASan
// ensures the write is within the heap allocation size (20).
// With 17.2 and later, MSVC ASan will raise a 'container-overflow' exception:
// ==18364==ERROR: AddressSanitizer: container-overflow on address 0x1263cb8a0048 at pc 0x7ff6466411ab bp 0x005cf81ef7b0 sp 0x005cf81ef7b8
v[10] = 1;
// Regardless of version, MSVC ASan DOES raise an exception here, as this write
// is out of bounds from the heap allocation.
v[20] = 1;
}
이 예제를 빌드하고 테스트하려면 Visual Studio 2022 버전 17.2 이상 개발자 명령 프롬프트 창에서 다음 명령을 실행합니다.
cl /EHsc example1.cpp /fsanitize=address /Zi
devenv /debugexe example1.exe
에서 예약된 메모리 액세스의 오류 결과 std::vector
사용자 지정 할당자 및 컨테이너 오버플로
주소 삭제자 컨테이너 오버플로 검사는 비std::allocator
할당자를 지원합니다. 그러나 AddressSanitizer는 사용자 지정 할당자가 8바이트 경계에서 할당을 정렬하는 것과 같은 AddressSanitizer 요구 사항을 준수하는지 또는 할당의 끝과 다음 8바이트 경계 사이에 데이터를 배치하지 않는 것과 같은 AddressSanitizer 요구 사항을 준수하는지 알 수 없으므로 할당의 후반부에서 액세스가 올바른지 항상 확인할 수는 없습니다.
AddressSanitizer는 메모리 블록을 8바이트 청크로 표시합니다. 액세스할 수 없는 바이트를 단일 청크로 액세스할 수 있는 바이트 앞에 배치할 수 없습니다. 청크에 액세스할 수 있는 바이트 8개 또는 액세스할 수 있는 바이트 4개와 액세스할 수 없는 바이트 4바이트가 있는 것은 유효합니다. 액세스할 수 없는 바이트 4개 뒤에는 액세스할 수 있는 바이트 4개가 뒤따를 수 없습니다.
사용자 지정 할당자의 할당 종료가 8바이트 청크의 끝과 엄격하게 일치하지 않는 경우 AddressSanitizer는 할당자가 할당의 끝과 청크의 끝 사이의 바이트를 할당자 또는 사용자가 쓸 수 있도록 한다고 가정해야 합니다. 따라서 마지막 8바이트 청크의 바이트를 액세스할 수 없는 것으로 표시할 수 없습니다. 사용자 지정 할당자를 사용하여 메모리를 할당하는 다음 예제 vector
에서 '?'는 초기화되지 않은 데이터를 참조하고 '-'는 액세스할 수 없는 메모리를 나타냅니다.
std::vector<uint8_t, MyCustomAlloc<uint8_t>> v;
v.reserve(20);
v.assign({0, 1, 2, 3});
// the buffer of `v` is as follows:
// | v.data()
// | | v.data() + v.size()
// | | | v.data() + v.capacity()
// [ 0 1 2 3 ? ? ? ? ][ ? ? ? ? ? ? ? ? ][ ? ? ? ? - - - - ]
// chunk 1 chunk 2 chunk 3
이전 예제에서 청크 3에는 예약된 20바이트의 할당 종료(v.reserve(20)
)와 8바이트의 세 번째 논리 그룹화 끝 사이에 있기 때문에 액세스할 수 없는 것으로 간주되는 4바이트의 메모리가 있습니다(AddressSanitizer는 메모리 블록을 8바이트 청크로 표시함).
이상적으로는 8바이트 블록에서 유효한 바이트를 추적하기 위해 메모리의 모든 8바이트 블록에 대해 Address Sanitizer가 따로 설정하는 섀도 메모리를 표시합니다. 이는 액세스가 가능하고 v.data() + [v.size(), v.capacity())
액세스할 수 없는 유효하지 않은(및 이유)v.data() + [0, v.size())
입니다. 여기에서 간격 표기법을 사용합니다. '['는 포괄을 의미하고 ')'는 배타적이라는 의미입니다. 사용자가 사용자 지정 할당자를 사용하는 경우 이후 메모리 v.data() + v.capacity()
에 액세스할 수 있는지 여부를 알 수 없습니다. 우리는 그것이라고 가정해야합니다. 이러한 바이트를 섀도 메모리에서 액세스할 수 없는 것으로 표시하고 싶지만 할당 후 해당 바이트에 액세스할 수 있도록 액세스 가능한 것으로 표시해야 합니다.
std::allocator
에서는 _Minimum_asan_allocation_alignment
정적 멤버 변수를 사용하여 할당자에서 할당 직후에 데이터를 배치하지 않도록 신뢰할 수 있음을 알 vector
string
립니다. 이렇게 하면 할당자가 할당 끝과 청크 끝 사이의 메모리를 사용하지 않습니다. 따라서 청크의 해당 부분은 오버런을 catch하기 위해 주소 삭제자에 액세스할 수 없음으로 표시될 수 있습니다.
구현에서 사용자 지정 할당자가 할당의 끝과 청크 끝 사이의 메모리를 처리하는 것을 신뢰하여 해당 메모리를 액세스할 수 없음으로 표시하고 오버런을 catch할 수 있도록 하려면 실제 최소 맞춤으로 설정합니다 _Minimum_asan_allocation_alignment
. AddressSanitizer가 올바르게 작동하려면 맞춤이 8 이상이어야 합니다.
참고 항목
AddressSanitizer 개요
AddressSanitizer 알려진 문제
AddressSanitizer 빌드 및 언어 참조
AddressSanitizer 런타임 참조
AddressSanitizer 섀도 바이트
AddressSanitizer 클라우드 또는 분산 테스트
AddressSanitizer 디버거 통합
AddressSanitizer 오류 예제