Searched refs:deadend_funcs (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Delf_file.py13 deadend_funcs = ['halt'] variable
73 self.deadend_funcs = deadend_funcs
H A Delf_correlate.py137 if fun in elfFile().deadend_funcs:
361 for dead_f in elfFile().deadend_funcs:
393 if f in elfFile().deadend_funcs:

Completed in 69 milliseconds