Package jadx.core.dex.visitors.typeinference

Class TypeSearch

java.lang.Object

jadx.core.dex.visitors.typeinference.TypeSearch

public class TypeSearch
extends Object

Slow and memory consuming multi-variable type search algorithm. Used only if fast type propagation is failed for some variables.

Stages description: - find all possible candidate types within bounds - build dynamic constraint list for every variable - run search by checking all candidates

Field Summary

Fields

Modifier and Type	Field	Description
private static final int	CANDIDATES_COUNT_LIMIT
private static final org.slf4j.Logger	LOG
private final MethodNode	mth
private static final int	SEARCH_ITERATION_LIMIT
private final TypeSearchState	state
private final TypeCompare	typeCompare
private final TypeUpdate	typeUpdate
private static final int	VARS_PROCESS_LIMIT

Constructor Summary

Constructors

Constructor	Description
TypeSearch(MethodNode mth)

Method Summary

Modifier and Type	Method	Description
private boolean	addCandidateType(Set<ITypeBound> bounds, Set<ArgType> collectedTypes, ArgType candidateType)
private void	addCandidateTypes(Set<ITypeBound> bounds, Set<ArgType> collectedTypes, Collection<ArgType> candidateTypes)
private void	addConstraint(TypeSearchVarInfo varInfo, ITypeConstraint constraint)
private void	addUsageTypeCandidates(SSAVar ssaVar, Set<ITypeBound> bounds, Set<ArgType> candidateTypes)
private boolean	applyResolvedVars()
private void	collectConstraints(SSAVar var)
private List<ArgType>	expandUnknownType(ArgType type)
private void	fillTypeCandidates(SSAVar ssaVar)
private boolean	fullCheck(List<TypeSearchVarInfo> vars)
private List<ArgType>	getNarrowTypes(ArgType type)
private List<ArgType>	getWiderTypes(ArgType type)
private @Nullable ITypeConstraint	makeConstraint(RegisterArg arg)
private @Nullable ITypeConstraint	makeMoveConstraint(InsnNode insn, RegisterArg arg)
private ITypeConstraint	makePhiConstraint(InsnNode insn, RegisterArg arg)
private boolean	resolveIndependentVariables(TypeSearchVarInfo varInfo)
boolean	run()
private boolean	search(List<TypeSearchVarInfo> vars)
private boolean	singleCheck(TypeSearchVarInfo var)

Methods inherited from class java.lang.Object

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

Field Details

LOG

private static final org.slf4j.Logger LOG

VARS_PROCESS_LIMIT

private static final int VARS_PROCESS_LIMIT

See Also:

• Constant Field Values

CANDIDATES_COUNT_LIMIT

private static final int CANDIDATES_COUNT_LIMIT

See Also:

• Constant Field Values

SEARCH_ITERATION_LIMIT

private static final int SEARCH_ITERATION_LIMIT

See Also:

• Constant Field Values

mth

private final MethodNode mth

state

private final TypeSearchState state

typeCompare

private final TypeCompare typeCompare

typeUpdate

private final TypeUpdate typeUpdate

Constructor Details

TypeSearch

public TypeSearch(MethodNode mth)

Method Details

run

public boolean run()

applyResolvedVars

private boolean applyResolvedVars()

search

private boolean search(List<TypeSearchVarInfo> vars)

resolveIndependentVariables

private boolean resolveIndependentVariables(TypeSearchVarInfo varInfo)

fullCheck

private boolean fullCheck(List<TypeSearchVarInfo> vars)

singleCheck

private boolean singleCheck(TypeSearchVarInfo var)

fillTypeCandidates

private void fillTypeCandidates(SSAVar ssaVar)

addUsageTypeCandidates

private void addUsageTypeCandidates(SSAVar ssaVar,
 Set<ITypeBound> bounds,
 Set<ArgType> candidateTypes)

addCandidateTypes

private void addCandidateTypes(Set<ITypeBound> bounds,
 Set<ArgType> collectedTypes,
 Collection<ArgType> candidateTypes)

addCandidateType

private boolean addCandidateType(Set<ITypeBound> bounds,
 Set<ArgType> collectedTypes,
 ArgType candidateType)

getWiderTypes

private List<ArgType> getWiderTypes(ArgType type)

getNarrowTypes

private List<ArgType> getNarrowTypes(ArgType type)

expandUnknownType

private List<ArgType> expandUnknownType(ArgType type)

collectConstraints

private void collectConstraints(SSAVar var)

addConstraint

private void addConstraint(TypeSearchVarInfo varInfo,
 ITypeConstraint constraint)

makeConstraint

@Nullable
private @Nullable ITypeConstraint makeConstraint(RegisterArg arg)

makeMoveConstraint

@Nullable
private @Nullable ITypeConstraint makeMoveConstraint(InsnNode insn,
 RegisterArg arg)

makePhiConstraint

private ITypeConstraint makePhiConstraint(InsnNode insn,
 RegisterArg arg)