Query module CallGraphMarginalEfficiency

Compute the marginal increase call-graph facts, the total size of the call-graph relation and the ratio of the two in relation to the depth of context.



Part of the combined points-to, call-graph and type-inference library. The main relation points_to(node, context, object, cls, origin) relates a control flow node to the possible objects it points-to the inferred types of those objects and the ‘origin’ of those objects. The ‘origin’ is the point in source code that the object can be traced back to.