Package com.ibm.wala.ipa.callgraph.propagation

Interface IPointerOperator

All Known Implementing Classes:
PropagationCallGraphBuilder.ArrayLoadOperator, PropagationCallGraphBuilder.ArrayStoreOperator, PropagationCallGraphBuilder.FilterOperator, PropagationCallGraphBuilder.GetFieldOperator, PropagationCallGraphBuilder.InstanceArrayStoreOperator, PropagationCallGraphBuilder.InstancePutFieldOperator, PropagationCallGraphBuilder.InverseFilterOperator, PropagationCallGraphBuilder.PutFieldOperator
public interface IPointerOperator
An operator in pointer analysis constraints.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isComplex()
    Is the operator complex; i.e., might it give rise to new constraints?

  • Method Details

    • isComplex

      boolean isComplex()
      Is the operator complex; i.e., might it give rise to new constraints?