|
16 | 16 | import os
|
17 | 17 | from fuzzware_harness.util import load_config_deep, parse_symbols
|
18 | 18 | from fuzzware_harness.tracing.serialization import parse_bbl_trace
|
19 |
| -from fuzzware_pipeline.util.eval_utils import find_covering_trace_paths, find_trace_paths_covering_all_bbs |
| 19 | +from fuzzware_pipeline.util.eval_utils import find_traces_covering_all |
20 | 20 | from fuzzware_pipeline.naming_conventions import trace_paths_for_trace, input_for_trace_path
|
21 | 21 | import subprocess
|
22 | 22 |
|
| 23 | +NUM_TRACE_ALL = 999999 |
| 24 | + |
23 | 25 | def parse_groundtruth_csv(file_path):
|
24 | 26 | entries = []
|
25 | 27 |
|
@@ -90,17 +92,17 @@ def main(file_path):
|
90 | 92 | print(f"Got ordered basic block candidates: {bbs}")
|
91 | 93 | if len(bbs) == 1:
|
92 | 94 | # single one, use bb set
|
93 |
| - _, not_found = find_covering_trace_paths(proj_dir, bbs) |
94 |
| - if not not_found: |
| 95 | + trace_paths = find_traces_covering_all(proj_dir, bbs, find_num=NUM_TRACE_ALL, only_last_maindir=False) |
| 96 | + if trace_paths: |
95 | 97 | successes.append(elf_name)
|
96 | 98 | found = True
|
97 | 99 | break
|
98 | 100 | else:
|
99 | 101 | print("[-] Did not find for single-bb")
|
100 | 102 | else:
|
101 | 103 | # multiple BBs, check ordered occurrence in full basic block traces
|
102 |
| - trace_set_paths = find_trace_paths_covering_all_bbs(proj_dir, bbs) |
103 |
| - |
| 104 | + trace_set_paths = find_traces_covering_all(proj_dir, bbs, find_num=NUM_TRACE_ALL, only_last_maindir=False) |
| 105 | + |
104 | 106 | # look for a trace that booted
|
105 | 107 | for bbl_set_trace_path in trace_set_paths:
|
106 | 108 | bbl_trace_path = trace_paths_for_trace(bbl_set_trace_path)[0]
|
|
0 commit comments