Package jadx.core.dex.visitors.typeinference

Class TypeUpdate

java.lang.Object

jadx.core.dex.visitors.typeinference.TypeUpdate

public final class TypeUpdate
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final JadxArgs	args
private final TypeCompare	comparator
private final Map<InsnType,ITypeListener>	listenerRegistry
private static final org.slf4j.Logger	LOG
private final RootNode	root

Constructor Summary

Constructors

Constructor	Description
TypeUpdate(RootNode root)

Method Summary

Modifier and Type	Method	Description
private TypeUpdateResult	allSameListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)	All args must have same types
TypeUpdateResult	apply(MethodNode mth, SSAVar ssaVar, ArgType candidateType)	Perform type checking and type propagation for all related variables
private TypeUpdateResult	apply(MethodNode mth, SSAVar ssaVar, ArgType candidateType, TypeUpdateFlags flags)
TypeUpdateResult	applyDebugInfo(MethodNode mth, SSAVar ssaVar, ArgType candidateType)
TypeUpdateResult	applyWithWiderAllow(MethodNode mth, SSAVar ssaVar, ArgType candidateType)	Allow wider types for apply from debug info and some special cases
TypeUpdateResult	applyWithWiderIgnSame(MethodNode mth, SSAVar ssaVar, ArgType candidateType)	Force type setting
private TypeUpdateResult	arithListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
private TypeUpdateResult	arrayGetListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
private TypeUpdateResult	arrayPutListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
private boolean	checkAssignForUnknown(ArgType boundType, ArgType candidateType)
private boolean	checkBound(ArgType candidateType, ITypeBound bound, ArgType boundType)
private TypeUpdateResult	checkCastListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
TypeCompare	getTypeCompare()
private TypeUpdateResult	ifListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
private boolean	inBounds(TypeUpdateInfo updateInfo, SSAVar ssaVar, Set<ITypeBound> bounds, ArgType candidateType)
(package private) boolean	inBounds(Set<ITypeBound> bounds, ArgType candidateType)
private Map<InsnType,ITypeListener>	initListenerRegistry()
private TypeUpdateResult	invokeListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
private static boolean	isAssign(InsnNode insn, InsnArg arg)
private boolean	isInterfaces(ArgType firstType, ArgType secondType)
private TypeUpdateResult	moveListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
private static TypeUpdateResult	processCallbacks(TypeUpdateInfo updateInfo, TypeUpdateResult result)
@Nullable TypeUpdateResult	queueDirectTypeUpdate(TypeUpdateInfo updateInfo, InsnArg arg, ArgType candidateType, @Nullable ITypeUpdateCallback callback)
@Nullable TypeUpdateResult	queueTypeUpdate(TypeUpdateInfo updateInfo, InsnArg arg, ArgType candidateType, @Nullable ITypeUpdateCallback callback)	Queue type update for InsnArg.
private TypeUpdateResult	requestUpdate(TypeUpdateInfo updateInfo, InsnArg arg, ArgType candidateType)
private TypeUpdateResult	runUpdate(TypeUpdateInfo updateInfo)
private TypeUpdateResult	sameFirstArgListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)
private TypeUpdateResult	suggestAllSameListener(TypeUpdateInfo updateInfo, InsnNode insn, InsnArg arg, ArgType candidateType)	Try to set candidate type to all args, don't fail on reject
private TypeUpdateResult	updateTypeForArg(TypeUpdateInfo updateInfo, InsnArg arg, ArgType candidateType)
private TypeUpdateResult	updateTypeForSsaVar(TypeUpdateInfo updateInfo, SSAVar ssaVar, ArgType candidateType)
private @Nullable TypeUpdateResult	verifyType(TypeUpdateInfo updateInfo, InsnArg arg, ArgType candidateType)

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

root

private final RootNode root

listenerRegistry

private final Map<InsnType,ITypeListener> listenerRegistry

comparator

private final TypeCompare comparator

args

private final JadxArgs args

Constructor Details

TypeUpdate

public TypeUpdate(RootNode root)

Method Details

apply

public TypeUpdateResult apply(MethodNode mth,
 SSAVar ssaVar,
 ArgType candidateType)

Perform type checking and type propagation for all related variables

applyWithWiderAllow

public TypeUpdateResult applyWithWiderAllow(MethodNode mth,
 SSAVar ssaVar,
 ArgType candidateType)

Allow wider types for apply from debug info and some special cases

applyWithWiderIgnSame

public TypeUpdateResult applyWithWiderIgnSame(MethodNode mth,
 SSAVar ssaVar,
 ArgType candidateType)

Force type setting

applyDebugInfo

public TypeUpdateResult applyDebugInfo(MethodNode mth,
 SSAVar ssaVar,
 ArgType candidateType)

apply

private TypeUpdateResult apply(MethodNode mth,
 SSAVar ssaVar,
 ArgType candidateType,
 TypeUpdateFlags flags)

runUpdate

private TypeUpdateResult runUpdate(TypeUpdateInfo updateInfo)

processCallbacks

private static TypeUpdateResult processCallbacks(TypeUpdateInfo updateInfo,
 TypeUpdateResult result)

queueTypeUpdate

@Nullable
public @Nullable TypeUpdateResult queueTypeUpdate(TypeUpdateInfo updateInfo,
 InsnArg arg,
 ArgType candidateType,
 @Nullable
 @Nullable ITypeUpdateCallback callback)

Queue type update for InsnArg.

Parameters:

callback - - will be executed when result for this update is calculated, can be null - callback will pass result without change

Returns:

null if update added into queue, non-null result if not queued (verify failed)

queueDirectTypeUpdate

@Nullable
public @Nullable TypeUpdateResult queueDirectTypeUpdate(TypeUpdateInfo updateInfo,
 InsnArg arg,
 ArgType candidateType,
 @Nullable
 @Nullable ITypeUpdateCallback callback)

updateTypeForArg

private TypeUpdateResult updateTypeForArg(TypeUpdateInfo updateInfo,
 InsnArg arg,
 ArgType candidateType)

verifyType

@Nullable
private @Nullable TypeUpdateResult verifyType(TypeUpdateInfo updateInfo,
 InsnArg arg,
 ArgType candidateType)

updateTypeForSsaVar

private TypeUpdateResult updateTypeForSsaVar(TypeUpdateInfo updateInfo,
 SSAVar ssaVar,
 ArgType candidateType)

requestUpdate

private TypeUpdateResult requestUpdate(TypeUpdateInfo updateInfo,
 InsnArg arg,
 ArgType candidateType)

inBounds

boolean inBounds(Set<ITypeBound> bounds,
 ArgType candidateType)

inBounds

private boolean inBounds(TypeUpdateInfo updateInfo,
 SSAVar ssaVar,
 Set<ITypeBound> bounds,
 ArgType candidateType)

checkBound

private boolean checkBound(ArgType candidateType,
 ITypeBound bound,
 ArgType boundType)

checkAssignForUnknown

private boolean checkAssignForUnknown(ArgType boundType,
 ArgType candidateType)

initListenerRegistry

private Map<InsnType,ITypeListener> initListenerRegistry()

invokeListener

private TypeUpdateResult invokeListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

sameFirstArgListener

private TypeUpdateResult sameFirstArgListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

moveListener

private TypeUpdateResult moveListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

allSameListener

private TypeUpdateResult allSameListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

All args must have same types

arithListener

private TypeUpdateResult arithListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

suggestAllSameListener

private TypeUpdateResult suggestAllSameListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

Try to set candidate type to all args, don't fail on reject

checkCastListener

private TypeUpdateResult checkCastListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

isInterfaces

private boolean isInterfaces(ArgType firstType,
 ArgType secondType)

arrayGetListener

private TypeUpdateResult arrayGetListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

arrayPutListener

private TypeUpdateResult arrayPutListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

ifListener

private TypeUpdateResult ifListener(TypeUpdateInfo updateInfo,
 InsnNode insn,
 InsnArg arg,
 ArgType candidateType)

isAssign

private static boolean isAssign(InsnNode insn,
 InsnArg arg)

getTypeCompare

public TypeCompare getTypeCompare()