Class ZeroXContainerCFABuilder

All Implemented Interfaces:
CallGraphBuilder<InstanceKey>, HeapModel, InstanceKeyFactory, PointerKeyFactory

public class ZeroXContainerCFABuilder extends ZeroXCFABuilder
0-X-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.
  • Constructor Details

  • Method Details

    • makeContainerContextSelector

      protected ContextSelector makeContainerContextSelector(IClassHierarchy cha, ZeroXInstanceKeys keys)
      Returns:
      an object which creates contexts for call graph nodes based on the container disambiguation policy