| """ |
| Parses the id of the process that ran with ASAN from the output logs. |
| """ |
| import sys, argparse, re |
| |
| def main(): |
| parser = argparse.ArgumentParser() |
| parser.add_argument('--infile', nargs='?', type=argparse.FileType('r'), default=sys.stdin, help='The sanitizer output to get the pid from') |
| parser.add_argument('--outfile', nargs='?', type=argparse.FileType('r'), default=sys.stdout, help='Where to write the result') |
| args = parser.parse_args() |
| |
| pid = process_file(args.infile) |
| args.outfile.write(pid) |
| args.infile.close() |
| args.outfile.close() |
| |
| |
| |
| def process_file(infile): |
| # check first line is just ==== divider |
| first_line_pattern = re.compile(r'=*') |
| assert first_line_pattern.match(infile.readline()) |
| |
| # parse out pid from 2nd line |
| # `==PID==ERROR: SanitizerName: error-type on address...` |
| pid_pattern = re.compile(r'==([0-9]*)==ERROR:') |
| pid = pid_pattern.search(infile.readline()).group(1) |
| |
| # ignore the rest |
| |
| assert pid and pid.isdigit() |
| |
| return pid |
| |
| if __name__ == '__main__': |
| main() |
