blob: f3f0748023bc2078a53fd057b7c0e29559f26a43 [file] [log] [blame]
Greg Clayton02747662012-08-30 21:21:241#!/usr/bin/env python
2
Serge Guelton1a12dd72019-03-26 14:46:153import subprocess
Greg Clayton02747662012-08-30 21:21:244import optparse
5import os
6import os.path
7import re
8import sys
9
Kate Stoneb9c1b512016-09-06 20:57:5010
11def extract_exe_symbol_names(arch, exe_path, match_str):
12 command = 'dsymutil --arch %s -s "%s" | grep "%s" | colrm 1 69' % (
13 arch, exe_path, match_str)
Serge Guelton1a12dd72019-03-26 14:46:1514 (command_exit_status, command_output) = subprocess.getstatusoutput(command)
Greg Clayton02747662012-08-30 21:21:2415 if command_exit_status == 0:
16 if command_output:
17 return command_output[0:-1].split("'\n")
18 else:
Serge Guelton525cd592019-03-21 18:27:4019 print('error: command returned no output')
Greg Clayton02747662012-08-30 21:21:2420 else:
Serge Guelton525cd592019-03-21 18:27:4021 print('error: command failed with exit status %i\n command: %s' % (command_exit_status, command))
Greg Clayton02747662012-08-30 21:21:2422 return list()
23
Kate Stoneb9c1b512016-09-06 20:57:5024
Greg Clayton02747662012-08-30 21:21:2425def verify_api(all_args):
26 '''Verify the API in the specified library is valid given one or more binaries.'''
27 usage = "usage: verify_api --library <path> [ --library <path> ...] executable1 [executable2 ...]"
Kate Stoneb9c1b512016-09-06 20:57:5028 description = '''Verify the API in the specified library is valid given one or more binaries.
29
Greg Clayton02747662012-08-30 21:21:2430 Example:
Kate Stoneb9c1b512016-09-06 20:57:5031
Greg Clayton02747662012-08-30 21:21:2432 verify_api.py --library ~/Documents/src/lldb/build/Debug/LLDB.framework/LLDB --arch x86_64 /Applications/Xcode.app/Contents/PlugIns/DebuggerLLDB.ideplugin/Contents/MacOS/DebuggerLLDB --api-regex lldb
33 '''
Kate Stoneb9c1b512016-09-06 20:57:5034 parser = optparse.OptionParser(
35 description=description,
36 prog='verify_api',
37 usage=usage)
38 parser.add_option(
39 '-v',
40 '--verbose',
41 action='store_true',
42 dest='verbose',
43 help='display verbose debug info',
44 default=False)
45 parser.add_option(
46 '-a',
47 '--arch',
48 type='string',
49 action='append',
50 dest='archs',
Kazuaki Ishizakie9264b72020-04-06 16:06:0251 help='architecture to use when checking the api')
Kate Stoneb9c1b512016-09-06 20:57:5052 parser.add_option(
53 '-r',
54 '--api-regex',
55 type='string',
56 dest='api_regex_str',
57 help='Exclude any undefined symbols that do not match this regular expression when searching for missing APIs.')
58 parser.add_option(
59 '-l',
60 '--library',
61 type='string',
62 action='append',
63 dest='libraries',
64 help='Specify one or more libraries that will contain all needed APIs for the executables.')
Greg Clayton02747662012-08-30 21:21:2465 (options, args) = parser.parse_args(all_args)
Kate Stoneb9c1b512016-09-06 20:57:5066
Greg Clayton02747662012-08-30 21:21:2467 api_external_symbols = list()
68 if options.archs:
69 for arch in options.archs:
70 for library in options.libraries:
Kate Stoneb9c1b512016-09-06 20:57:5071 external_symbols = extract_exe_symbol_names(
72 arch, library, "( SECT EXT)")
Greg Clayton02747662012-08-30 21:21:2473 if external_symbols:
74 for external_symbol in external_symbols:
75 api_external_symbols.append(external_symbol)
76 else:
77 sys.exit(1)
78 else:
Serge Guelton525cd592019-03-21 18:27:4079 print('error: must specify one or more architectures with the --arch option')
Greg Clayton02747662012-08-30 21:21:2480 sys.exit(4)
81 if options.verbose:
Serge Guelton525cd592019-03-21 18:27:4082 print("API symbols:")
Greg Clayton02747662012-08-30 21:21:2483 for (i, external_symbol) in enumerate(api_external_symbols):
Serge Guelton525cd592019-03-21 18:27:4084 print("[%u] %s" % (i, external_symbol))
Kate Stoneb9c1b512016-09-06 20:57:5085
Greg Clayton02747662012-08-30 21:21:2486 api_regex = None
87 if options.api_regex_str:
88 api_regex = re.compile(options.api_regex_str)
Kate Stoneb9c1b512016-09-06 20:57:5089
90 for arch in options.archs:
Greg Clayton02747662012-08-30 21:21:2491 for exe_path in args:
Serge Guelton525cd592019-03-21 18:27:4092 print('Verifying (%s) "%s"...' % (arch, exe_path))
Greg Clayton02747662012-08-30 21:21:2493 exe_errors = 0
Kate Stoneb9c1b512016-09-06 20:57:5094 undefined_symbols = extract_exe_symbol_names(
95 arch, exe_path, "( UNDF EXT)")
Greg Clayton02747662012-08-30 21:21:2496 for undefined_symbol in undefined_symbols:
97 if api_regex:
98 match = api_regex.search(undefined_symbol)
99 if not match:
100 if options.verbose:
Serge Guelton525cd592019-03-21 18:27:40101 print('ignoring symbol: %s' % (undefined_symbol))
Greg Clayton02747662012-08-30 21:21:24102 continue
103 if undefined_symbol in api_external_symbols:
104 if options.verbose:
Serge Guelton525cd592019-03-21 18:27:40105 print('verified symbol: %s' % (undefined_symbol))
Greg Clayton02747662012-08-30 21:21:24106 else:
Serge Guelton525cd592019-03-21 18:27:40107 print('missing symbol: %s' % (undefined_symbol))
Greg Clayton02747662012-08-30 21:21:24108 exe_errors += 1
109 if exe_errors:
Serge Guelton525cd592019-03-21 18:27:40110 print('error: missing %u API symbols from %s' % (exe_errors, options.libraries))
Greg Clayton02747662012-08-30 21:21:24111 else:
Serge Guelton525cd592019-03-21 18:27:40112 print('success')
Kate Stoneb9c1b512016-09-06 20:57:50113
Greg Clayton02747662012-08-30 21:21:24114if __name__ == '__main__':
Kate Stoneb9c1b512016-09-06 20:57:50115 verify_api(sys.argv[1:])