类 NoOpReduceOperator<ContentT extends AbstractState<ContentT>>

java.lang.Object
proguard.analysis.cpa.bam.NoOpReduceOperator<ContentT>
类型参数:
ContentT - The content of the jvm states. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.
所有已实现的接口:
ReduceOperator<ContentT>

public class NoOpReduceOperator<ContentT extends AbstractState<ContentT>> extends Object implements ReduceOperator<ContentT>
This ReduceOperator returns the original AbstractState without performing any reduction.
  • 构造器详细资料

    • NoOpReduceOperator

      public NoOpReduceOperator()
  • 方法详细资料

    • reduceImpl

      public JvmAbstractState<ContentT> reduceImpl(JvmAbstractState<ContentT> expandedInitialState, JvmCfaNode blockEntryNode, Call call)
      从接口复制的说明: ReduceOperator
      Creates the initial state of the called procedure discarding the useless information from the state of the caller.
      指定者:
      reduceImpl 在接口中 ReduceOperator<ContentT extends AbstractState<ContentT>>
      参数:
      expandedInitialState - the entry state of the called procedure before any reduction
      blockEntryNode - the entry node of the called procedure
      call - the information of the call to the procedure
      返回:
      The entry state of the called procedure