annotate libsanitizer/asan/asan_debugging.cpp @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
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_debugging.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 // This file contains various functions that are generally useful to call when
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 // using a debugger (LLDB, GDB).
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 //===----------------------------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 #include "asan_allocator.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 #include "asan_descriptions.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 #include "asan_flags.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 #include "asan_internal.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 #include "asan_mapping.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 #include "asan_report.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 #include "asan_thread.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 namespace {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 using namespace __asan;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 static void FindInfoForStackVar(uptr addr, const char *frame_descr, uptr offset,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 char *name, uptr name_size,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 uptr *region_address, uptr *region_size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 InternalMmapVector<StackVarDescr> vars;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 vars.reserve(16);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 if (!ParseFrameDescription(frame_descr, &vars)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 return;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 for (uptr i = 0; i < vars.size(); i++) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 if (offset <= vars[i].beg + vars[i].size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 // We use name_len + 1 because strlcpy will guarantee a \0 at the end, so
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 // if we're limiting the copy due to name_len, we add 1 to ensure we copy
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 // the whole name and then terminate with '\0'.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 internal_strlcpy(name, vars[i].name_pos,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 Min(name_size, vars[i].name_len + 1));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 *region_address = addr - (offset - vars[i].beg);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 *region_size = vars[i].size;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 return;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 uptr AsanGetStack(uptr addr, uptr *trace, u32 size, u32 *thread_id,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 bool alloc_stack) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 AsanChunkView chunk = FindHeapChunkByAddress(addr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 if (!chunk.IsValid()) return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 StackTrace stack(nullptr, 0);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 if (alloc_stack) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 if (chunk.AllocTid() == kInvalidTid) return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 stack = chunk.GetAllocStack();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 if (thread_id) *thread_id = chunk.AllocTid();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 if (chunk.FreeTid() == kInvalidTid) return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 stack = chunk.GetFreeStack();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 if (thread_id) *thread_id = chunk.FreeTid();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 if (trace && size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 size = Min(size, Min(stack.size, kStackTraceMax));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 for (uptr i = 0; i < size; i++)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 trace[i] = StackTrace::GetPreviousInstructionPc(stack.trace[i]);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 return size;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 } // namespace
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 SANITIZER_INTERFACE_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 const char *__asan_locate_address(uptr addr, char *name, uptr name_size,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 uptr *region_address_ptr,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 uptr *region_size_ptr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 AddressDescription descr(addr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 uptr region_address = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 uptr region_size = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 const char *region_kind = nullptr;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 if (name && name_size > 0) name[0] = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88 if (auto shadow = descr.AsShadow()) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 // region_{address,size} are already 0
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 switch (shadow->kind) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 case kShadowKindLow:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 region_kind = "low shadow";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 break;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 case kShadowKindGap:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 region_kind = "shadow gap";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 break;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 case kShadowKindHigh:
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 region_kind = "high shadow";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99 break;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101 } else if (auto heap = descr.AsHeap()) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 region_kind = "heap";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 region_address = heap->chunk_access.chunk_begin;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 region_size = heap->chunk_access.chunk_size;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 } else if (auto stack = descr.AsStack()) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106 region_kind = "stack";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107 if (!stack->frame_descr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108 // region_{address,size} are already 0
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110 FindInfoForStackVar(addr, stack->frame_descr, stack->offset, name,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111 name_size, &region_address, &region_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113 } else if (auto global = descr.AsGlobal()) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114 region_kind = "global";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115 auto &g = global->globals[0];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 internal_strlcpy(name, g.name, name_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117 region_address = g.beg;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 region_size = g.size;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 // region_{address,size} are already 0
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121 region_kind = "heap-invalid";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
123
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
124 CHECK(region_kind);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
125 if (region_address_ptr) *region_address_ptr = region_address;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
126 if (region_size_ptr) *region_size_ptr = region_size;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
127 return region_kind;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
128 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
129
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
130 SANITIZER_INTERFACE_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
131 uptr __asan_get_alloc_stack(uptr addr, uptr *trace, uptr size, u32 *thread_id) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
132 return AsanGetStack(addr, trace, size, thread_id, /* alloc_stack */ true);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
133 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
134
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
135 SANITIZER_INTERFACE_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
136 uptr __asan_get_free_stack(uptr addr, uptr *trace, uptr size, u32 *thread_id) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
137 return AsanGetStack(addr, trace, size, thread_id, /* alloc_stack */ false);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
138 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
139
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
140 SANITIZER_INTERFACE_ATTRIBUTE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
141 void __asan_get_shadow_mapping(uptr *shadow_scale, uptr *shadow_offset) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
142 if (shadow_scale)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
143 *shadow_scale = SHADOW_SCALE;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
144 if (shadow_offset)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
145 *shadow_offset = SHADOW_OFFSET;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
146 }