Class AstBuilder

java.lang.Object

com.strobel.decompiler.ast.AstBuilder

public final class AstBuilder
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	AstBuilder.ByteCode
private static final class	AstBuilder.FinallyInlining
private static final class	AstBuilder.HandlerInfo
private static final class	AstBuilder.StackSlot
private static final class	AstBuilder.SubroutineInfo
private static final class	AstBuilder.VariableInfo
private static final class	AstBuilder.VariableSlot

Field Summary

Fields

Modifier and Type	Field	Description
private MethodBody	_body
private ControlFlowGraph	_cfg
private DecompilerContext	_context
private List<ExceptionHandler>	_exceptionHandlers
private CoreMetadataFactory	_factory
private InstructionCollection	_instructions
private final Map<ExceptionHandler, AstBuilder.ByteCode>	_loadExceptions
private boolean	_optimize
private Map<Instruction, Instruction>	_originalInstructionMap
private final Set<Instruction>	_removed
private static final AstCode[]	CODES
private static final AstBuilder.ByteCode[]	EMPTY_DEFINITIONS
private static final AstBuilder.StackSlot[]	EMPTY_STACK
private static final Logger	LOG
private static final Predicate<Node>	NOT_A_LABEL_OR_NOP

Constructor Summary

Constructors

Constructor	Description
AstBuilder()

Method Summary

Modifier and Type	Method	Description
private void	alignFinallyBlocksWithSiblingCatchBlocks()
static List<Node>	build(MethodBody body, boolean optimize, DecompilerContext context)
private boolean	callsOtherSubroutine(AstBuilder.SubroutineInfo subroutine, List<AstBuilder.SubroutineInfo> subroutines)
private void	closeTryHandlerGaps()
private void	convertLocalVariables(AstBuilder.ByteCode[] parameterDefinitions, List<AstBuilder.ByteCode> body)
private List<Node>	convertToAst(List<AstBuilder.ByteCode> body)
private List<Node>	convertToAst(List<AstBuilder.ByteCode> body, Set<ExceptionHandler> exceptionHandlers, int startIndex, MutableInteger endIndex)
private static InstructionCollection	copyInstructions(List<Instruction> instructions)
private static Frame	createFrame(AstBuilder.StackSlot[] stack, AstBuilder.VariableSlot[] locals)
private static AstBuilder.StackSlot[]	createModifiedStack(AstBuilder.ByteCode byteCode, StackMappingVisitor stackMapper)
private static Map<Instruction, ControlFlowNode>	createNodeMap(ControlFlowGraph cfg)
private void	duplicateHandlersForInlinedSubroutine(AstBuilder.SubroutineInfo subroutine, Map<Instruction, Instruction> oldToNew)
private void	ensureDesiredProtectedRanges()
private static Set<ControlFlowNode>	findDominatedNodes(ControlFlowGraph cfg, ControlFlowNode head, boolean diveIntoHandlers, Set<ControlFlowNode> terminals)
private static List<ExceptionHandler>	findDuplicateHandlers(ExceptionHandler handler, Collection<ExceptionHandler> handlers)
private static ExceptionHandler	findFirstHandler(InstructionBlock tryBlock, Collection<ExceptionHandler> handlers)
private static ControlFlowNode	findHandlerNode(ControlFlowGraph cfg, ExceptionHandler handler)
private static List<ExceptionHandler>	findHandlers(InstructionBlock tryBlock, Collection<ExceptionHandler> handlers)
private ExceptionHandler	findInnermostExceptionHandler(int offsetInTryBlock, ExceptionHandler exclude)
private static ControlFlowNode	findInnermostExceptionHandlerNode(ControlFlowGraph cfg, int offsetInTryBlock, boolean finallyOnly)
private static ControlFlowNode	findNode(ControlFlowGraph cfg, Instruction instruction)
private List<AstBuilder.SubroutineInfo>	findSubroutines()
private JvmType	getStackType(TypeReference type)
private boolean	inlineSubroutine(AstBuilder.SubroutineInfo subroutine, Instruction reference)
private void	inlineSubroutines()
private static boolean	isGetClassInvocation(Instruction p)
private static String	key(VariableDefinition variable)
private static Map<String, VariableDefinition>	makeVariableLookup(VariableDefinitionCollection variables)
private static Instruction	mappedInstruction(Map<Instruction, Instruction> map, Instruction instruction)
private void	mergeSharedHandlers()
private TypeReference	mergeVariableType(List<AstBuilder.VariableInfo> info)
private boolean	mightBeBoolean(AstBuilder.VariableInfo info)
private static boolean	opCodesMatch(Instruction tail1, Instruction tail2, int count, Function<Instruction, Instruction> previous)
private List<AstBuilder.ByteCode>	performStackAnalysis()
private List<AstBuilder.VariableInfo>	processVariableUnoptimized(MethodDefinition method, int slot, List<AstBuilder.ByteCode> definitions, List<AstBuilder.ByteCode> references, VariableDefinition vDef)
private void	pruneExceptionHandlers()
private static List<ExceptionHandler>	remapHandlers(List<ExceptionHandler> handlers, InstructionCollection instructions)
private void	remapHandlersForInlinedSubroutine(Instruction jump, Instruction start, Instruction end)
private void	remapJumps(Map<Instruction, Instruction> remappedJumps)
private void	removeEmptyCatchBlockBodies()
private void	removeGetClassCallsForInvokeDynamic()
private void	removeSelfHandlingFinallyHandlers()
private void	removeTryIntersectionsWithPreviousCatch()
private static boolean	shouldIncludeExceptionalExit(ControlFlowGraph cfg, ControlFlowNode head, ControlFlowNode node)
private void	trimAggressiveCatchBlocks()
private void	trimAggressiveFinallyBlocks()
private void	updateExceptionVariable(CatchBlock catchBlock, ExceptionHandler handler)
private boolean	variablesMatch(VariableReference v1, VariableReference v2)

Methods inherited from class Object

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

Field Details

LOG

private static final Logger LOG

CODES

private static final AstCode[] CODES

EMPTY_STACK

private static final AstBuilder.StackSlot[] EMPTY_STACK

EMPTY_DEFINITIONS

private static final AstBuilder.ByteCode[] EMPTY_DEFINITIONS

_loadExceptions

private final Map<ExceptionHandler, AstBuilder.ByteCode> _loadExceptions

_removed

private final Set<Instruction> _removed

_originalInstructionMap

private Map<Instruction, Instruction> _originalInstructionMap

_cfg

private ControlFlowGraph _cfg

_instructions

private InstructionCollection _instructions

_exceptionHandlers

private List<ExceptionHandler> _exceptionHandlers

_body

private MethodBody _body

_optimize

private boolean _optimize

_context

private DecompilerContext _context

_factory

private CoreMetadataFactory _factory

NOT_A_LABEL_OR_NOP

private static final Predicate<Node> NOT_A_LABEL_OR_NOP

Constructor Details

AstBuilder

public AstBuilder()

Method Details

build

public static List<Node> build(MethodBody body,
 boolean optimize,
 DecompilerContext context)

isGetClassInvocation

private static boolean isGetClassInvocation(Instruction p)

removeGetClassCallsForInvokeDynamic

private void removeGetClassCallsForInvokeDynamic()

inlineSubroutines

private void inlineSubroutines()

inlineSubroutine

private boolean inlineSubroutine(AstBuilder.SubroutineInfo subroutine,
 Instruction reference)

remapHandlersForInlinedSubroutine

private void remapHandlersForInlinedSubroutine(Instruction jump,
 Instruction start,
 Instruction end)

duplicateHandlersForInlinedSubroutine

private void duplicateHandlersForInlinedSubroutine(AstBuilder.SubroutineInfo subroutine,
 Map<Instruction, Instruction> oldToNew)

remapJumps

private void remapJumps(Map<Instruction, Instruction> remappedJumps)

callsOtherSubroutine

private boolean callsOtherSubroutine(AstBuilder.SubroutineInfo subroutine,
 List<AstBuilder.SubroutineInfo> subroutines)

findSubroutines

private List<AstBuilder.SubroutineInfo> findSubroutines()

findNode

private static ControlFlowNode findNode(ControlFlowGraph cfg,
 Instruction instruction)

findDominatedNodes

private static Set<ControlFlowNode> findDominatedNodes(ControlFlowGraph cfg,
 ControlFlowNode head,
 boolean diveIntoHandlers,
 Set<ControlFlowNode> terminals)

shouldIncludeExceptionalExit

private static boolean shouldIncludeExceptionalExit(ControlFlowGraph cfg,
 ControlFlowNode head,
 ControlFlowNode node)

findInnermostExceptionHandlerNode

private static ControlFlowNode findInnermostExceptionHandlerNode(ControlFlowGraph cfg,
 int offsetInTryBlock,
 boolean finallyOnly)

opCodesMatch

private static boolean opCodesMatch(Instruction tail1,
 Instruction tail2,
 int count,
 Function<Instruction, Instruction> previous)

createNodeMap

private static Map<Instruction, ControlFlowNode> createNodeMap(ControlFlowGraph cfg)

remapHandlers

private static List<ExceptionHandler> remapHandlers(List<ExceptionHandler> handlers,
 InstructionCollection instructions)

copyInstructions

private static InstructionCollection copyInstructions(List<Instruction> instructions)

pruneExceptionHandlers

private void pruneExceptionHandlers()

removeEmptyCatchBlockBodies

private void removeEmptyCatchBlockBodies()

ensureDesiredProtectedRanges

private void ensureDesiredProtectedRanges()

alignFinallyBlocksWithSiblingCatchBlocks

private void alignFinallyBlocksWithSiblingCatchBlocks()

mergeSharedHandlers

private void mergeSharedHandlers()

trimAggressiveCatchBlocks

private void trimAggressiveCatchBlocks()

removeSelfHandlingFinallyHandlers

private void removeSelfHandlingFinallyHandlers()

trimAggressiveFinallyBlocks

private void trimAggressiveFinallyBlocks()

findHandlerNode

private static ControlFlowNode findHandlerNode(ControlFlowGraph cfg,
 ExceptionHandler handler)

findInnermostExceptionHandler

private ExceptionHandler findInnermostExceptionHandler(int offsetInTryBlock,
 ExceptionHandler exclude)

closeTryHandlerGaps

private void closeTryHandlerGaps()

removeTryIntersectionsWithPreviousCatch

private void removeTryIntersectionsWithPreviousCatch()

findFirstHandler

private static ExceptionHandler findFirstHandler(InstructionBlock tryBlock,
 Collection<ExceptionHandler> handlers)

findHandlers

private static List<ExceptionHandler> findHandlers(InstructionBlock tryBlock,
 Collection<ExceptionHandler> handlers)

findDuplicateHandlers

private static List<ExceptionHandler> findDuplicateHandlers(ExceptionHandler handler,
 Collection<ExceptionHandler> handlers)

performStackAnalysis

private List<AstBuilder.ByteCode> performStackAnalysis()

mappedInstruction

private static Instruction mappedInstruction(Map<Instruction, Instruction> map,
 Instruction instruction)

createModifiedStack

private static AstBuilder.StackSlot[] createModifiedStack(AstBuilder.ByteCode byteCode,
 StackMappingVisitor stackMapper)

convertLocalVariables

private void convertLocalVariables(AstBuilder.ByteCode[] parameterDefinitions,
 List<AstBuilder.ByteCode> body)

processVariableUnoptimized

private List<AstBuilder.VariableInfo> processVariableUnoptimized(MethodDefinition method,
 int slot,
 List<AstBuilder.ByteCode> definitions,
 List<AstBuilder.ByteCode> references,
 VariableDefinition vDef)

mightBeBoolean

private boolean mightBeBoolean(AstBuilder.VariableInfo info)

mergeVariableType

private TypeReference mergeVariableType(List<AstBuilder.VariableInfo> info)

getStackType

private JvmType getStackType(TypeReference type)

variablesMatch

private boolean variablesMatch(VariableReference v1,
 VariableReference v2)

makeVariableLookup

private static Map<String, VariableDefinition> makeVariableLookup(VariableDefinitionCollection variables)

key

private static String key(VariableDefinition variable)

convertToAst

private List<Node> convertToAst(List<AstBuilder.ByteCode> body,
 Set<ExceptionHandler> exceptionHandlers,
 int startIndex,
 MutableInteger endIndex)

updateExceptionVariable

private void updateExceptionVariable(CatchBlock catchBlock,
 ExceptionHandler handler)

convertToAst

private List<Node> convertToAst(List<AstBuilder.ByteCode> body)

createFrame

private static Frame createFrame(AstBuilder.StackSlot[] stack,
 AstBuilder.VariableSlot[] locals)