Package jadx.core.utils

Class DebugChecks

java.lang.Object

jadx.core.utils.DebugChecks

public class DebugChecks
extends Object

Check invariants and information consistency for blocks, instructions, registers, SSA variables. These checks are very expensive and executed only in tests.

Field Summary

Fields

Modifier and Type	Field	Description
private static final Set<String>	IGNORE_CHECKS

Constructor Summary

Constructors

Constructor	Description
DebugChecks()

Method Summary

Modifier and Type	Method	Description
private static void	checkBlock(MethodNode mth, BlockNode block, Supplier<String> source)
private static void	checkInsn(MethodNode mth, BlockNode block, InsnNode insn)
static void	checkMethod(MethodNode mth)
private static void	checkPHI(MethodNode mth)
private static void	checkPhiArg(MethodNode mth, PhiInsn phiInsn, RegisterArg arg, Supplier<String> argName)
private static void	checkRegisterArg(MethodNode mth, RegisterArg reg)
private static void	checkSSAVars(MethodNode mth)
private static void	checkVar(MethodNode mth, InsnNode insn, RegisterArg reg)
private static boolean	hasTmpEdge(BlockNode start, BlockNode end)
static List<IDexTreeVisitor>	insertPasses(List<IDexTreeVisitor> passes)
private static boolean	insnMissing(MethodNode mth, InsnNode insn)
static void	quickCheckPhiInsn(MethodNode mth)
static void	runChecksAfterVisitor(MethodNode mth, String visitor)

Methods inherited from class java.lang.Object

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

Field Details

IGNORE_CHECKS

private static final Set<String> IGNORE_CHECKS

Constructor Details

DebugChecks

public DebugChecks()

Method Details

insertPasses

public static List<IDexTreeVisitor> insertPasses(List<IDexTreeVisitor> passes)

runChecksAfterVisitor

public static void runChecksAfterVisitor(MethodNode mth,
 String visitor)

checkMethod

public static void checkMethod(MethodNode mth)

checkInsn

private static void checkInsn(MethodNode mth,
 BlockNode block,
 InsnNode insn)

hasTmpEdge

private static boolean hasTmpEdge(BlockNode start,
 BlockNode end)

checkBlock

private static void checkBlock(MethodNode mth,
 BlockNode block,
 Supplier<String> source)

checkVar

private static void checkVar(MethodNode mth,
 InsnNode insn,
 RegisterArg reg)

checkSSAVars

private static void checkSSAVars(MethodNode mth)

insnMissing

private static boolean insnMissing(MethodNode mth,
 InsnNode insn)

checkRegisterArg

private static void checkRegisterArg(MethodNode mth,
 RegisterArg reg)

quickCheckPhiInsn

public static void quickCheckPhiInsn(MethodNode mth)

checkPhiArg

private static void checkPhiArg(MethodNode mth,
 PhiInsn phiInsn,
 RegisterArg arg,
 Supplier<String> argName)

checkPHI

private static void checkPHI(MethodNode mth)