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, this is not possible

  • Ideal call graphs, for example, are uncomputable

• For some source models, achieving the ideal may be difficult in practice

Previous slide

Next slide

Back to first slide

View graphic version