blob: e0f021f89b13df7939598f6c57d4ed1ee9b8f263 [file] [log] [blame]
Bob Wilsona08e9ac2013-11-15 07:18:15 +00001//===-- sanitizer_coverage.cc ---------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Sanitizer Coverage.
11// This file implements run-time support for a poor man's coverage tool.
12//
13// Compiler instrumentation:
Kostya Serebryany714c67c2014-01-17 11:00:30 +000014// For every interesting basic block the compiler injects the following code:
Bob Wilsona08e9ac2013-11-15 07:18:15 +000015// if (*Guard) {
Kostya Serebryany714c67c2014-01-17 11:00:30 +000016// __sanitizer_cov();
Bob Wilsona08e9ac2013-11-15 07:18:15 +000017// *Guard = 1;
18// }
Kostya Serebryany714c67c2014-01-17 11:00:30 +000019// It's fine to call __sanitizer_cov more than once for a given block.
Bob Wilsona08e9ac2013-11-15 07:18:15 +000020//
21// Run-time:
Kostya Serebryany714c67c2014-01-17 11:00:30 +000022// - __sanitizer_cov(): record that we've executed the PC (GET_CALLER_PC).
Bob Wilsona08e9ac2013-11-15 07:18:15 +000023// - __sanitizer_cov_dump: dump the coverage data to disk.
24// For every module of the current process that has coverage data
25// this will create a file module_name.PID.sancov. The file format is simple:
26// it's just a sorted sequence of 4-byte offsets in the module.
27//
28// Eventually, this coverage implementation should be obsoleted by a more
29// powerful general purpose Clang/LLVM coverage instrumentation.
30// Consider this implementation as prototype.
31//
32// FIXME: support (or at least test with) dlclose.
33//===----------------------------------------------------------------------===//
34
35#include "sanitizer_allocator_internal.h"
36#include "sanitizer_common.h"
37#include "sanitizer_libc.h"
38#include "sanitizer_mutex.h"
39#include "sanitizer_procmaps.h"
Kostya Serebryany714c67c2014-01-17 11:00:30 +000040#include "sanitizer_stacktrace.h"
Bob Wilsona08e9ac2013-11-15 07:18:15 +000041#include "sanitizer_flags.h"
42
Kostya Serebryany8b530e12014-04-30 10:40:48 +000043atomic_uint32_t dump_once_guard; // Ensure that CovDump runs only once.
Bob Wilsona08e9ac2013-11-15 07:18:15 +000044
Kostya Serebryany8b530e12014-04-30 10:40:48 +000045// pc_array is the array containing the covered PCs.
Sergey Matveev6cb47a082014-05-19 12:53:03 +000046// To make the pc_array thread- and async-signal-safe it has to be large enough.
Kostya Serebryany8b530e12014-04-30 10:40:48 +000047// 128M counters "ought to be enough for anybody" (4M on 32-bit).
Evgeniy Stepanov567e5162014-05-27 12:37:52 +000048
49// With coverage_direct=1 in ASAN_OPTIONS, pc_array memory is mapped to a file.
50// In this mode, __sanitizer_cov_dump does nothing, and CovUpdateMapping()
51// dump current memory layout to another file.
Bob Wilsona08e9ac2013-11-15 07:18:15 +000052
Sergey Matveev6cb47a082014-05-19 12:53:03 +000053static bool cov_sandboxed = false;
54static int cov_fd = kInvalidFd;
55static unsigned int cov_max_block_size = 0;
56
Bob Wilsona08e9ac2013-11-15 07:18:15 +000057namespace __sanitizer {
58
Evgeniy Stepanov567e5162014-05-27 12:37:52 +000059class CoverageData {
60 public:
61 void Init();
62 void Extend(uptr npcs);
63 void Add(uptr pc);
64
65 uptr *data();
66 uptr size();
67
68 private:
69 // Maximal size pc array may ever grow.
70 // We MmapNoReserve this space to ensure that the array is contiguous.
71 static const uptr kPcArrayMaxSize = FIRST_32_SECOND_64(1 << 22, 1 << 27);
72 // The amount file mapping for the pc array is grown by.
73 static const uptr kPcArrayMmapSize = 64 * 1024;
74
75 // pc_array is allocated with MmapNoReserveOrDie and so it uses only as
76 // much RAM as it really needs.
77 uptr *pc_array;
78 // Index of the first available pc_array slot.
79 atomic_uintptr_t pc_array_index;
80 // Array size.
81 atomic_uintptr_t pc_array_size;
82 // Current file mapped size of the pc array.
83 uptr pc_array_mapped_size;
84 // Descriptor of the file mapped pc array.
85 int pc_fd;
86 StaticSpinMutex mu;
87
Evgeniy Stepanovce984522014-06-03 15:27:15 +000088 void DirectOpen();
Evgeniy Stepanov567e5162014-05-27 12:37:52 +000089};
90
91static CoverageData coverage_data;
92
Evgeniy Stepanovce984522014-06-03 15:27:15 +000093void CoverageData::DirectOpen() {
Evgeniy Stepanovfa5c0752014-05-29 14:33:16 +000094 InternalScopedString path(1024);
95 internal_snprintf((char *)path.data(), path.size(), "%s/%zd.sancov.raw",
96 common_flags()->coverage_dir, internal_getpid());
Evgeniy Stepanov567e5162014-05-27 12:37:52 +000097 pc_fd = OpenFile(path.data(), true);
98 if (internal_iserror(pc_fd)) {
99 Report(" Coverage: failed to open %s for writing\n", path.data());
100 Die();
101 }
102
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000103 pc_array_mapped_size = 0;
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000104 CovUpdateMapping();
105}
106
107void CoverageData::Init() {
108 pc_array = reinterpret_cast<uptr *>(
109 MmapNoReserveOrDie(sizeof(uptr) * kPcArrayMaxSize, "CovInit"));
110 if (common_flags()->coverage_direct) {
Evgeniy Stepanovce984522014-06-03 15:27:15 +0000111 atomic_store(&pc_array_size, 0, memory_order_relaxed);
112 atomic_store(&pc_array_index, 0, memory_order_relaxed);
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000113 } else {
114 pc_fd = 0;
115 atomic_store(&pc_array_size, kPcArrayMaxSize, memory_order_relaxed);
Evgeniy Stepanovce984522014-06-03 15:27:15 +0000116 atomic_store(&pc_array_index, 0, memory_order_relaxed);
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000117 }
118}
119
120// Extend coverage PC array to fit additional npcs elements.
121void CoverageData::Extend(uptr npcs) {
Evgeniy Stepanovce984522014-06-03 15:27:15 +0000122 if (!common_flags()->coverage_direct) return;
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000123 SpinMutexLock l(&mu);
124
Evgeniy Stepanovce984522014-06-03 15:27:15 +0000125 if (!pc_fd) DirectOpen();
126 CHECK(pc_fd);
127
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000128 uptr size = atomic_load(&pc_array_size, memory_order_relaxed);
129 size += npcs * sizeof(uptr);
130
131 if (size > pc_array_mapped_size) {
132 uptr new_mapped_size = pc_array_mapped_size;
133 while (size > new_mapped_size) new_mapped_size += kPcArrayMmapSize;
134
135 // Extend the file and map the new space at the end of pc_array.
136 uptr res = internal_ftruncate(pc_fd, new_mapped_size);
137 int err;
138 if (internal_iserror(res, &err)) {
139 Printf("failed to extend raw coverage file: %d\n", err);
140 Die();
141 }
142 void *p = MapWritableFileToMemory(pc_array + pc_array_mapped_size,
143 new_mapped_size - pc_array_mapped_size,
144 pc_fd, pc_array_mapped_size);
145 CHECK_EQ(p, pc_array + pc_array_mapped_size);
146 pc_array_mapped_size = new_mapped_size;
147 }
148
149 atomic_store(&pc_array_size, size, memory_order_release);
Evgeniy Stepanovbb2fc7e2014-06-03 12:15:43 +0000150
151 if (SANITIZER_ANDROID) {
152 // dlopen/dlclose interceptors do not work on Android, so we rely on
153 // Extend() calls to update .sancov.map.
154 CovUpdateMapping();
155 }
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000156}
157
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000158// Simply add the pc into the vector under lock. If the function is called more
159// than once for a given PC it will be inserted multiple times, which is fine.
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000160void CoverageData::Add(uptr pc) {
Kostya Serebryany8b530e12014-04-30 10:40:48 +0000161 if (!pc_array) return;
162 uptr idx = atomic_fetch_add(&pc_array_index, 1, memory_order_relaxed);
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000163 CHECK_LT(idx * sizeof(uptr),
164 atomic_load(&pc_array_size, memory_order_acquire));
Kostya Serebryany8b530e12014-04-30 10:40:48 +0000165 pc_array[idx] = pc;
166}
167
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000168uptr *CoverageData::data() {
169 return pc_array;
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000170}
171
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000172uptr CoverageData::size() {
173 return atomic_load(&pc_array_index, memory_order_relaxed);
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000174}
175
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000176// Block layout for packed file format: header, followed by module name (no
177// trailing zero), followed by data blob.
178struct CovHeader {
179 int pid;
180 unsigned int module_name_length;
181 unsigned int data_length;
182};
183
184static void CovWritePacked(int pid, const char *module, const void *blob,
185 unsigned int blob_size) {
Sergey Matveev83f91e72014-05-21 13:43:52 +0000186 if (cov_fd < 0) return;
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000187 unsigned module_name_length = internal_strlen(module);
188 CovHeader header = {pid, module_name_length, blob_size};
189
190 if (cov_max_block_size == 0) {
191 // Writing to a file. Just go ahead.
192 internal_write(cov_fd, &header, sizeof(header));
193 internal_write(cov_fd, module, module_name_length);
194 internal_write(cov_fd, blob, blob_size);
195 } else {
196 // Writing to a socket. We want to split the data into appropriately sized
197 // blocks.
198 InternalScopedBuffer<char> block(cov_max_block_size);
199 CHECK_EQ((uptr)block.data(), (uptr)(CovHeader *)block.data());
200 uptr header_size_with_module = sizeof(header) + module_name_length;
201 CHECK_LT(header_size_with_module, cov_max_block_size);
202 unsigned int max_payload_size =
203 cov_max_block_size - header_size_with_module;
204 char *block_pos = block.data();
205 internal_memcpy(block_pos, &header, sizeof(header));
206 block_pos += sizeof(header);
207 internal_memcpy(block_pos, module, module_name_length);
208 block_pos += module_name_length;
209 char *block_data_begin = block_pos;
210 char *blob_pos = (char *)blob;
211 while (blob_size > 0) {
212 unsigned int payload_size = Min(blob_size, max_payload_size);
213 blob_size -= payload_size;
214 internal_memcpy(block_data_begin, blob_pos, payload_size);
215 blob_pos += payload_size;
216 ((CovHeader *)block.data())->data_length = payload_size;
217 internal_write(cov_fd, block.data(),
218 header_size_with_module + payload_size);
219 }
220 }
221}
222
Sergey Matveev83f91e72014-05-21 13:43:52 +0000223// If packed = false: <name>.<pid>.<sancov> (name = module name).
224// If packed = true and name == 0: <pid>.<sancov>.<packed>.
225// If packed = true and name != 0: <name>.<sancov>.<packed> (name is
226// user-supplied).
227static int CovOpenFile(bool packed, const char* name) {
228 InternalScopedBuffer<char> path(1024);
229 if (!packed) {
230 CHECK(name);
Evgeniy Stepanovfa5c0752014-05-29 14:33:16 +0000231 Printf("%s\n", common_flags()->coverage_dir);
232 internal_snprintf((char *)path.data(), path.size(), "%s/%s.%zd.sancov",
233 common_flags()->coverage_dir, name, internal_getpid());
Sergey Matveev83f91e72014-05-21 13:43:52 +0000234 } else {
235 if (!name)
Evgeniy Stepanovfa5c0752014-05-29 14:33:16 +0000236 internal_snprintf((char *)path.data(), path.size(),
237 "%s/%zd.sancov.packed", common_flags()->coverage_dir,
Sergey Matveev83f91e72014-05-21 13:43:52 +0000238 internal_getpid());
239 else
Evgeniy Stepanovfa5c0752014-05-29 14:33:16 +0000240 internal_snprintf((char *)path.data(), path.size(), "%s/%s.sancov.packed",
241 common_flags()->coverage_dir, name);
Sergey Matveev83f91e72014-05-21 13:43:52 +0000242 }
243 uptr fd = OpenFile(path.data(), true);
244 if (internal_iserror(fd)) {
245 Report(" SanitizerCoverage: failed to open %s for writing\n", path.data());
246 return -1;
247 }
248 return fd;
249}
250
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000251// Dump the coverage on disk.
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000252static void CovDump() {
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000253 if (!common_flags()->coverage || common_flags()->coverage_direct) return;
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000254#if !SANITIZER_WINDOWS
Kostya Serebryany8b530e12014-04-30 10:40:48 +0000255 if (atomic_fetch_add(&dump_once_guard, 1, memory_order_relaxed))
256 return;
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000257 uptr size = coverage_data.size();
Kostya Serebryany8b530e12014-04-30 10:40:48 +0000258 InternalMmapVector<u32> offsets(size);
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000259 uptr *vb = coverage_data.data();
260 uptr *ve = vb + size;
261 SortArray(vb, size);
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000262 MemoryMappingLayout proc_maps(/*cache_enabled*/true);
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000263 uptr mb, me, off, prot;
264 InternalScopedBuffer<char> module(4096);
265 InternalScopedBuffer<char> path(4096 * 2);
266 for (int i = 0;
267 proc_maps.Next(&mb, &me, &off, module.data(), module.size(), &prot);
268 i++) {
269 if ((prot & MemoryMappingLayout::kProtectionExecute) == 0)
270 continue;
Sergey Matveev76e02e92014-05-08 16:09:54 +0000271 while (vb < ve && *vb < mb) vb++;
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000272 if (vb >= ve) break;
Sergey Matveev76e02e92014-05-08 16:09:54 +0000273 if (*vb < me) {
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000274 offsets.clear();
275 const uptr *old_vb = vb;
276 CHECK_LE(off, *vb);
277 for (; vb < ve && *vb < me; vb++) {
278 uptr diff = *vb - (i ? mb : 0) + off;
279 CHECK_LE(diff, 0xffffffffU);
280 offsets.push_back(static_cast<u32>(diff));
281 }
282 char *module_name = StripModuleName(module.data());
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000283 if (cov_sandboxed) {
Sergey Matveev83f91e72014-05-21 13:43:52 +0000284 if (cov_fd >= 0) {
285 CovWritePacked(internal_getpid(), module_name, offsets.data(),
286 offsets.size() * sizeof(u32));
287 VReport(1, " CovDump: %zd PCs written to packed file\n", vb - old_vb);
288 }
Evgeniy Stepanov8ab205f2014-02-12 15:29:22 +0000289 } else {
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000290 // One file per module per process.
Evgeniy Stepanovfa5c0752014-05-29 14:33:16 +0000291 internal_snprintf((char *)path.data(), path.size(), "%s/%s.%zd.sancov",
292 common_flags()->coverage_dir, module_name,
293 internal_getpid());
Sergey Matveev83f91e72014-05-21 13:43:52 +0000294 int fd = CovOpenFile(false /* packed */, module_name);
295 if (fd > 0) {
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000296 internal_write(fd, offsets.data(), offsets.size() * sizeof(u32));
297 internal_close(fd);
298 VReport(1, " CovDump: %s: %zd PCs written\n", path.data(),
299 vb - old_vb);
300 }
Evgeniy Stepanov8ab205f2014-02-12 15:29:22 +0000301 }
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000302 InternalFree(module_name);
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000303 }
304 }
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000305 if (cov_fd >= 0)
306 internal_close(cov_fd);
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000307#endif // !SANITIZER_WINDOWS
308}
309
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000310void CovPrepareForSandboxing(__sanitizer_sandbox_arguments *args) {
311 if (!args) return;
312 if (!common_flags()->coverage) return;
313 cov_sandboxed = args->coverage_sandboxed;
314 if (!cov_sandboxed) return;
315 cov_fd = args->coverage_fd;
316 cov_max_block_size = args->coverage_max_block_size;
317 if (cov_fd < 0)
318 // Pre-open the file now. The sandbox won't allow us to do it later.
Sergey Matveev83f91e72014-05-21 13:43:52 +0000319 cov_fd = CovOpenFile(true /* packed */, 0);
Sergey Matveev6cb47a082014-05-19 12:53:03 +0000320}
321
Sergey Matveev83f91e72014-05-21 13:43:52 +0000322int MaybeOpenCovFile(const char *name) {
323 CHECK(name);
324 if (!common_flags()->coverage) return -1;
325 return CovOpenFile(true /* packed */, name);
326}
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000327} // namespace __sanitizer
328
329extern "C" {
Kostya Serebryany714c67c2014-01-17 11:00:30 +0000330SANITIZER_INTERFACE_ATTRIBUTE void __sanitizer_cov() {
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000331 coverage_data.Add(StackTrace::GetPreviousInstructionPc(GET_CALLER_PC()));
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000332}
333SANITIZER_INTERFACE_ATTRIBUTE void __sanitizer_cov_dump() { CovDump(); }
Evgeniy Stepanov567e5162014-05-27 12:37:52 +0000334SANITIZER_INTERFACE_ATTRIBUTE void __sanitizer_cov_init() {
335 coverage_data.Init();
336}
337SANITIZER_INTERFACE_ATTRIBUTE void __sanitizer_cov_module_init(uptr npcs) {
338 coverage_data.Extend(npcs);
339}
Sergey Matveev83f91e72014-05-21 13:43:52 +0000340SANITIZER_INTERFACE_ATTRIBUTE
341sptr __sanitizer_maybe_open_cov_file(const char *name) {
342 return MaybeOpenCovFile(name);
343}
Bob Wilsona08e9ac2013-11-15 07:18:15 +0000344} // extern "C"