annotate libsanitizer/asan/asan_malloc_win.cpp @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 //===-- asan_malloc_win.cpp -----------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 // This file is a part of AddressSanitizer, an address sanity checker.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 // Windows-specific malloc interception.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 //===----------------------------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 #include "sanitizer_common/sanitizer_allocator_interface.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 #include "sanitizer_common/sanitizer_platform.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 #if SANITIZER_WINDOWS
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 #include "asan_allocator.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 #include "asan_interceptors.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 #include "asan_internal.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 #include "asan_stack.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 #include "interception/interception.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 #include <stddef.h>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 // Intentionally not including windows.h here, to avoid the risk of
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 // pulling in conflicting declarations of these functions. (With mingw-w64,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 // there's a risk of windows.h pulling in stdint.h.)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 typedef int BOOL;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 typedef void *HANDLE;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 typedef const void *LPCVOID;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 typedef void *LPVOID;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 typedef unsigned long DWORD;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 constexpr unsigned long HEAP_ZERO_MEMORY = 0x00000008;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 constexpr unsigned long HEAP_REALLOC_IN_PLACE_ONLY = 0x00000010;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 constexpr unsigned long HEAP_ALLOCATE_SUPPORTED_FLAGS = (HEAP_ZERO_MEMORY);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 constexpr unsigned long HEAP_ALLOCATE_UNSUPPORTED_FLAGS =
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 (~HEAP_ALLOCATE_SUPPORTED_FLAGS);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 constexpr unsigned long HEAP_FREE_UNSUPPORTED_FLAGS =
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 (~HEAP_ALLOCATE_SUPPORTED_FLAGS);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 constexpr unsigned long HEAP_REALLOC_UNSUPPORTED_FLAGS =
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 (~HEAP_ALLOCATE_SUPPORTED_FLAGS);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 extern "C" {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 LPVOID WINAPI HeapAlloc(HANDLE hHeap, DWORD dwFlags, size_t dwBytes);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 LPVOID WINAPI HeapReAlloc(HANDLE hHeap, DWORD dwFlags, LPVOID lpMem,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 size_t dwBytes);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 BOOL WINAPI HeapFree(HANDLE hHeap, DWORD dwFlags, LPVOID lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 size_t WINAPI HeapSize(HANDLE hHeap, DWORD dwFlags, LPCVOID lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 BOOL WINAPI HeapValidate(HANDLE hHeap, DWORD dwFlags, LPCVOID lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 using namespace __asan;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 // MT: Simply defining functions with the same signature in *.obj
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 // files overrides the standard functions in the CRT.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 // MD: Memory allocation functions are defined in the CRT .dll,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 // so we have to intercept them before they are called for the first time.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 #if ASAN_DYNAMIC
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 # define ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 #else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 # define ALLOCATION_FUNCTION_ATTRIBUTE SANITIZER_INTERFACE_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 #endif
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 extern "C" {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 size_t _msize(void *ptr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 GET_CURRENT_PC_BP_SP;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 (void)sp;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 return asan_malloc_usable_size(ptr, pc, bp);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 size_t _msize_base(void *ptr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 return _msize(ptr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 void free(void *ptr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 GET_STACK_TRACE_FREE;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 return asan_free(ptr, &stack, FROM_MALLOC);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 void _free_dbg(void *ptr, int) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88 free(ptr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 void _free_base(void *ptr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 free(ptr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 void *malloc(size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 GET_STACK_TRACE_MALLOC;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99 return asan_malloc(size, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 void *_malloc_base(size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 return malloc(size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108 void *_malloc_dbg(size_t size, int, const char *, int) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 return malloc(size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113 void *calloc(size_t nmemb, size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114 GET_STACK_TRACE_MALLOC;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115 return asan_calloc(nmemb, size, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 void *_calloc_base(size_t nmemb, size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 return calloc(nmemb, size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
123 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
124 void *_calloc_dbg(size_t nmemb, size_t size, int, const char *, int) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
125 return calloc(nmemb, size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
126 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
127
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
128 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
129 void *_calloc_impl(size_t nmemb, size_t size, int *errno_tmp) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
130 return calloc(nmemb, size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
131 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
132
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
133 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
134 void *realloc(void *ptr, size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
135 GET_STACK_TRACE_MALLOC;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
136 return asan_realloc(ptr, size, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
137 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
138
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
139 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
140 void *_realloc_dbg(void *ptr, size_t size, int) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
141 UNREACHABLE("_realloc_dbg should not exist!");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
142 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
143 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
144
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
145 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
146 void *_realloc_base(void *ptr, size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
147 return realloc(ptr, size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
148 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
149
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
150 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
151 void *_recalloc(void *p, size_t n, size_t elem_size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
152 if (!p)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
153 return calloc(n, elem_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
154 const size_t size = n * elem_size;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
155 if (elem_size != 0 && size / elem_size != n)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
156 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
157
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
158 size_t old_size = _msize(p);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
159 void *new_alloc = malloc(size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
160 if (new_alloc) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
161 REAL(memcpy)(new_alloc, p, Min<size_t>(size, old_size));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
162 if (old_size < size)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
163 REAL(memset)(((u8 *)new_alloc) + old_size, 0, size - old_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
164 free(p);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
165 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
166 return new_alloc;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
167 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
168
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
169 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
170 void *_recalloc_base(void *p, size_t n, size_t elem_size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
171 return _recalloc(p, n, elem_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
172 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
173
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
174 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
175 void *_expand(void *memblock, size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
176 // _expand is used in realloc-like functions to resize the buffer if possible.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
177 // We don't want memory to stand still while resizing buffers, so return 0.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
178 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
179 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
180
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
181 ALLOCATION_FUNCTION_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
182 void *_expand_dbg(void *memblock, size_t size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
183 return _expand(memblock, size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
184 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
185
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
186 // TODO(timurrrr): Might want to add support for _aligned_* allocation
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
187 // functions to detect a bit more bugs. Those functions seem to wrap malloc().
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
188
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
189 int _CrtDbgReport(int, const char*, int,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
190 const char*, const char*, ...) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
191 ShowStatsAndAbort();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
192 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
193
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
194 int _CrtDbgReportW(int reportType, const wchar_t*, int,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
195 const wchar_t*, const wchar_t*, ...) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
196 ShowStatsAndAbort();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
197 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
198
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
199 int _CrtSetReportMode(int, int) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
200 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
201 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
202 } // extern "C"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
203
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
204 #define OWNED_BY_RTL(heap, memory) \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
205 (!__sanitizer_get_ownership(memory) && HeapValidate(heap, 0, memory))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
206
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
207 INTERCEPTOR_WINAPI(size_t, HeapSize, HANDLE hHeap, DWORD dwFlags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
208 LPCVOID lpMem) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
209 // If the RTL allocators are hooked we need to check whether the ASAN
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
210 // allocator owns the pointer we're about to use. Allocations occur before
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
211 // interception takes place, so if it is not owned by the RTL heap we can
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
212 // pass it to the ASAN heap for inspection.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
213 if (flags()->windows_hook_rtl_allocators) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
214 if (!asan_inited || OWNED_BY_RTL(hHeap, lpMem))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
215 return REAL(HeapSize)(hHeap, dwFlags, lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
216 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
217 CHECK(dwFlags == 0 && "unsupported heap flags");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
218 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
219 GET_CURRENT_PC_BP_SP;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
220 (void)sp;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
221 return asan_malloc_usable_size(lpMem, pc, bp);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
222 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
223
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
224 INTERCEPTOR_WINAPI(LPVOID, HeapAlloc, HANDLE hHeap, DWORD dwFlags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
225 size_t dwBytes) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
226 // If the ASAN runtime is not initialized, or we encounter an unsupported
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
227 // flag, fall back to the original allocator.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
228 if (flags()->windows_hook_rtl_allocators) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
229 if (UNLIKELY(!asan_inited ||
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
230 (dwFlags & HEAP_ALLOCATE_UNSUPPORTED_FLAGS) != 0)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
231 return REAL(HeapAlloc)(hHeap, dwFlags, dwBytes);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
232 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
233 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
234 // In the case that we don't hook the rtl allocators,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
235 // this becomes an assert since there is no failover to the original
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
236 // allocator.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
237 CHECK((HEAP_ALLOCATE_UNSUPPORTED_FLAGS & dwFlags) != 0 &&
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
238 "unsupported flags");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
239 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
240 GET_STACK_TRACE_MALLOC;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
241 void *p = asan_malloc(dwBytes, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
242 // Reading MSDN suggests that the *entire* usable allocation is zeroed out.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
243 // Otherwise it is difficult to HeapReAlloc with HEAP_ZERO_MEMORY.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
244 // https://blogs.msdn.microsoft.com/oldnewthing/20120316-00/?p=8083
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
245 if (p && (dwFlags & HEAP_ZERO_MEMORY)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
246 GET_CURRENT_PC_BP_SP;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
247 (void)sp;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
248 auto usable_size = asan_malloc_usable_size(p, pc, bp);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
249 internal_memset(p, 0, usable_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
250 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
251 return p;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
252 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
253
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
254 INTERCEPTOR_WINAPI(BOOL, HeapFree, HANDLE hHeap, DWORD dwFlags, LPVOID lpMem) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
255 // Heap allocations happen before this function is hooked, so we must fall
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
256 // back to the original function if the pointer is not from the ASAN heap,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
257 // or unsupported flags are provided.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
258 if (flags()->windows_hook_rtl_allocators) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
259 if (OWNED_BY_RTL(hHeap, lpMem))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
260 return REAL(HeapFree)(hHeap, dwFlags, lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
261 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
262 CHECK((HEAP_FREE_UNSUPPORTED_FLAGS & dwFlags) != 0 && "unsupported flags");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
263 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
264 GET_STACK_TRACE_FREE;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
265 asan_free(lpMem, &stack, FROM_MALLOC);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
266 return true;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
267 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
268
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
269 namespace __asan {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
270 using AllocFunction = LPVOID(WINAPI *)(HANDLE, DWORD, size_t);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
271 using ReAllocFunction = LPVOID(WINAPI *)(HANDLE, DWORD, LPVOID, size_t);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
272 using SizeFunction = size_t(WINAPI *)(HANDLE, DWORD, LPVOID);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
273 using FreeFunction = BOOL(WINAPI *)(HANDLE, DWORD, LPVOID);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
274
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
275 void *SharedReAlloc(ReAllocFunction reallocFunc, SizeFunction heapSizeFunc,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
276 FreeFunction freeFunc, AllocFunction allocFunc,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
277 HANDLE hHeap, DWORD dwFlags, LPVOID lpMem, size_t dwBytes) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
278 CHECK(reallocFunc && heapSizeFunc && freeFunc && allocFunc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
279 GET_STACK_TRACE_MALLOC;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
280 GET_CURRENT_PC_BP_SP;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
281 (void)sp;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
282 if (flags()->windows_hook_rtl_allocators) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
283 enum AllocationOwnership { NEITHER = 0, ASAN = 1, RTL = 2 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
284 AllocationOwnership ownershipState;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
285 bool owned_rtlalloc = false;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
286 bool owned_asan = __sanitizer_get_ownership(lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
287
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
288 if (!owned_asan)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
289 owned_rtlalloc = HeapValidate(hHeap, 0, lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
290
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
291 if (owned_asan && !owned_rtlalloc)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
292 ownershipState = ASAN;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
293 else if (!owned_asan && owned_rtlalloc)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
294 ownershipState = RTL;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
295 else if (!owned_asan && !owned_rtlalloc)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
296 ownershipState = NEITHER;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
297
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
298 // If this heap block which was allocated before the ASAN
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
299 // runtime came up, use the real HeapFree function.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
300 if (UNLIKELY(!asan_inited)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
301 return reallocFunc(hHeap, dwFlags, lpMem, dwBytes);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
302 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
303 bool only_asan_supported_flags =
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
304 (HEAP_REALLOC_UNSUPPORTED_FLAGS & dwFlags) == 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
305
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
306 if (ownershipState == RTL ||
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
307 (ownershipState == NEITHER && !only_asan_supported_flags)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
308 if (only_asan_supported_flags) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
309 // if this is a conversion to ASAN upported flags, transfer this
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
310 // allocation to the ASAN allocator
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
311 void *replacement_alloc;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
312 if (dwFlags & HEAP_ZERO_MEMORY)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
313 replacement_alloc = asan_calloc(1, dwBytes, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
314 else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
315 replacement_alloc = asan_malloc(dwBytes, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
316 if (replacement_alloc) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
317 size_t old_size = heapSizeFunc(hHeap, dwFlags, lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
318 if (old_size == ((size_t)0) - 1) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
319 asan_free(replacement_alloc, &stack, FROM_MALLOC);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
320 return nullptr;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
321 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
322 REAL(memcpy)(replacement_alloc, lpMem, old_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
323 freeFunc(hHeap, dwFlags, lpMem);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
324 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
325 return replacement_alloc;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
326 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
327 // owned by rtl or neither with unsupported ASAN flags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
328 // just pass back to original allocator
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
329 CHECK(ownershipState == RTL || ownershipState == NEITHER);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
330 CHECK(!only_asan_supported_flags);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
331 return reallocFunc(hHeap, dwFlags, lpMem, dwBytes);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
332 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
333 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
334
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
335 if (ownershipState == ASAN && !only_asan_supported_flags) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
336 // Conversion to unsupported flags allocation,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
337 // transfer this allocation back to the original allocator.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
338 void *replacement_alloc = allocFunc(hHeap, dwFlags, dwBytes);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
339 size_t old_usable_size = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
340 if (replacement_alloc) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
341 old_usable_size = asan_malloc_usable_size(lpMem, pc, bp);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
342 REAL(memcpy)(replacement_alloc, lpMem,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
343 Min<size_t>(dwBytes, old_usable_size));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
344 asan_free(lpMem, &stack, FROM_MALLOC);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
345 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
346 return replacement_alloc;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
347 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
348
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
349 CHECK((ownershipState == ASAN || ownershipState == NEITHER) &&
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
350 only_asan_supported_flags);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
351 // At this point we should either be ASAN owned with ASAN supported flags
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
352 // or we owned by neither and have supported flags.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
353 // Pass through even when it's neither since this could be a null realloc or
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
354 // UAF that ASAN needs to catch.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
355 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
356 CHECK((HEAP_REALLOC_UNSUPPORTED_FLAGS & dwFlags) != 0 &&
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
357 "unsupported flags");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
358 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
359 // asan_realloc will never reallocate in place, so for now this flag is
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
360 // unsupported until we figure out a way to fake this.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
361 if (dwFlags & HEAP_REALLOC_IN_PLACE_ONLY)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
362 return nullptr;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
363
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
364 // HeapReAlloc and HeapAlloc both happily accept 0 sized allocations.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
365 // passing a 0 size into asan_realloc will free the allocation.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
366 // To avoid this and keep behavior consistent, fudge the size if 0.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
367 // (asan_malloc already does this)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
368 if (dwBytes == 0)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
369 dwBytes = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
370
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
371 size_t old_size;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
372 if (dwFlags & HEAP_ZERO_MEMORY)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
373 old_size = asan_malloc_usable_size(lpMem, pc, bp);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
374
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
375 void *ptr = asan_realloc(lpMem, dwBytes, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
376 if (ptr == nullptr)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
377 return nullptr;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
378
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
379 if (dwFlags & HEAP_ZERO_MEMORY) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
380 size_t new_size = asan_malloc_usable_size(ptr, pc, bp);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
381 if (old_size < new_size)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
382 REAL(memset)(((u8 *)ptr) + old_size, 0, new_size - old_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
383 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
384
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
385 return ptr;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
386 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
387 } // namespace __asan
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
388
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
389 INTERCEPTOR_WINAPI(LPVOID, HeapReAlloc, HANDLE hHeap, DWORD dwFlags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
390 LPVOID lpMem, size_t dwBytes) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
391 return SharedReAlloc(REAL(HeapReAlloc), (SizeFunction)REAL(HeapSize),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
392 REAL(HeapFree), REAL(HeapAlloc), hHeap, dwFlags, lpMem,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
393 dwBytes);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
394 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
395
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
396 // The following functions are undocumented and subject to change.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
397 // However, hooking them is necessary to hook Windows heap
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
398 // allocations with detours and their definitions are unlikely to change.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
399 // Comments in /minkernel/ntos/rtl/heappublic.c indicate that these functions
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
400 // are part of the heap's public interface.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
401 typedef unsigned long LOGICAL;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
402
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
403 // This function is documented as part of the Driver Development Kit but *not*
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
404 // the Windows Development Kit.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
405 LOGICAL RtlFreeHeap(void* HeapHandle, DWORD Flags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
406 void* BaseAddress);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
407
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
408 // This function is documented as part of the Driver Development Kit but *not*
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
409 // the Windows Development Kit.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
410 void* RtlAllocateHeap(void* HeapHandle, DWORD Flags, size_t Size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
411
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
412 // This function is completely undocumented.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
413 void*
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
414 RtlReAllocateHeap(void* HeapHandle, DWORD Flags, void* BaseAddress,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
415 size_t Size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
416
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
417 // This function is completely undocumented.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
418 size_t RtlSizeHeap(void* HeapHandle, DWORD Flags, void* BaseAddress);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
419
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
420 INTERCEPTOR_WINAPI(size_t, RtlSizeHeap, HANDLE HeapHandle, DWORD Flags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
421 void* BaseAddress) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
422 if (!flags()->windows_hook_rtl_allocators ||
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
423 UNLIKELY(!asan_inited || OWNED_BY_RTL(HeapHandle, BaseAddress))) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
424 return REAL(RtlSizeHeap)(HeapHandle, Flags, BaseAddress);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
425 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
426 GET_CURRENT_PC_BP_SP;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
427 (void)sp;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
428 return asan_malloc_usable_size(BaseAddress, pc, bp);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
429 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
430
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
431 INTERCEPTOR_WINAPI(BOOL, RtlFreeHeap, HANDLE HeapHandle, DWORD Flags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
432 void* BaseAddress) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
433 // Heap allocations happen before this function is hooked, so we must fall
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
434 // back to the original function if the pointer is not from the ASAN heap, or
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
435 // unsupported flags are provided.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
436 if (!flags()->windows_hook_rtl_allocators ||
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
437 UNLIKELY((HEAP_FREE_UNSUPPORTED_FLAGS & Flags) != 0 ||
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
438 OWNED_BY_RTL(HeapHandle, BaseAddress))) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
439 return REAL(RtlFreeHeap)(HeapHandle, Flags, BaseAddress);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
440 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
441 GET_STACK_TRACE_FREE;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
442 asan_free(BaseAddress, &stack, FROM_MALLOC);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
443 return true;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
444 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
445
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
446 INTERCEPTOR_WINAPI(void*, RtlAllocateHeap, HANDLE HeapHandle, DWORD Flags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
447 size_t Size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
448 // If the ASAN runtime is not initialized, or we encounter an unsupported
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
449 // flag, fall back to the original allocator.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
450 if (!flags()->windows_hook_rtl_allocators ||
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
451 UNLIKELY(!asan_inited ||
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
452 (Flags & HEAP_ALLOCATE_UNSUPPORTED_FLAGS) != 0)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
453 return REAL(RtlAllocateHeap)(HeapHandle, Flags, Size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
454 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
455 GET_STACK_TRACE_MALLOC;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
456 void *p;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
457 // Reading MSDN suggests that the *entire* usable allocation is zeroed out.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
458 // Otherwise it is difficult to HeapReAlloc with HEAP_ZERO_MEMORY.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
459 // https://blogs.msdn.microsoft.com/oldnewthing/20120316-00/?p=8083
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
460 if (Flags & HEAP_ZERO_MEMORY) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
461 p = asan_calloc(Size, 1, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
462 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
463 p = asan_malloc(Size, &stack);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
464 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
465 return p;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
466 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
467
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
468 INTERCEPTOR_WINAPI(void*, RtlReAllocateHeap, HANDLE HeapHandle, DWORD Flags,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
469 void* BaseAddress, size_t Size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
470 // If it's actually a heap block which was allocated before the ASAN runtime
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
471 // came up, use the real RtlFreeHeap function.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
472 if (!flags()->windows_hook_rtl_allocators)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
473 return REAL(RtlReAllocateHeap)(HeapHandle, Flags, BaseAddress, Size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
474
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
475 return SharedReAlloc(REAL(RtlReAllocateHeap), REAL(RtlSizeHeap),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
476 REAL(RtlFreeHeap), REAL(RtlAllocateHeap), HeapHandle,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
477 Flags, BaseAddress, Size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
478 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
479
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
480 namespace __asan {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
481
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
482 static void TryToOverrideFunction(const char *fname, uptr new_func) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
483 // Failure here is not fatal. The CRT may not be present, and different CRT
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
484 // versions use different symbols.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
485 if (!__interception::OverrideFunction(fname, new_func))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
486 VPrintf(2, "Failed to override function %s\n", fname);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
487 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
488
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
489 void ReplaceSystemMalloc() {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
490 #if defined(ASAN_DYNAMIC)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
491 TryToOverrideFunction("free", (uptr)free);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
492 TryToOverrideFunction("_free_base", (uptr)free);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
493 TryToOverrideFunction("malloc", (uptr)malloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
494 TryToOverrideFunction("_malloc_base", (uptr)malloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
495 TryToOverrideFunction("_malloc_crt", (uptr)malloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
496 TryToOverrideFunction("calloc", (uptr)calloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
497 TryToOverrideFunction("_calloc_base", (uptr)calloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
498 TryToOverrideFunction("_calloc_crt", (uptr)calloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
499 TryToOverrideFunction("realloc", (uptr)realloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
500 TryToOverrideFunction("_realloc_base", (uptr)realloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
501 TryToOverrideFunction("_realloc_crt", (uptr)realloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
502 TryToOverrideFunction("_recalloc", (uptr)_recalloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
503 TryToOverrideFunction("_recalloc_base", (uptr)_recalloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
504 TryToOverrideFunction("_recalloc_crt", (uptr)_recalloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
505 TryToOverrideFunction("_msize", (uptr)_msize);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
506 TryToOverrideFunction("_msize_base", (uptr)_msize);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
507 TryToOverrideFunction("_expand", (uptr)_expand);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
508 TryToOverrideFunction("_expand_base", (uptr)_expand);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
509
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
510 if (flags()->windows_hook_rtl_allocators) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
511 INTERCEPT_FUNCTION(HeapSize);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
512 INTERCEPT_FUNCTION(HeapFree);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
513 INTERCEPT_FUNCTION(HeapReAlloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
514 INTERCEPT_FUNCTION(HeapAlloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
515
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
516 // Undocumented functions must be intercepted by name, not by symbol.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
517 __interception::OverrideFunction("RtlSizeHeap", (uptr)WRAP(RtlSizeHeap),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
518 (uptr *)&REAL(RtlSizeHeap));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
519 __interception::OverrideFunction("RtlFreeHeap", (uptr)WRAP(RtlFreeHeap),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
520 (uptr *)&REAL(RtlFreeHeap));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
521 __interception::OverrideFunction("RtlReAllocateHeap",
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
522 (uptr)WRAP(RtlReAllocateHeap),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
523 (uptr *)&REAL(RtlReAllocateHeap));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
524 __interception::OverrideFunction("RtlAllocateHeap",
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
525 (uptr)WRAP(RtlAllocateHeap),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
526 (uptr *)&REAL(RtlAllocateHeap));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
527 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
528 #define INTERCEPT_UCRT_FUNCTION(func) \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
529 if (!INTERCEPT_FUNCTION_DLLIMPORT( \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
530 "ucrtbase.dll", "api-ms-win-core-heap-l1-1-0.dll", func)) { \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
531 VPrintf(2, "Failed to intercept ucrtbase.dll import %s\n", #func); \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
532 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
533 INTERCEPT_UCRT_FUNCTION(HeapAlloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
534 INTERCEPT_UCRT_FUNCTION(HeapFree);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
535 INTERCEPT_UCRT_FUNCTION(HeapReAlloc);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
536 INTERCEPT_UCRT_FUNCTION(HeapSize);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
537 #undef INTERCEPT_UCRT_FUNCTION
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
538 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
539 // Recent versions of ucrtbase.dll appear to be built with PGO and LTCG, which
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
540 // enable cross-module inlining. This means our _malloc_base hook won't catch
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
541 // all CRT allocations. This code here patches the import table of
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
542 // ucrtbase.dll so that all attempts to use the lower-level win32 heap
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
543 // allocation API will be directed to ASan's heap. We don't currently
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
544 // intercept all calls to HeapAlloc. If we did, we would have to check on
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
545 // HeapFree whether the pointer came from ASan of from the system.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
546
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
547 #endif // defined(ASAN_DYNAMIC)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
548 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
549 } // namespace __asan
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
550
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
551 #endif // _WIN32