/seL4-l4v-master/graph-refine/example/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals 8 from target_objects import symbols, sections, rodata, pairings, danger_set
|
/seL4-l4v-master/graph-refine/loop-example/synth/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals 8 from target_objects import symbols, sections, rodata, pairings, danger_set
|
/seL4-l4v-master/graph-refine/loop-example/O1/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals 8 from target_objects import symbols, sections, rodata, pairings, danger_set 9 import target_objects namespace 43 target_objects.use_hooks.add ('stack_logic')
|
/seL4-l4v-master/graph-refine/seL4-example/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions 8 from target_objects import symbols, sections, rodata, pairings 9 import target_objects namespace 46 target_objects.use_hooks.add ('stack_logic')
|
/seL4-l4v-master/graph-refine/loop-example/O2/ |
H A D | target.py | 7 from target_objects import target_dir, structs, functions, const_globals 8 from target_objects import symbols, sections, rodata, pairings, danger_set 9 import target_objects namespace 43 target_objects.use_hooks.add ('stack_logic')
|
/seL4-l4v-master/graph-refine/ |
H A D | c_rodata.py | 8 import target_objects namespace 42 target_objects.add_hook ('post_emit_node', module_hook_k, hook) 43 target_objects.use_hooks.add (module_hook_k)
|
H A D | objdump.py | 40 import target_objects namespace 41 target_objects.symbols.update (syms) 42 target_objects.sections.update (sects) 49 from target_objects import symbols, sections, trace 102 import target_objects namespace 104 target_objects.rodata[:] = rodata
|
H A D | graph-refine.py | 18 from target_objects import pairings, functions 19 from target_objects import trace, tracer, printout 20 import target_objects namespace 31 args = target_objects.load_target_args () 286 target_objects.trace_files.append (f) 292 target_objects.danger_set)
|
H A D | loop_bounds.py | 9 from target_objects import functions, trace 15 import target_objects namespace 282 for hook in target_objects.hooks ('extra_wcet_assertions'): 351 f = open ('%s/LoopBounds.txt' % target_objects.target_dir, 'a') 364 f = open ('%s/LoopBounds.txt' % target_objects.target_dir, 'a') 387 f = open ('%s/LoopBounds.txt' % target_objects.target_dir) 481 funs = [f for pair in target_objects.pairings[fname] 808 f = open ('%s/LoopBounds.txt' % target_objects.target_dir) 828 f = open ('%s/time' % target_objects.target_dir) 871 f = open ('%s/LoopTimingMetrics.txt' % target_objects [all...] |
H A D | inst_logic.py | 17 from target_objects import functions, trace, pairings, pre_pairings, printout 18 import target_objects namespace
|
H A D | trace_refute.py | 18 from target_objects import functions, trace, pairings, symbols, printout 19 import target_objects namespace 325 for f in target_objects.hooks ('extra_wcet_assertions'): 516 for hook in target_objects.hooks ('wcet_function_limits'): 524 for hook in target_objects.hooks ('wcet_functions_to_avoid'): 632 args = target_objects.load_target_args ()
|
H A D | syntax.py | 10 from target_objects import structs, trace 11 import target_objects namespace 474 assert (target_objects.const_globals[self.name].typ 1179 target_objects.structs.update (structs) 1180 target_objects.functions.update (functions) 1181 target_objects.const_globals.update (const_globals) 1183 target_objects.functions_by_tag[tag] = set (functions)
|
H A D | stack_logic.py | 15 from target_objects import functions, trace, pairings, pre_pairings, printout 16 import target_objects namespace 251 assume_sp_equal = bool (target_objects.hooks ('assume_sp_equal')) 253 for fname2 in target_objects.symbols: 1186 prev_tracer = target_objects.tracer[0] 1188 target_objects.tracer[0] = lambda s, n: () 1201 target_objects.tracer[0] = prev_tracer 1205 target_objects.tracer[0] = prev_tracer 1334 synth = [s for s in target_objects.symbols 1363 add = target_objects [all...] |
H A D | debug.py | 7 from target_objects import functions, pairings 8 import target_objects namespace 614 from target_objects import symbols, sections 646 f = open ('%s/kernel.elf.txt' % target_objects.target_dir)
|
H A D | stats.py | 13 from target_objects import pairings
|
H A D | rep_graph.py | 15 from target_objects import functions, pairings, sections, trace, printout 16 import target_objects namespace 519 for hook in target_objects.hooks ('rep_unsafe_const_ret'): 627 for hook in target_objects.hooks ('problem_var_rep'): 726 for hook in target_objects.hooks ('post_emit_node'):
|
H A D | solver.py | 177 from target_objects import structs, rodata, sections, trace, printout 2175 from target_objects import functions 2205 import sys, target_objects namespace 2207 target_objects.tracer[0] = lambda x, y: ()
|
H A D | check.py | 15 from target_objects import functions, pairings, trace, printout 16 import target_objects namespace
|
H A D | pseudo_compile.py | 23 from target_objects import symbols, trace
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | bench.py | 19 from graph_refine.target_objects import functions, functions_by_tag 20 import graph_refine.target_objects as target_objects namespace 123 target_objects.load_target(dir_name) 139 target_objects.tracer[0] = silent_tracer 151 functions = target_objects.functions
|
H A D | convert_loop_bounds.py | 9 import graph_refine.target_objects as target_objects namespace 10 from graph_refine.target_objects import functions 36 args = target_objects.load_target(target_dir_name) 37 target_dir = target_objects.target_dir 82 imm_utils.genLoopheads(lbfs, target_objects.target_dir, incremental_head=(f,head))
|
H A D | graph_to_graph.py | 16 import graph_refine.target_objects as target_objects namespace
|
H A D | elf_file.py | 8 from graph_refine.target_objects import functions, functions_by_tag
|
H A D | auto_infea.py | 56 from graph_refine.target_objects import target_dir, target_args
|
H A D | elf_correlate.py | 16 import graph_refine.target_objects as target_objects namespace
|