Query module ContextMarginalEfficiency

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

Imports

PointsTo

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.

PointsToContext
python

Predicates