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