blob: e5f52d3b2fa6719ac741866dd1a7f678189e94a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
import json
import multiprocessing
import os
import re
import subprocess
import sys
def run_analyzer(data):
os.chdir(data["directory"])
command = (
data["command"]
+ f" --analyze --analyzer-output html -o analyzer-results -Xclang -analyzer-config -Xclang max-nodes=75000"
)
print(command)
subprocess.run(command, shell=True, check=True)
def pool_error(e):
print("Error analyzing file:", e)
def main():
db_path = sys.argv[1]
database = json.load(open(db_path))
with multiprocessing.Pool() as pool:
pool.map_async(run_analyzer, [k for k in database], error_callback=pool_error)
pool.close()
pool.join()
if __name__ == "__main__":
main()
|
