Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 1 | #!/usr/bin/env python |
| 2 | # Merge or print the coverage data collected by asan's coverage. |
| 3 | # Input files are sequences of 4-byte integers. |
| 4 | # We need to merge these integers into a set and then |
| 5 | # either print them (as hex) or dump them into another file. |
| 6 | import array |
Timur Iskhodzhanov | 882bc56 | 2015-04-01 14:46:10 +0000 | [diff] [blame] | 7 | import bisect |
| 8 | import glob |
| 9 | import os.path |
Sergey Matveev | 6cb47a08 | 2014-05-19 12:53:03 +0000 | [diff] [blame] | 10 | import struct |
Sergey Matveev | c2de346 | 2015-05-06 20:48:29 +0000 | [diff] [blame^] | 11 | import subprocess |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 12 | import sys |
| 13 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 14 | prog_name = "" |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 15 | |
| 16 | def Usage(): |
| 17 | print >> sys.stderr, "Usage: \n" + \ |
Sergey Matveev | c2de346 | 2015-05-06 20:48:29 +0000 | [diff] [blame^] | 18 | " " + prog_name + " merge FILE [FILE...] > OUTPUT\n" \ |
| 19 | " " + prog_name + " print FILE [FILE...]\n" \ |
| 20 | " " + prog_name + " unpack FILE [FILE...]\n" \ |
| 21 | " " + prog_name + " rawunpack FILE [FILE ...]\n" \ |
| 22 | " " + prog_name + " missing BINARY < LIST_OF_PCS\n" |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 23 | exit(1) |
| 24 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 25 | def CheckBits(bits): |
| 26 | if bits != 32 and bits != 64: |
Bill Seurer | 92760a3 | 2015-03-25 14:56:02 +0000 | [diff] [blame] | 27 | raise Exception("Wrong bitness: %d" % bits) |
Kostya Serebryany | 9f1243e | 2015-03-17 22:09:19 +0000 | [diff] [blame] | 28 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 29 | def TypeCodeForBits(bits): |
| 30 | CheckBits(bits) |
| 31 | return 'L' if bits == 64 else 'I' |
| 32 | |
Kostya Serebryany | eaec5b6 | 2015-03-19 19:52:30 +0000 | [diff] [blame] | 33 | kMagic32SecondHalf = 0xFFFFFF32; |
| 34 | kMagic64SecondHalf = 0xFFFFFF64; |
| 35 | kMagicFirstHalf = 0xC0BFFFFF; |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 36 | |
| 37 | def MagicForBits(bits): |
| 38 | CheckBits(bits) |
Bill Seurer | 92760a3 | 2015-03-25 14:56:02 +0000 | [diff] [blame] | 39 | if sys.byteorder == 'little': |
| 40 | return [kMagic64SecondHalf if bits == 64 else kMagic32SecondHalf, kMagicFirstHalf] |
| 41 | else: |
| 42 | return [kMagicFirstHalf, kMagic64SecondHalf if bits == 64 else kMagic32SecondHalf] |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 43 | |
Kostya Serebryany | dcb54db | 2015-03-19 21:01:27 +0000 | [diff] [blame] | 44 | def ReadMagicAndReturnBitness(f, path): |
Kostya Serebryany | eaec5b6 | 2015-03-19 19:52:30 +0000 | [diff] [blame] | 45 | magic_bytes = f.read(8) |
| 46 | magic_words = struct.unpack('II', magic_bytes); |
| 47 | bits = 0 |
Bill Seurer | 92760a3 | 2015-03-25 14:56:02 +0000 | [diff] [blame] | 48 | idx = 1 if sys.byteorder == 'little' else 0 |
| 49 | if magic_words[idx] == kMagicFirstHalf: |
| 50 | if magic_words[1-idx] == kMagic64SecondHalf: |
Kostya Serebryany | eaec5b6 | 2015-03-19 19:52:30 +0000 | [diff] [blame] | 51 | bits = 64 |
Bill Seurer | 92760a3 | 2015-03-25 14:56:02 +0000 | [diff] [blame] | 52 | elif magic_words[1-idx] == kMagic32SecondHalf: |
Kostya Serebryany | eaec5b6 | 2015-03-19 19:52:30 +0000 | [diff] [blame] | 53 | bits = 32 |
| 54 | if bits == 0: |
Kostya Serebryany | dcb54db | 2015-03-19 21:01:27 +0000 | [diff] [blame] | 55 | raise Exception('Bad magic word in %s' % path) |
Kostya Serebryany | eaec5b6 | 2015-03-19 19:52:30 +0000 | [diff] [blame] | 56 | return bits |
| 57 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 58 | def ReadOneFile(path): |
Sergey Matveev | 6cb47a08 | 2014-05-19 12:53:03 +0000 | [diff] [blame] | 59 | with open(path, mode="rb") as f: |
| 60 | f.seek(0, 2) |
| 61 | size = f.tell() |
| 62 | f.seek(0, 0) |
Kostya Serebryany | dcb54db | 2015-03-19 21:01:27 +0000 | [diff] [blame] | 63 | if size < 8: |
| 64 | raise Exception('File %s is short (< 8 bytes)' % path) |
| 65 | bits = ReadMagicAndReturnBitness(f, path) |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 66 | size -= 8 |
Kostya Serebryany | cba49d4 | 2015-03-18 00:23:44 +0000 | [diff] [blame] | 67 | s = array.array(TypeCodeForBits(bits), f.read(size)) |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 68 | print >>sys.stderr, "%s: read %d %d-bit PCs from %s" % (prog_name, size * 8 / bits, bits, path) |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 69 | return s |
| 70 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 71 | def Merge(files): |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 72 | s = set() |
| 73 | for f in files: |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 74 | s = s.union(set(ReadOneFile(f))) |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 75 | print >> sys.stderr, "%s: %d files merged; %d PCs total" % \ |
| 76 | (prog_name, len(files), len(s)) |
| 77 | return sorted(s) |
| 78 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 79 | def PrintFiles(files): |
Kostya Serebryany | cba49d4 | 2015-03-18 00:23:44 +0000 | [diff] [blame] | 80 | if len(files) > 1: |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 81 | s = Merge(files) |
Kostya Serebryany | cba49d4 | 2015-03-18 00:23:44 +0000 | [diff] [blame] | 82 | else: # If there is just on file, print the PCs in order. |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 83 | s = ReadOneFile(files[0]) |
Kostya Serebryany | dcb54db | 2015-03-19 21:01:27 +0000 | [diff] [blame] | 84 | print >> sys.stderr, "%s: 1 file merged; %d PCs total" % \ |
| 85 | (prog_name, len(s)) |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 86 | for i in s: |
| 87 | print "0x%x" % i |
| 88 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 89 | def MergeAndPrint(files): |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 90 | if sys.stdout.isatty(): |
| 91 | Usage() |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 92 | s = Merge(files) |
| 93 | bits = 32 |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 94 | if max(s) > 0xFFFFFFFF: |
| 95 | bits = 64 |
Kostya Serebryany | dcb54db | 2015-03-19 21:01:27 +0000 | [diff] [blame] | 96 | array.array('I', MagicForBits(bits)).tofile(sys.stdout) |
Kostya Serebryany | 9f1243e | 2015-03-17 22:09:19 +0000 | [diff] [blame] | 97 | a = array.array(TypeCodeForBits(bits), s) |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 98 | a.tofile(sys.stdout) |
| 99 | |
Sergey Matveev | 6cb47a08 | 2014-05-19 12:53:03 +0000 | [diff] [blame] | 100 | |
| 101 | def UnpackOneFile(path): |
| 102 | with open(path, mode="rb") as f: |
| 103 | print >> sys.stderr, "%s: unpacking %s" % (prog_name, path) |
| 104 | while True: |
| 105 | header = f.read(12) |
| 106 | if not header: return |
| 107 | if len(header) < 12: |
| 108 | break |
| 109 | pid, module_length, blob_size = struct.unpack('iII', header) |
| 110 | module = f.read(module_length) |
| 111 | blob = f.read(blob_size) |
| 112 | assert(len(module) == module_length) |
| 113 | assert(len(blob) == blob_size) |
| 114 | extracted_file = "%s.%d.sancov" % (module, pid) |
| 115 | print >> sys.stderr, "%s: extracting %s" % \ |
| 116 | (prog_name, extracted_file) |
| 117 | # The packed file may contain multiple blobs for the same pid/module |
| 118 | # pair. Append to the end of the file instead of overwriting. |
| 119 | with open(extracted_file, 'ab') as f2: |
| 120 | f2.write(blob) |
| 121 | # fail |
| 122 | raise Exception('Error reading file %s' % path) |
| 123 | |
| 124 | |
| 125 | def Unpack(files): |
| 126 | for f in files: |
| 127 | UnpackOneFile(f) |
| 128 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 129 | def UnpackOneRawFile(path, map_path): |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 130 | mem_map = [] |
| 131 | with open(map_path, mode="rt") as f_map: |
| 132 | print >> sys.stderr, "%s: reading map %s" % (prog_name, map_path) |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 133 | bits = int(f_map.readline()) |
| 134 | if bits != 32 and bits != 64: |
Kostya Serebryany | 9f1243e | 2015-03-17 22:09:19 +0000 | [diff] [blame] | 135 | raise Exception('Wrong bits size in the map') |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 136 | for line in f_map: |
| 137 | parts = line.rstrip().split() |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 138 | mem_map.append((int(parts[0], 16), |
| 139 | int(parts[1], 16), |
| 140 | int(parts[2], 16), |
Evgeniy Stepanov | 937afa1 | 2014-06-03 15:25:43 +0000 | [diff] [blame] | 141 | ' '.join(parts[3:]))) |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 142 | mem_map.sort(key=lambda m : m[0]) |
| 143 | mem_map_keys = [m[0] for m in mem_map] |
| 144 | |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 145 | with open(path, mode="rb") as f: |
| 146 | print >> sys.stderr, "%s: unpacking %s" % (prog_name, path) |
| 147 | |
| 148 | f.seek(0, 2) |
| 149 | size = f.tell() |
| 150 | f.seek(0, 0) |
Kostya Serebryany | 9f1243e | 2015-03-17 22:09:19 +0000 | [diff] [blame] | 151 | pcs = array.array(TypeCodeForBits(bits), f.read(size)) |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 152 | mem_map_pcs = [[] for i in range(0, len(mem_map))] |
| 153 | |
| 154 | for pc in pcs: |
| 155 | if pc == 0: continue |
| 156 | map_idx = bisect.bisect(mem_map_keys, pc) - 1 |
| 157 | (start, end, base, module_path) = mem_map[map_idx] |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 158 | assert pc >= start |
| 159 | if pc >= end: |
| 160 | print >> sys.stderr, "warning: %s: pc %x outside of any known mapping" % (prog_name, pc) |
| 161 | continue |
| 162 | mem_map_pcs[map_idx].append(pc - base) |
| 163 | |
| 164 | for ((start, end, base, module_path), pc_list) in zip(mem_map, mem_map_pcs): |
| 165 | if len(pc_list) == 0: continue |
| 166 | assert path.endswith('.sancov.raw') |
| 167 | dst_path = module_path + '.' + os.path.basename(path)[:-4] |
Evgeniy Stepanov | b723834 | 2014-12-25 16:03:24 +0000 | [diff] [blame] | 168 | print >> sys.stderr, "%s: writing %d PCs to %s" % (prog_name, len(pc_list), dst_path) |
Kostya Serebryany | 9f1243e | 2015-03-17 22:09:19 +0000 | [diff] [blame] | 169 | arr = array.array(TypeCodeForBits(bits)) |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 170 | arr.fromlist(sorted(pc_list)) |
| 171 | with open(dst_path, 'ab') as f2: |
Kostya Serebryany | dcb54db | 2015-03-19 21:01:27 +0000 | [diff] [blame] | 172 | array.array('I', MagicForBits(bits)).tofile(f2) |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 173 | arr.tofile(f2) |
| 174 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 175 | def RawUnpack(files): |
Evgeniy Stepanov | 567e516 | 2014-05-27 12:37:52 +0000 | [diff] [blame] | 176 | for f in files: |
| 177 | if not f.endswith('.sancov.raw'): |
| 178 | raise Exception('Unexpected raw file name %s' % f) |
| 179 | f_map = f[:-3] + 'map' |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 180 | UnpackOneRawFile(f, f_map) |
Sergey Matveev | 6cb47a08 | 2014-05-19 12:53:03 +0000 | [diff] [blame] | 181 | |
Sergey Matveev | c2de346 | 2015-05-06 20:48:29 +0000 | [diff] [blame^] | 182 | def GetInstrumentedPCs(binary): |
| 183 | cmd = "objdump -d %s | " \ |
| 184 | "grep '^\s\+[0-9a-f]\+:.*\scall\(q\|\)\s\+[0-9a-f]\+ <__sanitizer_cov\(@plt\|\)>' | " \ |
| 185 | "grep '^\s\+[0-9a-f]\+' -o" % binary |
| 186 | proc = subprocess.Popen(cmd, stdin=subprocess.PIPE, stdout=subprocess.PIPE, |
| 187 | shell=True) |
| 188 | proc.stdin.close() |
| 189 | # The PCs we get from objdump are off by 4 bytes, as they point to the |
| 190 | # beginning of the callq instruction. Empirically this is true on x86 and |
| 191 | # x86_64. |
| 192 | return set(int(line.strip(), 16) + 4 for line in proc.stdout) |
| 193 | |
| 194 | def PrintMissing(binary): |
| 195 | if not os.path.isfile(binary): |
| 196 | raise Exception('File not found: %s' % binary) |
| 197 | instrumented = GetInstrumentedPCs(binary) |
| 198 | print >> sys.stderr, "%s: found %d instrumented PCs in %s" % (prog_name, |
| 199 | len(instrumented), |
| 200 | binary) |
| 201 | covered = set(int(line, 16) for line in sys.stdin) |
| 202 | print >> sys.stderr, "%s: read %d PCs from stdin" % (prog_name, len(covered)) |
| 203 | missing = instrumented - covered |
| 204 | print >> sys.stderr, "%s: %d PCs missing from coverage" % (prog_name, len(missing)) |
| 205 | if (len(missing) > len(instrumented) - len(covered)): |
| 206 | print >> sys.stderr, \ |
| 207 | "%s: WARNING: stdin contains PCs not found in binary" % prog_name |
| 208 | for pc in sorted(missing): |
| 209 | print "0x%x" % pc |
| 210 | |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 211 | if __name__ == '__main__': |
| 212 | prog_name = sys.argv[0] |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 213 | if len(sys.argv) <= 2: |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 214 | Usage(); |
Kostya Serebryany | 9f1243e | 2015-03-17 22:09:19 +0000 | [diff] [blame] | 215 | |
Sergey Matveev | c2de346 | 2015-05-06 20:48:29 +0000 | [diff] [blame^] | 216 | if sys.argv[1] == "missing": |
| 217 | if len(sys.argv) != 3: |
| 218 | Usage() |
| 219 | PrintMissing(sys.argv[2]) |
| 220 | exit(0) |
| 221 | |
Timur Iskhodzhanov | 882bc56 | 2015-04-01 14:46:10 +0000 | [diff] [blame] | 222 | file_list = [] |
| 223 | for f in sys.argv[2:]: |
| 224 | file_list += glob.glob(f) |
| 225 | if not file_list: |
| 226 | Usage() |
| 227 | |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 228 | if sys.argv[1] == "print": |
Timur Iskhodzhanov | 882bc56 | 2015-04-01 14:46:10 +0000 | [diff] [blame] | 229 | PrintFiles(file_list) |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 230 | elif sys.argv[1] == "merge": |
Timur Iskhodzhanov | 882bc56 | 2015-04-01 14:46:10 +0000 | [diff] [blame] | 231 | MergeAndPrint(file_list) |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 232 | elif sys.argv[1] == "unpack": |
Timur Iskhodzhanov | 882bc56 | 2015-04-01 14:46:10 +0000 | [diff] [blame] | 233 | Unpack(file_list) |
Kostya Serebryany | 2d56aba | 2015-03-18 22:03:39 +0000 | [diff] [blame] | 234 | elif sys.argv[1] == "rawunpack": |
Timur Iskhodzhanov | 882bc56 | 2015-04-01 14:46:10 +0000 | [diff] [blame] | 235 | RawUnpack(file_list) |
Kostya Serebryany | b415032 | 2013-11-15 11:51:08 +0000 | [diff] [blame] | 236 | else: |
| 237 | Usage() |