1 //===-- asan_descriptions.cpp -----------------------------------*- C++ -*-===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file is a part of AddressSanitizer, an address sanity checker.
11 // ASan functions for getting information about an address and/or printing it.
12 //===----------------------------------------------------------------------===//
14 #include "asan_descriptions.h"
15 #include "asan_mapping.h"
16 #include "asan_report.h"
17 #include "asan_stack.h"
18 #include "sanitizer_common/sanitizer_stackdepot.h"
22 AsanThreadIdAndName::AsanThreadIdAndName(AsanThreadContext
*t
) {
23 Init(t
->tid
, t
->name
);
26 AsanThreadIdAndName::AsanThreadIdAndName(u32 tid
) {
27 if (tid
== kInvalidTid
) {
30 asanThreadRegistry().CheckLocked();
31 AsanThreadContext
*t
= GetThreadContextByTidLocked(tid
);
36 void AsanThreadIdAndName::Init(u32 tid
, const char *tname
) {
37 int len
= internal_snprintf(name
, sizeof(name
), "T%d", tid
);
38 CHECK(((unsigned int)len
) < sizeof(name
));
40 internal_snprintf(&name
[len
], sizeof(name
) - len
, " (%s)", tname
);
43 void DescribeThread(AsanThreadContext
*context
) {
45 asanThreadRegistry().CheckLocked();
46 // No need to announce the main thread.
47 if (context
->tid
== 0 || context
->announced
) {
50 context
->announced
= true;
51 InternalScopedString
str(1024);
52 str
.append("Thread %s", AsanThreadIdAndName(context
).c_str());
53 if (context
->parent_tid
== kInvalidTid
) {
54 str
.append(" created by unknown thread\n");
55 Printf("%s", str
.data());
58 str
.append(" created by %s here:\n",
59 AsanThreadIdAndName(context
->parent_tid
).c_str());
60 Printf("%s", str
.data());
61 StackDepotGet(context
->stack_id
).Print();
62 // Recursively described parent thread if needed.
63 if (flags()->print_full_thread_history
) {
64 AsanThreadContext
*parent_context
=
65 GetThreadContextByTidLocked(context
->parent_tid
);
66 DescribeThread(parent_context
);
70 // Shadow descriptions
71 static bool GetShadowKind(uptr addr
, ShadowKind
*shadow_kind
) {
72 CHECK(!AddrIsInMem(addr
));
73 if (AddrIsInShadowGap(addr
)) {
74 *shadow_kind
= kShadowKindGap
;
75 } else if (AddrIsInHighShadow(addr
)) {
76 *shadow_kind
= kShadowKindHigh
;
77 } else if (AddrIsInLowShadow(addr
)) {
78 *shadow_kind
= kShadowKindLow
;
80 CHECK(0 && "Address is not in memory and not in shadow?");
86 bool DescribeAddressIfShadow(uptr addr
) {
87 ShadowAddressDescription descr
;
88 if (!GetShadowAddressInformation(addr
, &descr
)) return false;
93 bool GetShadowAddressInformation(uptr addr
, ShadowAddressDescription
*descr
) {
94 if (AddrIsInMem(addr
)) return false;
95 ShadowKind shadow_kind
;
96 if (!GetShadowKind(addr
, &shadow_kind
)) return false;
97 if (shadow_kind
!= kShadowKindGap
) descr
->shadow_byte
= *(u8
*)addr
;
99 descr
->kind
= shadow_kind
;
104 static void GetAccessToHeapChunkInformation(ChunkAccess
*descr
,
105 AsanChunkView chunk
, uptr addr
,
107 descr
->bad_addr
= addr
;
108 if (chunk
.AddrIsAtLeft(addr
, access_size
, &descr
->offset
)) {
109 descr
->access_type
= kAccessTypeLeft
;
110 } else if (chunk
.AddrIsAtRight(addr
, access_size
, &descr
->offset
)) {
111 descr
->access_type
= kAccessTypeRight
;
112 if (descr
->offset
< 0) {
113 descr
->bad_addr
-= descr
->offset
;
116 } else if (chunk
.AddrIsInside(addr
, access_size
, &descr
->offset
)) {
117 descr
->access_type
= kAccessTypeInside
;
119 descr
->access_type
= kAccessTypeUnknown
;
121 descr
->chunk_begin
= chunk
.Beg();
122 descr
->chunk_size
= chunk
.UsedSize();
123 descr
->user_requested_alignment
= chunk
.UserRequestedAlignment();
124 descr
->alloc_type
= chunk
.GetAllocType();
127 static void PrintHeapChunkAccess(uptr addr
, const ChunkAccess
&descr
) {
129 InternalScopedString
str(4096);
130 str
.append("%s", d
.Location());
131 switch (descr
.access_type
) {
132 case kAccessTypeLeft
:
133 str
.append("%p is located %zd bytes to the left of",
134 (void *)descr
.bad_addr
, descr
.offset
);
136 case kAccessTypeRight
:
137 str
.append("%p is located %zd bytes to the right of",
138 (void *)descr
.bad_addr
, descr
.offset
);
140 case kAccessTypeInside
:
141 str
.append("%p is located %zd bytes inside of", (void *)descr
.bad_addr
,
144 case kAccessTypeUnknown
:
146 "%p is located somewhere around (this is AddressSanitizer bug!)",
147 (void *)descr
.bad_addr
);
149 str
.append(" %zu-byte region [%p,%p)\n", descr
.chunk_size
,
150 (void *)descr
.chunk_begin
,
151 (void *)(descr
.chunk_begin
+ descr
.chunk_size
));
152 str
.append("%s", d
.Default());
153 Printf("%s", str
.data());
156 bool GetHeapAddressInformation(uptr addr
, uptr access_size
,
157 HeapAddressDescription
*descr
) {
158 AsanChunkView chunk
= FindHeapChunkByAddress(addr
);
159 if (!chunk
.IsValid()) {
163 GetAccessToHeapChunkInformation(&descr
->chunk_access
, chunk
, addr
,
165 CHECK_NE(chunk
.AllocTid(), kInvalidTid
);
166 descr
->alloc_tid
= chunk
.AllocTid();
167 descr
->alloc_stack_id
= chunk
.GetAllocStackId();
168 descr
->free_tid
= chunk
.FreeTid();
169 if (descr
->free_tid
!= kInvalidTid
)
170 descr
->free_stack_id
= chunk
.GetFreeStackId();
174 static StackTrace
GetStackTraceFromId(u32 id
) {
176 StackTrace res
= StackDepotGet(id
);
181 bool DescribeAddressIfHeap(uptr addr
, uptr access_size
) {
182 HeapAddressDescription descr
;
183 if (!GetHeapAddressInformation(addr
, access_size
, &descr
)) {
185 "AddressSanitizer can not describe address in more detail "
186 "(wild memory access suspected).\n");
193 // Stack descriptions
194 bool GetStackAddressInformation(uptr addr
, uptr access_size
,
195 StackAddressDescription
*descr
) {
196 AsanThread
*t
= FindThreadByStackAddress(addr
);
197 if (!t
) return false;
200 descr
->tid
= t
->tid();
201 // Try to fetch precise stack frame for this access.
202 AsanThread::StackFrameAccess access
;
203 if (!t
->GetStackFrameAccessByAddr(addr
, &access
)) {
204 descr
->frame_descr
= nullptr;
208 descr
->offset
= access
.offset
;
209 descr
->access_size
= access_size
;
210 descr
->frame_pc
= access
.frame_pc
;
211 descr
->frame_descr
= access
.frame_descr
;
213 #if SANITIZER_PPC64V1
214 // On PowerPC64 ELFv1, the address of a function actually points to a
215 // three-doubleword data structure with the first field containing
216 // the address of the function's code.
217 descr
->frame_pc
= *reinterpret_cast<uptr
*>(descr
->frame_pc
);
219 descr
->frame_pc
+= 16;
224 static void PrintAccessAndVarIntersection(const StackVarDescr
&var
, uptr addr
,
225 uptr access_size
, uptr prev_var_end
,
227 uptr var_end
= var
.beg
+ var
.size
;
228 uptr addr_end
= addr
+ access_size
;
229 const char *pos_descr
= nullptr;
230 // If the variable [var.beg, var_end) is the nearest variable to the
231 // current memory access, indicate it in the log.
232 if (addr
>= var
.beg
) {
233 if (addr_end
<= var_end
)
234 pos_descr
= "is inside"; // May happen if this is a use-after-return.
235 else if (addr
< var_end
)
236 pos_descr
= "partially overflows";
237 else if (addr_end
<= next_var_beg
&&
238 next_var_beg
- addr_end
>= addr
- var_end
)
239 pos_descr
= "overflows";
241 if (addr_end
> var
.beg
)
242 pos_descr
= "partially underflows";
243 else if (addr
>= prev_var_end
&& addr
- prev_var_end
>= var
.beg
- addr_end
)
244 pos_descr
= "underflows";
246 InternalScopedString
str(1024);
247 str
.append(" [%zd, %zd)", var
.beg
, var_end
);
248 // Render variable name.
250 for (uptr i
= 0; i
< var
.name_len
; ++i
) {
251 str
.append("%c", var
.name_pos
[i
]);
255 str
.append(" (line %d)", var
.line
);
259 // FIXME: we may want to also print the size of the access here,
260 // but in case of accesses generated by memset it may be confusing.
261 str
.append("%s <== Memory access at offset %zd %s this variable%s\n",
262 d
.Location(), addr
, pos_descr
, d
.Default());
266 Printf("%s", str
.data());
269 bool DescribeAddressIfStack(uptr addr
, uptr access_size
) {
270 StackAddressDescription descr
;
271 if (!GetStackAddressInformation(addr
, access_size
, &descr
)) return false;
276 // Global descriptions
277 static void DescribeAddressRelativeToGlobal(uptr addr
, uptr access_size
,
278 const __asan_global
&g
) {
279 InternalScopedString
str(4096);
281 str
.append("%s", d
.Location());
283 str
.append("%p is located %zd bytes to the left", (void *)addr
,
285 } else if (addr
+ access_size
> g
.beg
+ g
.size
) {
286 if (addr
< g
.beg
+ g
.size
) addr
= g
.beg
+ g
.size
;
287 str
.append("%p is located %zd bytes to the right", (void *)addr
,
288 addr
- (g
.beg
+ g
.size
));
291 str
.append("%p is located %zd bytes inside", (void *)addr
, addr
- g
.beg
);
293 str
.append(" of global variable '%s' defined in '",
294 MaybeDemangleGlobalName(g
.name
));
295 PrintGlobalLocation(&str
, g
);
296 str
.append("' (0x%zx) of size %zu\n", g
.beg
, g
.size
);
297 str
.append("%s", d
.Default());
298 PrintGlobalNameIfASCII(&str
, g
);
299 Printf("%s", str
.data());
302 bool GetGlobalAddressInformation(uptr addr
, uptr access_size
,
303 GlobalAddressDescription
*descr
) {
305 int globals_num
= GetGlobalsForAddress(addr
, descr
->globals
, descr
->reg_sites
,
306 ARRAY_SIZE(descr
->globals
));
307 descr
->size
= globals_num
;
308 descr
->access_size
= access_size
;
309 return globals_num
!= 0;
312 bool DescribeAddressIfGlobal(uptr addr
, uptr access_size
,
313 const char *bug_type
) {
314 GlobalAddressDescription descr
;
315 if (!GetGlobalAddressInformation(addr
, access_size
, &descr
)) return false;
317 descr
.Print(bug_type
);
321 void ShadowAddressDescription::Print() const {
322 Printf("Address %p is located in the %s area.\n", addr
, ShadowNames
[kind
]);
325 void GlobalAddressDescription::Print(const char *bug_type
) const {
326 for (int i
= 0; i
< size
; i
++) {
327 DescribeAddressRelativeToGlobal(addr
, access_size
, globals
[i
]);
329 0 == internal_strcmp(bug_type
, "initialization-order-fiasco") &&
331 Printf(" registered at:\n");
332 StackDepotGet(reg_sites
[i
]).Print();
337 bool GlobalAddressDescription::PointsInsideTheSameVariable(
338 const GlobalAddressDescription
&other
) const {
339 if (size
== 0 || other
.size
== 0) return false;
341 for (uptr i
= 0; i
< size
; i
++) {
342 const __asan_global
&a
= globals
[i
];
343 for (uptr j
= 0; j
< other
.size
; j
++) {
344 const __asan_global
&b
= other
.globals
[j
];
345 if (a
.beg
== b
.beg
&&
347 b
.beg
<= other
.addr
&&
348 (addr
+ access_size
) < (a
.beg
+ a
.size
) &&
349 (other
.addr
+ other
.access_size
) < (b
.beg
+ b
.size
))
357 void StackAddressDescription::Print() const {
359 Printf("%s", d
.Location());
360 Printf("Address %p is located in stack of thread %s", addr
,
361 AsanThreadIdAndName(tid
).c_str());
364 Printf("%s\n", d
.Default());
367 Printf(" at offset %zu in frame%s\n", offset
, d
.Default());
369 // Now we print the frame where the alloca has happened.
370 // We print this frame as a stack trace with one element.
371 // The symbolizer may print more than one frame if inlining was involved.
372 // The frame numbers may be different than those in the stack trace printed
373 // previously. That's unfortunate, but I have no better solution,
374 // especially given that the alloca may be from entirely different place
375 // (e.g. use-after-scope, or different thread's stack).
376 Printf("%s", d
.Default());
377 StackTrace
alloca_stack(&frame_pc
, 1);
378 alloca_stack
.Print();
380 InternalMmapVector
<StackVarDescr
> vars
;
382 if (!ParseFrameDescription(frame_descr
, &vars
)) {
384 "AddressSanitizer can't parse the stack frame "
385 "descriptor: |%s|\n",
387 // 'addr' is a stack address, so return true even if we can't parse frame
390 uptr n_objects
= vars
.size();
391 // Report the number of stack objects.
392 Printf(" This frame has %zu object(s):\n", n_objects
);
394 // Report all objects in this frame.
395 for (uptr i
= 0; i
< n_objects
; i
++) {
396 uptr prev_var_end
= i
? vars
[i
- 1].beg
+ vars
[i
- 1].size
: 0;
397 uptr next_var_beg
= i
+ 1 < n_objects
? vars
[i
+ 1].beg
: ~(0UL);
398 PrintAccessAndVarIntersection(vars
[i
], offset
, access_size
, prev_var_end
,
402 "HINT: this may be a false positive if your program uses "
403 "some custom stack unwind mechanism, swapcontext or vfork\n");
404 if (SANITIZER_WINDOWS
)
405 Printf(" (longjmp, SEH and C++ exceptions *are* supported)\n");
407 Printf(" (longjmp and C++ exceptions *are* supported)\n");
409 DescribeThread(GetThreadContextByTidLocked(tid
));
412 void HeapAddressDescription::Print() const {
413 PrintHeapChunkAccess(addr
, chunk_access
);
415 asanThreadRegistry().CheckLocked();
416 AsanThreadContext
*alloc_thread
= GetThreadContextByTidLocked(alloc_tid
);
417 StackTrace alloc_stack
= GetStackTraceFromId(alloc_stack_id
);
420 AsanThreadContext
*free_thread
= nullptr;
421 if (free_tid
!= kInvalidTid
) {
422 free_thread
= GetThreadContextByTidLocked(free_tid
);
423 Printf("%sfreed by thread %s here:%s\n", d
.Allocation(),
424 AsanThreadIdAndName(free_thread
).c_str(), d
.Default());
425 StackTrace free_stack
= GetStackTraceFromId(free_stack_id
);
427 Printf("%spreviously allocated by thread %s here:%s\n", d
.Allocation(),
428 AsanThreadIdAndName(alloc_thread
).c_str(), d
.Default());
430 Printf("%sallocated by thread %s here:%s\n", d
.Allocation(),
431 AsanThreadIdAndName(alloc_thread
).c_str(), d
.Default());
434 DescribeThread(GetCurrentThread());
435 if (free_thread
) DescribeThread(free_thread
);
436 DescribeThread(alloc_thread
);
439 AddressDescription::AddressDescription(uptr addr
, uptr access_size
,
440 bool shouldLockThreadRegistry
) {
441 if (GetShadowAddressInformation(addr
, &data
.shadow
)) {
442 data
.kind
= kAddressKindShadow
;
445 if (GetHeapAddressInformation(addr
, access_size
, &data
.heap
)) {
446 data
.kind
= kAddressKindHeap
;
450 bool isStackMemory
= false;
451 if (shouldLockThreadRegistry
) {
452 ThreadRegistryLock
l(&asanThreadRegistry());
453 isStackMemory
= GetStackAddressInformation(addr
, access_size
, &data
.stack
);
455 isStackMemory
= GetStackAddressInformation(addr
, access_size
, &data
.stack
);
458 data
.kind
= kAddressKindStack
;
462 if (GetGlobalAddressInformation(addr
, access_size
, &data
.global
)) {
463 data
.kind
= kAddressKindGlobal
;
466 data
.kind
= kAddressKindWild
;
470 void PrintAddressDescription(uptr addr
, uptr access_size
,
471 const char *bug_type
) {
472 ShadowAddressDescription shadow_descr
;
473 if (GetShadowAddressInformation(addr
, &shadow_descr
)) {
474 shadow_descr
.Print();
478 GlobalAddressDescription global_descr
;
479 if (GetGlobalAddressInformation(addr
, access_size
, &global_descr
)) {
480 global_descr
.Print(bug_type
);
484 StackAddressDescription stack_descr
;
485 if (GetStackAddressInformation(addr
, access_size
, &stack_descr
)) {
490 HeapAddressDescription heap_descr
;
491 if (GetHeapAddressInformation(addr
, access_size
, &heap_descr
)) {
496 // We exhausted our possibilities. Bail out.
498 "AddressSanitizer can not describe address in more detail "
499 "(wild memory access suspected).\n");
501 } // namespace __asan