接口 RebuildOperator
-
- 所有已知实现类:
NoOpRebuildOperator
public interface RebuildOperatorThis 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.
-
-
方法概要
所有方法 实例方法 抽象方法 修饰符和类型 方法 说明 <ContentT extends AbstractState<ContentT>>
JvmAbstractState<ContentT>rebuild(JvmAbstractState<ContentT> predecessorCallState, JvmAbstractState<ContentT> expandedOutputState)Performs the rebuilding of the return state.
-
-
-
方法详细资料
-
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 aSetAbstractStateof taints for taint analysis or aValueAbstractStatefor value analysis.- 参数:
predecessorCallState- the state of the caller at the moment of the procedure callexpandedOutputState- the output ofExpandOperator- 返回:
- The state of the caller after the procedure call
-
-