pointer-analysis → goto-programs Relation

File in src/pointer-analysis	Includes file in src/goto-programs
goto_program_dereference.cpp	goto_model.h
value_set_fi.cpp	goto_instruction_code.h
value_sets.h	goto_program.h