程序包 proguard.analysis.cpa.bam

接口 RebuildOperator

所有已知实现类:
NoOpRebuildOperator
public interface RebuildOperator
This operator is used to avoid collision of program identifiers when returning from a procedure call. This operator does not compute any abstraction, but just performs simple operations as renaming variables, depending on the domain.

  • 方法详细资料

    • rebuild

      <ContentT extends AbstractState<ContentT>> JvmAbstractState<ContentT> rebuild(JvmAbstractState<ContentT> predecessorCallState, JvmAbstractState<ContentT> expandedOutputState)
      Performs the rebuilding of the return state.
      类型参数:
      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.
      参数:
      predecessorCallState - the state of the caller at the moment of the procedure call
      expandedOutputState - the output of ExpandOperator
      返回:
      The state of the caller after the procedure call