接口 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