Package jadx.core.dex.visitors.typeinference

Class TypeInferenceVisitor

java.lang.Object

jadx.core.dex.visitors.AbstractVisitor

jadx.core.dex.visitors.typeinference.TypeInferenceVisitor

All Implemented Interfaces:

IDexTreeVisitor

public final class TypeInferenceVisitor
extends AbstractVisitor

Field Summary

Fields

Modifier and Type	Field	Description
private static final org.slf4j.Logger	LOG
private RootNode	root
private TypeUpdate	typeUpdate

Constructor Summary

Constructors

Constructor	Description
TypeInferenceVisitor()

Method Summary

Modifier and Type	Method	Description
private void	addAssignBound(TypeInfo typeInfo, RegisterArg assign)
private void	addBound(TypeInfo typeInfo, ITypeBound bound)
private void	assignImmutableTypes(MethodNode mth)
private void	attachBounds(SSAVar var)
private void	calculateFromBounds(MethodNode mth, SSAVar ssaVar)
String	getName()	Visitor short id
private static @Nullable ArgType	getSsaImmutableType(SSAVar ssaVar)
void	init(RootNode root)	Called after loading dex tree, but before visitor traversal.
(package private) void	initTypeBounds(MethodNode mth)	Collect initial type bounds from assign and usages
private ITypeBound	makeAssignFieldGetBound(IndexInsnNode insn)
private ITypeBound	makeAssignInvokeBound(InvokeNode invokeNode)
private ITypeBound	makeInvokeUseBound(RegisterArg regArg, BaseInvokeNode invoke)
private @Nullable ITypeBound	makeUseBound(RegisterArg regArg)
private void	mergePhiBounds(SSAVar ssaVar)
private ArgType	replaceAnonymousType(ConstructorInsn ctr)
(package private) boolean	runTypePropagation(MethodNode mth)	Guess type from usage and try to set it to current variable and all connected instructions with TypeUpdate.apply(MethodNode, SSAVar, ArgType)
private Optional<ArgType>	selectBestTypeFromBounds(Set<ITypeBound> bounds)
private void	setBestType(MethodNode mth, SSAVar ssaVar)
private void	setImmutableType(MethodNode mth, SSAVar ssaVar)
void	visit(MethodNode mth)	Visit method

Methods inherited from class jadx.core.dex.visitors.AbstractVisitor

toString, visit

Methods inherited from class java.lang.Object

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

Field Details

LOG

private static final org.slf4j.Logger LOG

root

private RootNode root

typeUpdate

private TypeUpdate typeUpdate

Constructor Details

TypeInferenceVisitor

public TypeInferenceVisitor()

Method Details

init

public void init(RootNode root)

Description copied from interface: IDexTreeVisitor

Called after loading dex tree, but before visitor traversal.

Specified by:

init in interface IDexTreeVisitor

Overrides:

init in class AbstractVisitor

visit

public void visit(MethodNode mth)

Description copied from interface: IDexTreeVisitor

Visit method

Specified by:

visit in interface IDexTreeVisitor

Overrides:

visit in class AbstractVisitor

initTypeBounds

void initTypeBounds(MethodNode mth)

Collect initial type bounds from assign and usages

runTypePropagation

boolean runTypePropagation(MethodNode mth)

Guess type from usage and try to set it to current variable and all connected instructions with TypeUpdate.apply(MethodNode, SSAVar, ArgType)

setImmutableType

private void setImmutableType(MethodNode mth,
 SSAVar ssaVar)

setBestType

private void setBestType(MethodNode mth,
 SSAVar ssaVar)

calculateFromBounds

private void calculateFromBounds(MethodNode mth,
 SSAVar ssaVar)

selectBestTypeFromBounds

private Optional<ArgType> selectBestTypeFromBounds(Set<ITypeBound> bounds)

attachBounds

private void attachBounds(SSAVar var)

mergePhiBounds

private void mergePhiBounds(SSAVar ssaVar)

addBound

private void addBound(TypeInfo typeInfo,
 ITypeBound bound)

addAssignBound

private void addAssignBound(TypeInfo typeInfo,
 RegisterArg assign)

replaceAnonymousType

private ArgType replaceAnonymousType(ConstructorInsn ctr)

makeAssignFieldGetBound

private ITypeBound makeAssignFieldGetBound(IndexInsnNode insn)

makeAssignInvokeBound

private ITypeBound makeAssignInvokeBound(InvokeNode invokeNode)

makeUseBound

@Nullable
private @Nullable ITypeBound makeUseBound(RegisterArg regArg)

makeInvokeUseBound

private ITypeBound makeInvokeUseBound(RegisterArg regArg,
 BaseInvokeNode invoke)

assignImmutableTypes

private void assignImmutableTypes(MethodNode mth)

getSsaImmutableType

@Nullable
private static @Nullable ArgType getSsaImmutableType(SSAVar ssaVar)

getName

public String getName()

Description copied from interface: IDexTreeVisitor

Visitor short id

Specified by:

getName in interface IDexTreeVisitor

Overrides:

getName in class AbstractVisitor