proguard.analysis.cpa.bam

Interface RebuildOperator

All Known Implementing Classes:

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.

Method Summary

Modifier and Type	Method and Description
<ContentT extends AbstractState<ContentT>> JvmAbstractState<ContentT>	rebuild(JvmAbstractState<ContentT> predecessorCallState, JvmAbstractState<ContentT> expandedOutputState) Performs the rebuilding of the return state.

Method Detail

rebuild

<ContentT extends AbstractState<ContentT>> JvmAbstractState<ContentT> rebuild(JvmAbstractState<ContentT> predecessorCallState,
                                                                              JvmAbstractState<ContentT> expandedOutputState)

Performs the rebuilding of the return state.

Type Parameters:

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.

Parameters:

predecessorCallState - the state of the caller at the moment of the procedure call

expandedOutputState - the output of ExpandOperator

Returns:

The state of the caller after the procedure call