Ideal source models
	• It would be best if every source model extracted was perfect – All entries are true and no true entries are omitted • For some source models, this is possible – Inheritance, defined functions, #include structure, etc. • For some source models, achieving the ideal may be difficult in practice – Ex: computational time is prohibitive in practice • For many other interesting source models, this is not possible – Ideal call graphs, for example, are uncomputable