engine → pointer-analysis Relation

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