goto-instrument → goto-programs Relation

File in src/goto-instrument	Includes file in src/goto-programs
accelerate / accelerate.cpp	goto_functions.h
accelerate / acceleration_utils.cpp	goto_program.h
accelerate / acceleration_utils.h	goto_program.h
accelerate / accelerator.h	goto_functions.h
accelerate / accelerator.h	goto_program.h
aggressive_slicer.cpp	goto_model.h
aggressive_slicer.cpp	show_properties.h
aggressive_slicer.h	goto_model.h
accelerate / all_paths_enumerator.h	goto_program.h
branch.cpp	goto_model.h
call_sequences.cpp	goto_model.h
contracts / cfg_info.h	goto_model.h
accelerate / cone_of_influence.h	goto_program.h
contracts / contracts.cpp	goto_inline.h
contracts / contracts.cpp	goto_program.h
contracts / contracts.cpp	remove_skip.h
contracts / contracts.h	goto_functions.h
contracts / contracts.h	goto_model.h
contracts / contracts_wrangler.cpp	remove_unused_functions.h
contracts / contracts_wrangler.h	goto_functions.h
contracts / contracts_wrangler.h	goto_model.h
count_eloc.cpp	cfg.h
count_eloc.cpp	goto_model.h
cover.cpp	goto_model.h
cover.cpp	remove_skip.h
cover_basic_blocks.h	goto_program.h
cover_filter.h	goto_functions.h
cover_instrument.h	goto_program.h
cover_instrument_assume.cpp	goto_program.h
cover_util.h	goto_program.h
contracts / dynamic-frames / dfcc.cpp	goto_functions.h
contracts / dynamic-frames / dfcc.cpp	goto_inline.h
contracts / dynamic-frames / dfcc.cpp	goto_model.h
contracts / dynamic-frames / dfcc.cpp	initialize_goto_model.h
contracts / dynamic-frames / dfcc.cpp	remove_skip.h
contracts / dynamic-frames / dfcc.cpp	remove_unused_functions.h
contracts / dynamic-frames / dfcc_cfg_info.h	goto_program.h
contracts / dynamic-frames / dfcc_contract_clauses_codegen.cpp	goto_model.h
contracts / dynamic-frames / dfcc_contract_functions.cpp	goto_model.h
contracts / dynamic-frames / dfcc_contract_handler.cpp	goto_model.h
contracts / dynamic-frames / dfcc_contract_handler.cpp	remove_function_pointers.h
contracts / dynamic-frames / dfcc_instrument.cpp	goto_model.h
contracts / dynamic-frames / dfcc_instrument.cpp	remove_skip.h
contracts / dynamic-frames / dfcc_instrument.h	goto_program.h
contracts / dynamic-frames / dfcc_instrument_loop.h	goto_model.h
contracts / dynamic-frames / dfcc_is_freeable.h	goto_program.h
contracts / dynamic-frames / dfcc_is_fresh.h	goto_program.h
contracts / dynamic-frames / dfcc_library.cpp	goto_function.h
contracts / dynamic-frames / dfcc_library.cpp	goto_model.h
contracts / dynamic-frames / dfcc_library.h	goto_instruction_code.h
contracts / dynamic-frames / dfcc_lift_memory_predicates.cpp	goto_model.h
contracts / dynamic-frames / dfcc_lift_memory_predicates.h	goto_program.h
contracts / dynamic-frames / dfcc_loop_tags.h	goto_program.h
contracts / dynamic-frames / dfcc_obeys_contract.h	goto_program.h
contracts / dynamic-frames / dfcc_pointer_in_range.h	goto_program.h
contracts / dynamic-frames / dfcc_root_object.cpp	pointer_arithmetic.h
contracts / dynamic-frames / dfcc_spec_functions.cpp	goto_model.h
contracts / dynamic-frames / dfcc_swap_and_wrap.cpp	goto_functions.h
contracts / dynamic-frames / dfcc_swap_and_wrap.cpp	goto_inline.h
contracts / dynamic-frames / dfcc_swap_and_wrap.cpp	goto_model.h
contracts / dynamic-frames / dfcc_swap_and_wrap.cpp	instrument_preconditions.h
contracts / dynamic-frames / dfcc_swap_and_wrap.cpp	remove_skip.h
contracts / dynamic-frames / dfcc_utils.cpp	goto_inline.h
contracts / dynamic-frames / dfcc_utils.cpp	goto_model.h
contracts / dynamic-frames / dfcc_wrapper_program.cpp	goto_model.h
accelerate / disjunctive_polynomial_acceleration.cpp	goto_program.h
accelerate / disjunctive_polynomial_acceleration.cpp	remove_skip.h
accelerate / disjunctive_polynomial_acceleration.h	goto_program.h
document_properties.cpp	goto_model.h
dot.cpp	goto_model.h
dump_c_class.h	system_library_symbols.h
accelerate / enumerating_loop_acceleration.h	goto_program.h
full_slicer.cpp	adjust_float_expressions.h
full_slicer.cpp	remove_skip.h
full_slicer.h	goto_program.h
full_slicer_class.h	cfg.h
full_slicer_class.h	goto_functions.h
function.cpp	goto_model.h
function_assigns.h	goto_program.h
generate_function_bodies.cpp	goto_model.h
generate_function_bodies.cpp	remove_skip.h
goto_instrument_parse_options.cpp	class_hierarchy.h
goto_instrument_parse_options.cpp	ensure_one_backedge_per_target.h
goto_instrument_parse_options.cpp	goto_check.h
goto_instrument_parse_options.cpp	goto_inline.h
goto_instrument_parse_options.cpp	interpreter.h
goto_instrument_parse_options.cpp	label_function_pointer_call_sites.h
goto_instrument_parse_options.cpp	loop_ids.h
goto_instrument_parse_options.cpp	mm_io.h
goto_instrument_parse_options.cpp	parameter_assignments.h
goto_instrument_parse_options.cpp	read_goto_binary.h
goto_instrument_parse_options.cpp	remove_calls_no_body.h
goto_instrument_parse_options.cpp	remove_function_pointers.h
goto_instrument_parse_options.cpp	remove_returns.h
goto_instrument_parse_options.cpp	remove_skip.h
goto_instrument_parse_options.cpp	remove_unused_functions.h
goto_instrument_parse_options.cpp	remove_virtual_functions.h
goto_instrument_parse_options.cpp	restrict_function_pointers.h
goto_instrument_parse_options.cpp	rewrite_rw_ok.h
goto_instrument_parse_options.cpp	rewrite_union.h
goto_instrument_parse_options.cpp	set_properties.h
goto_instrument_parse_options.cpp	show_properties.h
goto_instrument_parse_options.cpp	show_symbol_table.h
goto_instrument_parse_options.cpp	slice_global_inits.h
goto_instrument_parse_options.cpp	string_abstraction.h
goto_instrument_parse_options.cpp	write_goto_binary.h
goto_instrument_parse_options.h	class_hierarchy.h
goto_instrument_parse_options.h	remove_calls_no_body.h
goto_instrument_parse_options.h	remove_const_function_pointers.h
goto_instrument_parse_options.h	restrict_function_pointers.h
goto_instrument_parse_options.h	show_goto_functions.h
goto_instrument_parse_options.h	show_properties.h
havoc_loops.cpp	remove_skip.h
havoc_utils.cpp	goto_program.h
horn_encoding.cpp	goto_model.h
insert_final_assert_false.cpp	goto_model.h
contracts / instrument_spec_assigns.h	goto_program.h
k_induction.cpp	remove_skip.h
loop_utils.cpp	pointer_arithmetic.h
contracts / memory_predicates.h	goto_program.h
model_argc_argv.cpp	goto_model.h
model_argc_argv.cpp	remove_skip.h
nondet_static.cpp	goto_model.h
nondet_volatile.cpp	goto_model.h
object_id.cpp	goto_instruction_code.h
accelerate / overflow_instrumenter.cpp	goto_program.h
accelerate / overflow_instrumenter.h	goto_program.h
accelerate / path.cpp	goto_program.h
accelerate / path.h	goto_program.h
accelerate / path_enumerator.h	goto_program.h
points_to.h	cfg.h
points_to.h	goto_model.h
accelerate / polynomial_accelerator.cpp	goto_program.h
accelerate / polynomial_accelerator.h	goto_program.h
race_check.cpp	remove_skip.h
reachability_slicer.cpp	cfg.h
reachability_slicer.cpp	remove_calls_no_body.h
reachability_slicer.cpp	remove_skip.h
reachability_slicer.cpp	remove_unreachable.h
reachability_slicer_class.h	goto_program.h
remove_function.cpp	goto_model.h
replace_calls.cpp	goto_model.h
replace_calls.cpp	remove_returns.h
rw_set.h	goto_model.h
accelerate / sat_path_enumerator.cpp	goto_program.h
accelerate / sat_path_enumerator.cpp	remove_skip.h
accelerate / sat_path_enumerator.h	goto_program.h
accelerate / scratch_program.cpp	remove_skip.h
accelerate / scratch_program.h	goto_functions.h
accelerate / scratch_program.h	goto_program.h
show_locations.cpp	goto_model.h
skip_loops.cpp	goto_model.h
splice_call.cpp	goto_functions.h
stack_depth.cpp	goto_model.h
thread_instrumentation.cpp	goto_model.h
accelerate / trace_automaton.h	goto_program.h
undefined_functions.cpp	goto_model.h
unwind.cpp	goto_functions.h
unwind.h	goto_model.h
unwindset.cpp	abstract_goto_model.h
contracts / utils.cpp	cfg.h
contracts / utils.h	goto_model.h
contracts / utils.h	loop_ids.h
value_set_fi_fp_removal.cpp	goto_model.h
value_set_fi_fp_removal.cpp	remove_function_pointers.h
wmm / fence.h	goto_program.h
wmm / goto2graph.h	goto_model.h
wmm / shared_buffers.h	goto_program.h
wmm / weak_memory.cpp	remove_skip.h