goto-programs → pointer-analysis Relation

File in src/goto-programs	Includes file in src/pointer-analysis
add_race_assertions.cpp	value_sets.h
add_race_assertions.h	value_sets.h
abstract-interpretation / gcse.cpp	value_sets.h
abstract-interpretation / gcse.h	value_sets.h
goto_k_induction.cpp	andersen.h
rw_set.cpp	goto_program_dereference.h
rw_set.h	value_sets.h