goto-programs Directory Reference

Directory dependency graph for goto-programs:

Files
file	abstract_goto_model.h [code]
file	adjust_float_expressions.cpp [code]
file	adjust_float_expressions.h [code]
file	allocate_objects.cpp [code]
file	allocate_objects.h [code]
file	builtin_functions.cpp [code]
file	cfg.h [code]
file	class_hierarchy.cpp [code]
file	class_hierarchy.h [code]
file	class_identifier.cpp [code]
file	class_identifier.h [code]
file	compute_called_functions.cpp [code]
file	compute_called_functions.h [code]
file	destructor.cpp [code]
file	destructor.h [code]
file	destructor_tree.cpp [code]
file	destructor_tree.h [code]
file	elf_reader.cpp [code]
file	elf_reader.h [code]
file	ensure_one_backedge_per_target.cpp [code]
file	ensure_one_backedge_per_target.h [code]
file	format_strings.cpp [code]
file	format_strings.h [code]
file	goto_asm.cpp [code]
file	goto_check.cpp [code]
file	goto_check.h [code]
file	goto_clean_expr.cpp [code]
file	goto_convert.cpp [code]
file	goto_convert.h [code]
file	goto_convert_class.h [code]
file	goto_convert_exceptions.cpp [code]
file	goto_convert_function_call.cpp [code]
file	goto_convert_functions.cpp [code]
file	goto_convert_functions.h [code]
file	goto_convert_side_effect.cpp [code]
file	goto_function.cpp [code]
file	goto_function.h [code]
file	goto_functions.cpp [code]
file	goto_functions.h [code]
file	goto_inline.cpp [code]
file	goto_inline.h [code]
file	goto_inline_class.cpp [code]
file	goto_inline_class.h [code]
file	goto_instruction_code.cpp [code]
file	goto_instruction_code.h [code]
file	goto_model.h [code]
file	goto_program.cpp [code]
file	goto_program.h [code]
file	goto_trace.cpp [code]
file	goto_trace.h [code]
file	graphml_witness.cpp [code]
file	graphml_witness.h [code]
file	initialize_goto_model.cpp [code]
file	initialize_goto_model.h [code]
file	instrument_preconditions.cpp [code]
file	instrument_preconditions.h [code]
file	interpreter.cpp [code]
file	interpreter.h [code]
file	interpreter_class.h [code]
file	interpreter_evaluate.cpp [code]
file	json_expr.cpp [code]
file	json_expr.h [code]
file	json_goto_trace.cpp [code]
file	json_goto_trace.h [code]
file	label_function_pointer_call_sites.cpp [code]
file	label_function_pointer_call_sites.h [code]
file	link_goto_model.cpp [code]
file	link_goto_model.h [code]
file	link_to_library.cpp [code]
file	link_to_library.h [code]
file	loop_ids.cpp [code]
file	loop_ids.h [code]
file	mm_io.cpp [code]
file	mm_io.h [code]
file	name_mangler.cpp [code]
file	name_mangler.h [code]
	Mangle names of file-local functions to make them unique.
file	osx_fat_reader.cpp [code]
file	osx_fat_reader.h [code]
file	parameter_assignments.cpp [code]
file	parameter_assignments.h [code]
file	pointer_arithmetic.cpp [code]
file	pointer_arithmetic.h [code]
file	printf_formatter.cpp [code]
file	printf_formatter.h [code]
file	process_goto_program.cpp [code]
file	process_goto_program.h [code]
file	read_bin_goto_object.cpp [code]
file	read_bin_goto_object.h [code]
file	read_goto_binary.cpp [code]
file	read_goto_binary.h [code]
file	rebuild_goto_start_function.cpp [code]
file	rebuild_goto_start_function.h [code]
file	remove_calls_no_body.cpp [code]
file	remove_calls_no_body.h [code]
file	remove_complex.cpp [code]
file	remove_complex.h [code]
file	remove_const_function_pointers.cpp [code]
file	remove_const_function_pointers.h [code]
file	remove_function_pointers.cpp [code]
file	remove_function_pointers.h [code]
file	remove_returns.cpp [code]
file	remove_returns.h [code]
file	remove_skip.cpp [code]
file	remove_skip.h [code]
file	remove_unreachable.cpp [code]
file	remove_unreachable.h [code]
file	remove_unused_functions.cpp [code]
file	remove_unused_functions.h [code]
file	remove_vector.cpp [code]
file	remove_vector.h [code]
file	remove_virtual_functions.cpp [code]
file	remove_virtual_functions.h [code]
file	resolve_inherited_component.cpp [code]
file	resolve_inherited_component.h [code]
file	restrict_function_pointers.cpp [code]
file	restrict_function_pointers.h [code]
file	rewrite_union.cpp [code]
file	rewrite_union.h [code]
file	safety_checker.cpp [code]
file	safety_checker.h [code]
file	set_properties.cpp [code]
file	set_properties.h [code]
file	show_goto_functions.cpp [code]
file	show_goto_functions.h [code]
file	show_goto_functions_json.cpp [code]
file	show_goto_functions_json.h [code]
file	show_goto_functions_xml.cpp [code]
file	show_goto_functions_xml.h [code]
file	show_properties.cpp [code]
file	show_properties.h [code]
file	show_symbol_table.cpp [code]
file	show_symbol_table.h [code]
file	slice_global_inits.cpp [code]
file	slice_global_inits.h [code]
file	string_abstraction.cpp [code]
file	string_abstraction.h [code]
file	string_instrumentation.cpp [code]
file	string_instrumentation.h [code]
file	structured_trace_util.cpp [code]
file	structured_trace_util.h [code]
file	system_library_symbols.cpp [code]
file	system_library_symbols.h [code]
file	validate_code.cpp [code]
file	validate_code.h [code]
file	validate_goto_model.cpp [code]
file	validate_goto_model.h [code]
file	vcd_goto_trace.cpp [code]
file	vcd_goto_trace.h [code]
file	wp.cpp [code]
file	wp.h [code]
file	write_goto_binary.cpp [code]
file	write_goto_binary.h [code]
file	xml_expr.cpp [code]
file	xml_expr.h [code]
file	xml_goto_trace.cpp [code]
file	xml_goto_trace.h [code]