goto-symex Directory Reference

Directory dependency graph for goto-symex:

Files
file	auto_objects.cpp [code]
	Symbolic Execution of ANSI-C.
file	build_goto_trace.cpp [code]
	Traces of GOTO Programs.
file	build_goto_trace.h [code]
	Traces of GOTO Programs.
file	call_stack.h [code]
file	complexity_limiter.cpp [code]
file	complexity_limiter.h [code]
	Symbolic Execution.
file	complexity_violation.h [code]
file	expr_skeleton.cpp [code]
	Expression skeleton.
file	expr_skeleton.h [code]
	Expression skeleton.
file	field_sensitivity.cpp [code]
file	field_sensitivity.h [code]
file	frame.h [code]
	Class for stack frames.
file	goto_state.cpp [code]
file	goto_state.h [code]
	goto_statet class definition
file	goto_symex.cpp [code]
	Symbolic Execution.
file	goto_symex.h [code]
	Symbolic Execution.
file	goto_symex_can_forward_propagate.h [code]
	GOTO Symex constant propagation.
file	goto_symex_state.cpp [code]
	Symbolic Execution.
file	goto_symex_state.h [code]
	Symbolic Execution.
file	memory_model.cpp [code]
	Memory model for partial order concurrency.
file	memory_model.h [code]
	Memory models for partial order concurrency.
file	memory_model_pso.cpp [code]
	Memory model for partial order concurrency.
file	memory_model_pso.h [code]
	Memory models for partial order concurrency.
file	memory_model_sc.cpp [code]
	Memory model for partial order concurrency.
file	memory_model_sc.h [code]
	Memory models for partial order concurrency.
file	memory_model_tso.cpp [code]
	Memory model for partial order concurrency.
file	memory_model_tso.h [code]
	Memory models for partial order concurrency.
file	partial_order_concurrency.cpp [code]
	Add constraints to equation encoding partial orders on events.
file	partial_order_concurrency.h [code]
	Add constraints to equation encoding partial orders on events.
file	path_storage.cpp [code]
file	path_storage.h [code]
	Storage of symbolic execution paths to resume.
file	postcondition.cpp [code]
	Symbolic Execution.
file	postcondition.h [code]
	Generate Equation using Symbolic Execution.
file	precondition.cpp [code]
	Symbolic Execution.
file	precondition.h [code]
	Generate Equation using Symbolic Execution.
file	renamed.h [code]
	Class for expressions or types renamed up to a given level.
file	renaming_level.cpp [code]
	Renaming levels.
file	renaming_level.h [code]
	Renaming levels.
file	shadow_memory.cpp [code]
	Symex Shadow Memory Instrumentation.
file	shadow_memory.h [code]
	Symex Shadow Memory Instrumentation.
file	shadow_memory_field_definitions.h [code]
	Symex Shadow Memory Field Definitions.
file	shadow_memory_state.h [code]
	Symex Shadow Memory Instrumentation State.
file	shadow_memory_util.cpp [code]
	Symex Shadow Memory Instrumentation Utilities.
file	shadow_memory_util.h [code]
	Symex Shadow Memory Instrumentation Utilities.
file	show_program.cpp [code]
	Output of the program (SSA) constraints.
file	show_program.h [code]
	Output of the program (SSA) constraints.
file	show_vcc.cpp [code]
	Output of the verification conditions (VCCs)
file	show_vcc.h [code]
	Output of the verification conditions (VCCs)
file	slice.cpp [code]
	Slicer for symex traces.
file	slice.h [code]
	Slicer for symex traces.
file	solver_hardness.cpp [code]
file	solver_hardness.h [code]
file	ssa_step.cpp [code]
file	ssa_step.h [code]
file	symex_assign.cpp [code]
	Symbolic Execution.
file	symex_assign.h [code]
	Symbolic Execution of assignments.
file	symex_atomic_section.cpp [code]
	Symbolic Execution.
file	symex_builtin_functions.cpp [code]
	Symbolic Execution of ANSI-C.
file	symex_catch.cpp [code]
	Symbolic Execution.
file	symex_clean_expr.cpp [code]
	Symbolic Execution of ANSI-C.
file	symex_complexity_limit_exceeded_action.h [code]
file	symex_config.h [code]
	Symbolic Execution.
file	symex_dead.cpp [code]
	Symbolic Execution.
file	symex_decl.cpp [code]
	Symbolic Execution.
file	symex_dereference.cpp [code]
	Symbolic Execution of ANSI-C.
file	symex_dereference_state.cpp [code]
	Symbolic Execution of ANSI-C.
file	symex_dereference_state.h [code]
	Symbolic Execution of ANSI-C.
file	symex_function_call.cpp [code]
	Symbolic Execution of ANSI-C.
file	symex_goto.cpp [code]
	Symbolic Execution.
file	symex_main.cpp [code]
	Symbolic Execution.
file	symex_other.cpp [code]
	Symbolic Execution.
file	symex_set_return_value.cpp [code]
	Symbolic Execution of ANSI-C.
file	symex_slice_class.h [code]
	Slicer for symex traces.
file	symex_start_thread.cpp [code]
	Symbolic Execution.
file	symex_target.cpp [code]
	Symbolic Execution.
file	symex_target.h [code]
	Generate Equation using Symbolic Execution.
file	symex_target_equation.cpp [code]
	Symbolic Execution Implementation of functions to build SSA equation.
file	symex_target_equation.h [code]
	Generate Equation using Symbolic Execution.
file	symex_throw.cpp [code]
	Symbolic Execution.