Package ghidra.app.plugin.assembler.sleigh.expr

Class OrExpressionSolver

java.lang.Object

ghidra.app.plugin.assembler.sleigh.expr.AbstractExpressionSolver<T>

ghidra.app.plugin.assembler.sleigh.expr.AbstractBinaryExpressionSolver<OrExpression>

ghidra.app.plugin.assembler.sleigh.expr.OrExpressionSolver

public class OrExpressionSolver
extends AbstractBinaryExpressionSolver<OrExpression>

Solves expressions of the form A | B

Field Summary

Fields inherited from class ghidra.app.plugin.assembler.sleigh.expr.AbstractExpressionSolver

dbg, solver

Constructor Summary

Constructors

Constructor	Description
OrExpressionSolver()

Method Summary

Modifier and Type	Method	Description
MaskedLong	compute(MaskedLong lval, MaskedLong rval)	Compute the result of applying the operator to the two given values
protected MaskedLong	computeCircShiftF(MaskedLong gval, int size, int dir, MaskedLong goal)
protected MaskedLong	computeCircShiftG(MaskedLong fval, int size, int dir, MaskedLong goal)
MaskedLong	computeLeft(MaskedLong rval, MaskedLong goal)	Compute the left-hand-side value given that the result and the right are known
protected AssemblyResolution	solveLeftCircularShift(PatternExpression expValue, PatternExpression expShift, int size, int dir, 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.util.Set<SolverHint> hints, java.lang.String description)
protected AssemblyResolution	solveTwoSided(OrExpression 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.util.Set<SolverHint> hints, java.lang.String description)
protected AssemblyResolution	tryCatenationExpression(OrExpression 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.util.Set<SolverHint> hints, java.lang.String description)
protected AssemblyResolution	tryCircularShiftExpression(OrExpression 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.util.Set<SolverHint> hints, java.lang.String description)

Methods inherited from class ghidra.app.plugin.assembler.sleigh.expr.AbstractBinaryExpressionSolver

computeRight, getInstructionLength, getValue, solve, solveLeftSide, solveRightSide, valueForResolution

Methods inherited from class ghidra.app.plugin.assembler.sleigh.expr.AbstractExpressionSolver

register

Methods inherited from class java.lang.Object

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

Constructor Detail

OrExpressionSolver

public OrExpressionSolver()

Method Detail

compute

public MaskedLong compute(MaskedLong lval,
                          MaskedLong rval)

Description copied from class: AbstractBinaryExpressionSolver

Compute the result of applying the operator to the two given values

Specified by:

compute in class AbstractBinaryExpressionSolver<OrExpression>

Parameters:

lval - the left-hand-side value

rval - the right-hand-side value

Returns:

the result

computeLeft

public MaskedLong computeLeft(MaskedLong rval,
                              MaskedLong goal)
                       throws SolverException

Description copied from class: AbstractBinaryExpressionSolver

Compute the left-hand-side value given that the result and the right are known

Specified by:

computeLeft in class AbstractBinaryExpressionSolver<OrExpression>

Parameters:

rval - the right-hand-side value

goal - the result

Returns:

the left-hand-side value solution

Throws:

SolverException - if the expression cannot be solved

tryCatenationExpression

protected AssemblyResolution tryCatenationExpression(OrExpression 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.util.Set<SolverHint> hints,
                                                     java.lang.String description)
                                              throws SolverException

Throws:

SolverException

tryCircularShiftExpression

protected AssemblyResolution tryCircularShiftExpression(OrExpression 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.util.Set<SolverHint> hints,
                                                        java.lang.String description)
                                                 throws SolverException

Throws:

SolverException

solveLeftCircularShift

protected AssemblyResolution solveLeftCircularShift(PatternExpression expValue,
                                                    PatternExpression expShift,
                                                    int size,
                                                    int dir,
                                                    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.util.Set<SolverHint> hints,
                                                    java.lang.String description)
                                             throws NeedsBackfillException,
                                                    SolverException

Throws:

NeedsBackfillException

SolverException

computeCircShiftG

protected MaskedLong computeCircShiftG(MaskedLong fval,
                                       int size,
                                       int dir,
                                       MaskedLong goal)
                                throws SolverException

Throws:

SolverException

computeCircShiftF

protected MaskedLong computeCircShiftF(MaskedLong gval,
                                       int size,
                                       int dir,
                                       MaskedLong goal)

solveTwoSided

protected AssemblyResolution solveTwoSided(OrExpression 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.util.Set<SolverHint> hints,
                                           java.lang.String description)
                                    throws NeedsBackfillException,
                                           SolverException

Overrides:

solveTwoSided in class AbstractBinaryExpressionSolver<OrExpression>

Throws:

NeedsBackfillException

SolverException