Package com.strobel.decompiler.ast

Class AstBuilder

java.lang.Object

com.strobel.decompiler.ast.AstBuilder

public final class AstBuilder
extends java.lang.Object

Nested Class Summary

Nested Classes

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

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
AstBuilder()

Method Summary

Modifier and Type	Method	Description
private void	alignFinallyBlocksWithSiblingCatchBlocks()
static java.util.List<Node>	build(MethodBody body, boolean optimize, DecompilerContext context)
private boolean	callsOtherSubroutine(AstBuilder.SubroutineInfo subroutine, java.util.List<AstBuilder.SubroutineInfo> subroutines)
private void	closeTryHandlerGaps()
private void	convertLocalVariables(AstBuilder.ByteCode[] parameterDefinitions, java.util.List<AstBuilder.ByteCode> body)
private java.util.List<Node>	convertToAst(java.util.List<AstBuilder.ByteCode> body)
private java.util.List<Node>	convertToAst(java.util.List<AstBuilder.ByteCode> body, java.util.Set<ExceptionHandler> exceptionHandlers, int startIndex, MutableInteger endIndex)
private static InstructionCollection	copyInstructions(java.util.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 java.util.Map<Instruction,ControlFlowNode>	createNodeMap(ControlFlowGraph cfg)
private void	duplicateHandlersForInlinedSubroutine(AstBuilder.SubroutineInfo subroutine, java.util.Map<Instruction,Instruction> oldToNew)
private void	ensureDesiredProtectedRanges()
private static java.util.Set<ControlFlowNode>	findDominatedNodes(ControlFlowGraph cfg, ControlFlowNode head, boolean diveIntoHandlers, java.util.Set<ControlFlowNode> terminals)
private static java.util.List<ExceptionHandler>	findDuplicateHandlers(ExceptionHandler handler, java.util.Collection<ExceptionHandler> handlers)
private static ExceptionHandler	findFirstHandler(InstructionBlock tryBlock, java.util.Collection<ExceptionHandler> handlers)
private static ControlFlowNode	findHandlerNode(ControlFlowGraph cfg, ExceptionHandler handler)
private static java.util.List<ExceptionHandler>	findHandlers(InstructionBlock tryBlock, java.util.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 java.util.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 java.lang.String	key(VariableDefinition variable)
private static java.util.Map<java.lang.String,VariableDefinition>	makeVariableLookup(VariableDefinitionCollection variables)
private static Instruction	mappedInstruction(java.util.Map<Instruction,Instruction> map, Instruction instruction)
private void	mergeSharedHandlers()
private TypeReference	mergeVariableType(java.util.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 java.util.List<AstBuilder.ByteCode>	performStackAnalysis()
private java.util.List<AstBuilder.VariableInfo>	processVariableUnoptimized(MethodDefinition method, int slot, java.util.List<AstBuilder.ByteCode> definitions, java.util.List<AstBuilder.ByteCode> references, VariableDefinition vDef)
private void	pruneExceptionHandlers()
private static java.util.List<ExceptionHandler>	remapHandlers(java.util.List<ExceptionHandler> handlers, InstructionCollection instructions)
private void	remapHandlersForInlinedSubroutine(Instruction jump, Instruction start, Instruction end)
private void	remapJumps(java.util.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 java.lang.Object

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

Field Detail

LOG

private static final java.util.logging.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 java.util.Map<ExceptionHandler,AstBuilder.ByteCode> _loadExceptions

_removed

private final java.util.Set<Instruction> _removed

_originalInstructionMap

private java.util.Map<Instruction,Instruction> _originalInstructionMap

_cfg

private ControlFlowGraph _cfg

_instructions

private InstructionCollection _instructions

_exceptionHandlers

private java.util.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 Detail

AstBuilder

public AstBuilder()

Method Detail

build

public static java.util.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,
                                                   java.util.Map<Instruction,Instruction> oldToNew)

remapJumps

private void remapJumps(java.util.Map<Instruction,Instruction> remappedJumps)

callsOtherSubroutine

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

findSubroutines

private java.util.List<AstBuilder.SubroutineInfo> findSubroutines()

findNode

private static ControlFlowNode findNode(ControlFlowGraph cfg,
                                        Instruction instruction)

findDominatedNodes

private static java.util.Set<ControlFlowNode> findDominatedNodes(ControlFlowGraph cfg,
                                                                 ControlFlowNode head,
                                                                 boolean diveIntoHandlers,
                                                                 java.util.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 java.util.Map<Instruction,ControlFlowNode> createNodeMap(ControlFlowGraph cfg)

remapHandlers

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

copyInstructions

private static InstructionCollection copyInstructions(java.util.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,
                                                 java.util.Collection<ExceptionHandler> handlers)

findHandlers

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

findDuplicateHandlers

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

performStackAnalysis

private java.util.List<AstBuilder.ByteCode> performStackAnalysis()

mappedInstruction

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

createModifiedStack

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

convertLocalVariables

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

processVariableUnoptimized

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

mightBeBoolean

private boolean mightBeBoolean(AstBuilder.VariableInfo info)

mergeVariableType

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

getStackType

private JvmType getStackType(TypeReference type)

variablesMatch

private boolean variablesMatch(VariableReference v1,
                               VariableReference v2)

makeVariableLookup

private static java.util.Map<java.lang.String,VariableDefinition> makeVariableLookup(VariableDefinitionCollection variables)

key

private static java.lang.String key(VariableDefinition variable)

convertToAst

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

updateExceptionVariable

private void updateExceptionVariable(CatchBlock catchBlock,
                                     ExceptionHandler handler)

convertToAst

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

createFrame

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