memory-analyzer → goto-programs Relation

File in memory-analyzer	Includes file in goto-programs
analyze_symbol.h	allocate_objects.h
memory_analyzer_parse_options.cpp	goto_model.h
memory_analyzer_parse_options.cpp	read_goto_binary.h
memory_analyzer_parse_options.cpp	show_symbol_table.h