Package pascal.taie.analysis.pta.core.cs.selector

Class ContextSelectorFactory

java.lang.Object
pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
public class ContextSelectorFactory extends Object
Provides static factory methods for various context selectors.

  • Constructor Details

    • ContextSelectorFactory

      public ContextSelectorFactory()

  • Method Details

    • makeCISelector

      public static ContextSelector makeCISelector()
      Returns:
      selector for context insensitivity.

    • makePlainSelector

      public static ContextSelector makePlainSelector(String cs)
      Returns:
      a context selector for given context sensitivity variant. The returned selector applies the same variant for all methods.

    • makeSelectiveSelector

      public static ContextSelector makeSelectiveSelector(String cs, Set<JMethod> csMethods)
      Returns:
      a selective context selector which applies given context sensitivity variant (specified by cs) to set of methods (specified by csMethods), and cs to all objects.

    • makeSelectiveSelector

      public static ContextSelector makeSelectiveSelector(String cs, Predicate<JMethod> isCSMethod, Predicate<Obj> isCSObj)
      Returns:
      a selective context selector which applies given context sensitivity variant (specified by cs) to part of methods (specified by isCSMethod) and part of objects (specified by isCSObj).

    • makeGuidedSelector

      public static ContextSelector makeGuidedSelector(Map<JMethod,String> csMap)
      Returns:
      a guided context selector which applies the context sensitivity variants to the methods according to given map.