Package ghidra.app.plugin.assembler.sleigh.sem

Class AssemblyTreeResolver

java.lang.Object

ghidra.app.plugin.assembler.sleigh.sem.AssemblyTreeResolver

public class AssemblyTreeResolver
extends java.lang.Object

The workhorse of semantic resolution for the assembler This class takes a parse tree and some additional information (start address, context, etc.) and attempts to determine possible encodings using the semantics associated with each branch of the given parse tree. Details of this process are described in SleighAssemblerBuilder.

See Also:

SleighAssemblerBuilder

Field Summary

Fields

Modifier and Type	Field	Description
protected AssemblyPatternBlock	context
protected AssemblyContextGraph	ctxGraph
protected static DbgTimer	dbg
protected AssemblyGrammar	grammar
static java.lang.String	INST_NEXT
static java.lang.String	INST_START
protected long	instStart
protected SleighLanguage	lang
protected static RecursiveDescentSolver	solver
protected AssemblyParseBranch	tree
protected java.util.Map<java.lang.String,java.lang.Long>	vals

Constructor Summary

Constructors

Constructor	Description
AssemblyTreeResolver(SleighLanguage lang, long instStart, AssemblyParseBranch tree, AssemblyPatternBlock context, AssemblyContextGraph ctxGraph)	Construct a resolver for the given parse tree

Method Summary

Modifier and Type	Method	Description
protected AssemblyResolutionResults	applyRecursionPath(java.util.Deque<AssemblyConstructorSemantic> path, AssemblyParseBranch branch, AssemblyProduction rec, AssemblyResolvedConstructor child)	Apply constructors as indicated by a path returned by the context resolution graph Please note: The path given will be emptied during processing.
static int	computeOffset(OperandSymbol opsym, Constructor cons, java.util.Map<java.lang.Integer,java.lang.Object> res)	Compute the offset of an operand encoded in the instruction block
AssemblyResolutionResults	resolve()	Resolve the tree for the given parameters
protected AssemblyResolutionResults	resolveBranch(AssemblyParseBranch branch)	Resolve a branch of the parse tree
protected AssemblyResolutionResults	resolveBranchNonRecursive(AssemblyParseBranch branch)	Resolve a branch without considering any purely-recursive productions This method is used either when the LHS has no purely-recursive definition, or before considering the purely-recursive definition when it is present.
protected AssemblyResolutionResults	resolveBranchRecursive(AssemblyParseBranch branch, AssemblyProduction rec)	Resolve a branch where the production's LHS has a purely-recursive definition
protected AssemblyResolutionResults	resolveSelectedChildren(AssemblyProduction prod, java.util.List<AssemblyParseTreeNode> substs, com.google.common.collect.ImmutableList<AssemblyResolvedConstructor> sel, java.util.Collection<AssemblyConstructorSemantic> semantics)	Resolve the given branch, having selected a particular combination of subconstructor results
protected static AssemblyResolution	solveOrBackfill(PatternExpression exp, long goal, int bits, java.util.Map<java.lang.String,java.lang.Long> vals, java.util.Map<java.lang.Integer,java.lang.Object> res, AssemblyResolvedConstructor cur, java.lang.String description)	Attempt to solve an expression Converts the given goal and bits count to a MaskedLong and then solves as before.
protected static AssemblyResolution	solveOrBackfill(PatternExpression exp, long goal, java.util.Map<java.lang.String,java.lang.Long> vals, java.util.Map<java.lang.Integer,java.lang.Object> res, AssemblyResolvedConstructor cur, java.lang.String description)	Attempt to solve an expression Converts the given goal to a fully-defined MaskedLong and then solves as before.
protected static AssemblyResolution	solveOrBackfill(PatternExpression exp, MaskedLong goal, java.util.Map<java.lang.String,java.lang.Long> vals, java.util.Map<java.lang.Integer,java.lang.Object> res, AssemblyResolvedConstructor cur, java.lang.String description)	Attempt to solve an expression
protected AssemblyResolutionResults	tryResolveBackfills(AssemblyResolutionResults results)

Methods inherited from class java.lang.Object

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

Field Detail

solver

protected static final RecursiveDescentSolver solver

dbg

protected static final DbgTimer dbg

lang

protected final SleighLanguage lang

instStart

protected final long instStart

vals

protected final java.util.Map<java.lang.String,java.lang.Long> vals

tree

protected final AssemblyParseBranch tree

grammar

protected final AssemblyGrammar grammar

context

protected final AssemblyPatternBlock context

ctxGraph

protected final AssemblyContextGraph ctxGraph

INST_START

public static final java.lang.String INST_START

See Also:

Constant Field Values

INST_NEXT

public static final java.lang.String INST_NEXT

See Also:

Constant Field Values

Constructor Detail

AssemblyTreeResolver

public AssemblyTreeResolver(SleighLanguage lang,
                            long instStart,
                            AssemblyParseBranch tree,
                            AssemblyPatternBlock context,
                            AssemblyContextGraph ctxGraph)

Construct a resolver for the given parse tree

Parameters:

lang -

instStart - the byte offset where the instruction will start

tree - the parse tree

context - the context expected at instStart

ctxGraph - the context transition graph used to resolve purely-recursive productions

Method Detail

resolve

public AssemblyResolutionResults resolve()

Resolve the tree for the given parameters

Returns:

a set of resolutions (encodings and errors)

resolveBranch

protected AssemblyResolutionResults resolveBranch(AssemblyParseBranch branch)

Resolve a branch of the parse tree

Parameters:

branch - the branch

Returns:

the intermediate results

applyRecursionPath

protected AssemblyResolutionResults applyRecursionPath(java.util.Deque<AssemblyConstructorSemantic> path,
                                                       AssemblyParseBranch branch,
                                                       AssemblyProduction rec,
                                                       AssemblyResolvedConstructor child)

Apply constructors as indicated by a path returned by the context resolution graph Please note: The path given will be emptied during processing.

Parameters:

path - the path to apply

branch - the branch corresponding to the production whose LHS has a purely-recursive definition.

rec - the purely-recursive production

child - the intermediate result to apply the constructors to

Returns:

the results

resolveBranchRecursive

protected AssemblyResolutionResults resolveBranchRecursive(AssemblyParseBranch branch,
                                                           AssemblyProduction rec)

Resolve a branch where the production's LHS has a purely-recursive definition

Parameters:

branch - the branch

rec - the purely-recursive definition

Returns:

the results

resolveSelectedChildren

protected AssemblyResolutionResults resolveSelectedChildren(AssemblyProduction prod,
                                                            java.util.List<AssemblyParseTreeNode> substs,
                                                            com.google.common.collect.ImmutableList<AssemblyResolvedConstructor> sel,
                                                            java.util.Collection<AssemblyConstructorSemantic> semantics)

Resolve the given branch, having selected a particular combination of subconstructor results

Parameters:

prod - the production

substs - the braches and tokens corrresponding to the symbols of the production's RHS

sel - the selected subconstructor results

semantics - the collection of possible constructors for this production

Returns:

the results

tryResolveBackfills

protected AssemblyResolutionResults tryResolveBackfills(AssemblyResolutionResults results)

resolveBranchNonRecursive

protected AssemblyResolutionResults resolveBranchNonRecursive(AssemblyParseBranch branch)

Resolve a branch without considering any purely-recursive productions This method is used either when the LHS has no purely-recursive definition, or before considering the purely-recursive definition when it is present.

Parameters:

branch - the branch

Returns:

the results

computeOffset

public static int computeOffset(OperandSymbol opsym,
                                Constructor cons,
                                java.util.Map<java.lang.Integer,java.lang.Object> res)

Compute the offset of an operand encoded in the instruction block

Parameters:

opsym - the operand symbol

cons - the constructor containing the operand

res - the selected subconstructor encodings

Returns:

the offset (right shift) to apply to the encoded operand

solveOrBackfill

protected static AssemblyResolution solveOrBackfill(PatternExpression exp,
                                                    MaskedLong goal,
                                                    java.util.Map<java.lang.String,java.lang.Long> vals,
                                                    java.util.Map<java.lang.Integer,java.lang.Object> res,
                                                    AssemblyResolvedConstructor cur,
                                                    java.lang.String description)

Attempt to solve an expression

Parameters:

exp - the expression to solve

goal - the desired value of the expression

vals - any defined symbols

res - the selected subconstructor encodings

cur - the resolved constructor so far

description - a description of the result

Returns:

the encoded solution, or a backfill record

solveOrBackfill

protected static AssemblyResolution solveOrBackfill(PatternExpression exp,
                                                    long goal,
                                                    java.util.Map<java.lang.String,java.lang.Long> vals,
                                                    java.util.Map<java.lang.Integer,java.lang.Object> res,
                                                    AssemblyResolvedConstructor cur,
                                                    java.lang.String description)

Attempt to solve an expression Converts the given goal to a fully-defined MaskedLong and then solves as before.

See Also:

solveOrBackfill(PatternExpression, MaskedLong, Map, Map, AssemblyResolvedConstructor, String)

solveOrBackfill

protected static AssemblyResolution solveOrBackfill(PatternExpression exp,
                                                    long goal,
                                                    int bits,
                                                    java.util.Map<java.lang.String,java.lang.Long> vals,
                                                    java.util.Map<java.lang.Integer,java.lang.Object> res,
                                                    AssemblyResolvedConstructor cur,
                                                    java.lang.String description)

Attempt to solve an expression Converts the given goal and bits count to a MaskedLong and then solves as before. As a special case, if bits == 0, the goal is considered fully-defined (as if bits == 64).

See Also:

solveOrBackfill(PatternExpression, MaskedLong, Map, Map, AssemblyResolvedConstructor, String)