blob: c8b5d9014edeb993a42eda437f4334052c21d7d3 [file] [log] [blame]
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001//===-- sanitizer_coverage_mapping.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// Mmap-based implementation of sanitizer coverage.
11//
12// This is part of the implementation of code coverage that does not require
13// __sanitizer_cov_dump() call. Data is stored in 2 files per process.
14//
15// $pid.sancov.map describes process memory layout in the following text-based
16// format:
17// <pointer size in bits> // 1 line, 32 or 64
18// <mapping start> <mapping end> <base address> <dso name> // repeated
19// ...
20// Mapping lines are NOT sorted. This file is updated every time memory layout
21// is changed (i.e. in dlopen() and dlclose() interceptors).
22//
23// $pid.sancov.raw is a binary dump of PC values, sizeof(uptr) each. Again, not
24// sorted. This file is extended by 64Kb at a time and mapped into memory. It
25// contains one or more 0 words at the end, up to the next 64Kb aligned offset.
26//
27// To convert these 2 files to the usual .sancov format, run sancov.py rawunpack
28// $pid.sancov.raw.
29//
30//===----------------------------------------------------------------------===//
31
32#include "sanitizer_allocator_internal.h"
33#include "sanitizer_libc.h"
34#include "sanitizer_procmaps.h"
35
36namespace __sanitizer {
37
Stephen Hines6a211c52014-07-21 00:49:56 -070038static const uptr kMaxTextSize = 64 * 1024;
Stephen Hines2d1fdb22014-05-28 23:58:16 -070039
Stephen Hines6a211c52014-07-21 00:49:56 -070040struct CachedMapping {
41 public:
42 bool NeedsUpdate(uptr pc) {
43 int new_pid = internal_getpid();
44 if (last_pid == new_pid && pc && pc >= last_range_start &&
45 pc < last_range_end)
46 return false;
47 last_pid = new_pid;
48 return true;
Stephen Hines2d1fdb22014-05-28 23:58:16 -070049 }
50
Stephen Hines6a211c52014-07-21 00:49:56 -070051 void SetModuleRange(uptr start, uptr end) {
52 last_range_start = start;
53 last_range_end = end;
54 }
55
56 private:
57 uptr last_range_start, last_range_end;
58 int last_pid;
59};
60
61static CachedMapping cached_mapping;
62static StaticSpinMutex mapping_mu;
63
Stephen Hines86277eb2015-03-23 12:06:32 -070064void CovUpdateMapping(const char *coverage_dir, uptr caller_pc) {
65 if (!common_flags()->coverage_direct) return;
Stephen Hines6a211c52014-07-21 00:49:56 -070066
67 SpinMutexLock l(&mapping_mu);
68
69 if (!cached_mapping.NeedsUpdate(caller_pc))
70 return;
71
72 InternalScopedString text(kMaxTextSize);
Stephen Hines2d1fdb22014-05-28 23:58:16 -070073
Stephen Hines86277eb2015-03-23 12:06:32 -070074 {
75 InternalScopedBuffer<LoadedModule> modules(kMaxNumberOfModules);
76 CHECK(modules.data());
77 int n_modules = GetListOfModules(modules.data(), kMaxNumberOfModules,
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -080078 /* filter */ nullptr);
Stephen Hines86277eb2015-03-23 12:06:32 -070079
80 text.append("%d\n", sizeof(uptr) * 8);
81 for (int i = 0; i < n_modules; ++i) {
82 const char *module_name = StripModuleName(modules[i].full_name());
83 uptr base = modules[i].base_address();
84 for (auto iter = modules[i].ranges(); iter.hasNext();) {
85 const auto *range = iter.next();
86 if (range->executable) {
87 uptr start = range->beg;
88 uptr end = range->end;
89 text.append("%zx %zx %zx %s\n", start, end, base, module_name);
90 if (caller_pc && caller_pc >= start && caller_pc < end)
91 cached_mapping.SetModuleRange(start, end);
92 }
Stephen Hines2d1fdb22014-05-28 23:58:16 -070093 }
Stephen Hines86277eb2015-03-23 12:06:32 -070094 modules[i].clear();
Stephen Hines2d1fdb22014-05-28 23:58:16 -070095 }
Stephen Hines2d1fdb22014-05-28 23:58:16 -070096 }
97
Pirama Arumuga Nainar259f7062015-05-06 11:49:53 -070098 error_t err;
Stephen Hines86277eb2015-03-23 12:06:32 -070099 InternalScopedString tmp_path(64 + internal_strlen(coverage_dir));
Stephen Hines6a211c52014-07-21 00:49:56 -0700100 uptr res = internal_snprintf((char *)tmp_path.data(), tmp_path.size(),
Stephen Hines86277eb2015-03-23 12:06:32 -0700101 "%s/%zd.sancov.map.tmp", coverage_dir,
102 internal_getpid());
Stephen Hines6a211c52014-07-21 00:49:56 -0700103 CHECK_LE(res, tmp_path.size());
Pirama Arumuga Nainar259f7062015-05-06 11:49:53 -0700104 fd_t map_fd = OpenFile(tmp_path.data(), WrOnly, &err);
105 if (map_fd == kInvalidFd) {
106 Report("Coverage: failed to open %s for writing: %d\n", tmp_path.data(),
Stephen Hines86277eb2015-03-23 12:06:32 -0700107 err);
Stephen Hines6a211c52014-07-21 00:49:56 -0700108 Die();
109 }
110
Pirama Arumuga Nainar259f7062015-05-06 11:49:53 -0700111 if (!WriteToFile(map_fd, text.data(), text.length(), nullptr, &err)) {
Stephen Hines6a211c52014-07-21 00:49:56 -0700112 Printf("sancov.map write failed: %d\n", err);
113 Die();
114 }
Pirama Arumuga Nainar259f7062015-05-06 11:49:53 -0700115 CloseFile(map_fd);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700116
Stephen Hines86277eb2015-03-23 12:06:32 -0700117 InternalScopedString path(64 + internal_strlen(coverage_dir));
Stephen Hines6a211c52014-07-21 00:49:56 -0700118 res = internal_snprintf((char *)path.data(), path.size(), "%s/%zd.sancov.map",
Stephen Hines86277eb2015-03-23 12:06:32 -0700119 coverage_dir, internal_getpid());
Stephen Hines6a211c52014-07-21 00:49:56 -0700120 CHECK_LE(res, path.size());
Pirama Arumuga Nainar259f7062015-05-06 11:49:53 -0700121 if (!RenameFile(tmp_path.data(), path.data(), &err)) {
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700122 Printf("sancov.map rename failed: %d\n", err);
123 Die();
124 }
125}
126
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -0800127} // namespace __sanitizer