Query module Efficiency

Compute the efficiency of the points-to relation. That is the ratio of “interesting” facts to total facts.

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