Package jadx.core.dex.visitors.finaly.traverser.state

Class TraverserActivePathState

java.lang.Object

jadx.core.dex.visitors.finaly.traverser.state.TraverserActivePathState

public class TraverserActivePathState
extends Object

A state used by the traverser controller. For two given branches, the "finally" branch and the "candidate" branch whilst determining similar instructions and blocks, the active path state contains information regarding the current matched instructions and blocks, as well as the current state of both the finally and candidate path being explored.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	TraverserActivePathState.BlockCompletionMonitor	Tracks the comparison state of a given block.
private static final class	TraverserActivePathState.BlockCompletionMonitorMap

Field Summary

Fields

Modifier and Type	Field	Description
private final TraverserActivePathState.BlockCompletionMonitorMap	candidateCompletionMonitor
private final GlobalTraverserSourceState	candidateGlobalState
private final AtomicReference<TraverserState>	candidateStateRef
private final TraverserGlobalCommonState	commonGlobalState
private final TraverserActivePathState.BlockCompletionMonitorMap	finallyCompletionMonitor
private final GlobalTraverserSourceState	finallyGlobalState
private final AtomicReference<TraverserState>	finallyStateRef
private final Set<Pair<InsnNode>>	matchedInsns

Constructor Summary

Constructors

Modifier	Constructor	Description
	TraverserActivePathState(MethodNode mth, SameInstructionsStrategy sameInstructionsStrategy, BlockNode finallyBlockTerminus, BlockNode candidateBlockTerminus, List<BlockNode> finallyBlocks, List<BlockNode> candidateBlocks)	Creates a new instance of a traversal active path.
private	TraverserActivePathState(Set<Pair<InsnNode>> matchedInsns, TraverserActivePathState.BlockCompletionMonitorMap finallyCompletionMonitor, TraverserActivePathState.BlockCompletionMonitorMap candidateCompletionMonitor, TraverserGlobalCommonState commonGlobalState, GlobalTraverserSourceState finallyGlobalState, GlobalTraverserSourceState candidateGlobalState)	Creates a new instance of a traversal active path.

Method Summary

Modifier and Type	Method	Description
final TraverserActivePathState	duplicate()
private Set<BlockNode>	getAllFullyMatchedBlocks(TraverserActivePathState.BlockCompletionMonitorMap monitorMap)
final Set<BlockNode>	getAllFullyMatchedCandidateBlocks()
final Set<BlockNode>	getAllFullyMatchedFinallyBlocks()
final GlobalTraverserSourceState	getCandidateGlobalState()
final TraverserState	getCandidateState()
final AtomicReference<TraverserState>	getCandidateStateRef()
final GlobalTraverserSourceState	getFinallyGlobalState()
final TraverserState	getFinallyState()
final AtomicReference<TraverserState>	getFinallyStateRef()
final TraverserGlobalCommonState	getGlobalCommonState()
final GlobalTraverserSourceState	getGlobalStateFor(TraverserState state)
final Set<Pair<InsnNode>>	getMatchedInsns()
final @Nullable AtomicReference<TraverserState>	getReferenceForState(TraverserState state)
final void	mergeWith(List<TraverserActivePathState> otherStates)
static TraverserActivePathState	produceFromFactories(TraverserActivePathState previousTraverserState, TraverserStateFactory<?> finallyStateProducer, TraverserStateFactory<?> candidateStateProducer)	Produces a shallow clone of the TraverserActivePathState.
final void	registerWithBlockInfo(TraverserBlockInfo info, int numberMatched)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

finallyStateRef

private final AtomicReference<TraverserState> finallyStateRef

candidateStateRef

private final AtomicReference<TraverserState> candidateStateRef

finallyGlobalState

private final GlobalTraverserSourceState finallyGlobalState

candidateGlobalState

private final GlobalTraverserSourceState candidateGlobalState

commonGlobalState

private final TraverserGlobalCommonState commonGlobalState

matchedInsns

private final Set<Pair<InsnNode>> matchedInsns

finallyCompletionMonitor

private final TraverserActivePathState.BlockCompletionMonitorMap finallyCompletionMonitor

candidateCompletionMonitor

private final TraverserActivePathState.BlockCompletionMonitorMap candidateCompletionMonitor

Constructor Details

TraverserActivePathState

public TraverserActivePathState(MethodNode mth,
 SameInstructionsStrategy sameInstructionsStrategy,
 BlockNode finallyBlockTerminus,
 BlockNode candidateBlockTerminus,
 List<BlockNode> finallyBlocks,
 List<BlockNode> candidateBlocks)

Creates a new instance of a traversal active path. This constructor is used to create a new path to be used by the traverser controller to begin a new traversal.

TraverserActivePathState

private TraverserActivePathState(Set<Pair<InsnNode>> matchedInsns,
 TraverserActivePathState.BlockCompletionMonitorMap finallyCompletionMonitor,
 TraverserActivePathState.BlockCompletionMonitorMap candidateCompletionMonitor,
 TraverserGlobalCommonState commonGlobalState,
 GlobalTraverserSourceState finallyGlobalState,
 GlobalTraverserSourceState candidateGlobalState)

Creates a new instance of a traversal active path. This constructor is used to duplicate a state between a previous traverser controller and is a liaison for initialising non-null final fields for the produceFromFactories(jadx.core.dex.visitors.finaly.traverser.state.TraverserActivePathState, jadx.core.dex.visitors.finaly.traverser.factory.TraverserStateFactory<?>, jadx.core.dex.visitors.finaly.traverser.factory.TraverserStateFactory<?>) function.

Method Details

produceFromFactories

public static TraverserActivePathState produceFromFactories(TraverserActivePathState previousTraverserState,
 TraverserStateFactory<?> finallyStateProducer,
 TraverserStateFactory<?> candidateStateProducer)

Produces a shallow clone of the TraverserActivePathState. Since this is a shallow clone, it should only be used for a singular branch. If a branch is used and this needs to be duplicated, be sure to use the deep clone duplication on the previous TraverserActivePathState before invoking this method on it.

Parameters:

previousTraverserState - The previous active path state to create a shallow clone of.

finallyStateProducer - The factory responsible for producing the new finally state to be held by the resulting active path state.

candidateStateProducer - The factory responsible for producing the new candidate state to be held by the resulting active path state.

Returns:

The cloned active path state.

duplicate

public final TraverserActivePathState duplicate()

getFinallyState

public final TraverserState getFinallyState()

getCandidateState

public final TraverserState getCandidateState()

getFinallyStateRef

public final AtomicReference<TraverserState> getFinallyStateRef()

getCandidateStateRef

public final AtomicReference<TraverserState> getCandidateStateRef()

getMatchedInsns

public final Set<Pair<InsnNode>> getMatchedInsns()

getReferenceForState

@Nullable
public final @Nullable AtomicReference<TraverserState> getReferenceForState(TraverserState state)

getGlobalStateFor

public final GlobalTraverserSourceState getGlobalStateFor(TraverserState state)

getFinallyGlobalState

public final GlobalTraverserSourceState getFinallyGlobalState()

getCandidateGlobalState

public final GlobalTraverserSourceState getCandidateGlobalState()

getGlobalCommonState

public final TraverserGlobalCommonState getGlobalCommonState()

mergeWith

public final void mergeWith(List<TraverserActivePathState> otherStates)

registerWithBlockInfo

public final void registerWithBlockInfo(TraverserBlockInfo info,
 int numberMatched)

getAllFullyMatchedFinallyBlocks

public final Set<BlockNode> getAllFullyMatchedFinallyBlocks()

getAllFullyMatchedCandidateBlocks

public final Set<BlockNode> getAllFullyMatchedCandidateBlocks()

getAllFullyMatchedBlocks

private Set<BlockNode> getAllFullyMatchedBlocks(TraverserActivePathState.BlockCompletionMonitorMap monitorMap)