goto-symex → pointer-analysis Relation

File in src/goto-symex	Includes file in src/pointer-analysis
goto_state.h	value_set.h
goto_symex_state.cpp	add_failed_symbols.h
postcondition.cpp	value_set.h
precondition.cpp	goto_program_dereference.h
shadow_memory_util.cpp	value_set_dereference.h
symex_clean_expr.cpp	value_set_dereference.h
symex_dereference.cpp	value_set_dereference.h
symex_dereference_state.h	dereference_callback.h
symex_goto.cpp	add_failed_symbols.h
symex_goto.cpp	value_set_dereference.h
symex_main.cpp	value_set_dereference.h