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

Class SubExpressionSolver

java.lang.Object

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

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

ghidra.app.plugin.assembler.sleigh.expr.SubExpressionSolver

public class SubExpressionSolver
extends AbstractBinaryExpressionSolver<SubExpression>

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
SubExpressionSolver()

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
MaskedLong	computeLeft(MaskedLong rval, MaskedLong goal)	Compute the left-hand-side value given that the result and the right are known
MaskedLong	computeRight(MaskedLong lval, MaskedLong goal)	Compute the right-hand-side value given that the result and the left are known

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

getInstructionLength, getValue, solve, solveLeftSide, solveRightSide, solveTwoSided, 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 Details

SubExpressionSolver

public SubExpressionSolver()

Method Details

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<SubExpression>

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

computeRight

public MaskedLong computeRight(MaskedLong lval,
 MaskedLong goal)
                        throws SolverException

Description copied from class: AbstractBinaryExpressionSolver

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

NOTE: Assumes commutativity by default

Overrides:

computeRight in class AbstractBinaryExpressionSolver<SubExpression>

Parameters:

lval - the left-hand-side value

goal - the result

Returns:

the right-hand-side value solution

Throws:

SolverException - if the expression cannot be solved

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<SubExpression>

Parameters:

lval - the left-hand-side value

rval - the right-hand-side value

Returns:

the result