goto-symex → pointer-analysis Relation

File in src/goto-symex	Includes file in src/pointer-analysis
engine / goto_symex.h	dereference.h
engine / symex_dereference.cpp	dereference.h
engine / symex_main.cpp	value_set_analysis.h
state / goto_symex_state.h	value_set.h