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

Interface Summary

Interface	Description
SolverHint	A type for solver hints Hints inform "sub-"solvers of the techniques already being applied by the calling solvers.

Class Summary

Class	Description
AbstractBinaryExpressionSolver<T extends BinaryExpression>	A solver that handles expressions of the form A [OP] B
AbstractExpressionSolver<T extends PatternExpression>	The root type of an expression solver
AbstractUnaryExpressionSolver<T extends UnaryExpression>	A solver that handles expressions of the form [OP]A
AndExpressionSolver	Solves expressions of the form A & B
ConstantValueSolver	"Solves" constant expressions Essentially, this either evaluates successfully when asked for a constant value, or checks that the goal is equal to the constant.
ContextFieldSolver	Solves expressions of a context register field Essentially, this just encodes the goal into the field, if it can be represented in the given space and format.
DivExpressionSolver	Solves expressions of the form A / B
EndInstructionValueSolver	"Solves" expressions of inst_next Works like the constant solver, but takes the value of inst_next, which is given by the assembly address and the resulting instruction length.
LeftShiftExpressionSolver	Solves expressions of the form A << B
MaskedLong	A 64-bit value where each bit is 0, 1, or x (undefined)
MinusExpressionSolver	Solves expressions of the form -A
MultExpressionSolver	Solves expressions of the form A * B
NotExpressionSolver	Solves expressions of the form ~A
OperandValueSolver	Solves expressions of an operand value These are a sort of named sub-expression, but they may also specify a shift in encoding.
OrExpressionSolver	Solves expressions of the form A | B
PlusExpressionSolver	Solves expressions of the form A + B
RecursiveDescentSolver	This singleton class seeks solutions to PatternExpressions It is called naive, because it does not perform algebraic transformations.
RightShiftExpressionSolver	Solves expressions of the form A >> B
StartInstructionValueSolver	"Solves" expression of inst_start Works like the constant solver, but takes the value of inst_start, which is given by the assembly address.
SubExpressionSolver	Solves expressions of the form A - B
TokenFieldSolver	Solves expressions of a token (instruction encoding) field Essentially, this just encodes the goal into the field, if it can be represented in the given space and format.
XorExpressionSolver	Solves expressions of the form A $xor B

Enum Summary

Enum	Description
DefaultSolverHint	A set of built-in SolverHints

Exception Summary

Exception	Description
NeedsBackfillException	An exception to indicate that the solution of an expression is not yet known Furthermore, it cannot be determined whether or not the expression is even solvable.
SolverException	An exception that indicates no solution is possible