decompiler  1.0.0
ghidra::ValueSetSolver Member List

This is the complete list of members for ghidra::ValueSetSolver, including all inherited members.

applyConstraints(Varnode *vn, int4 type, const CircleRange &range, PcodeOp *cbranch)ghidra::ValueSetSolverprivate
beginValueSetReads(void) constghidra::ValueSetSolverinline
beginValueSets(void) constghidra::ValueSetSolverinline
checkRelativeConstant(Varnode *vn, int4 &typeCode, uintb &value) constghidra::ValueSetSolverprivate
component(ValueSet *vertex, Partition &part)ghidra::ValueSetSolverprivate
constraintsFromCBranch(PcodeOp *cbranch)ghidra::ValueSetSolverprivate
constraintsFromPath(int4 type, CircleRange &lift, Varnode *startVn, Varnode *endVn, PcodeOp *cbranch)ghidra::ValueSetSolverprivate
depthFirstIndexghidra::ValueSetSolverprivate
endValueSetReads(void) constghidra::ValueSetSolverinline
endValueSets(void) constghidra::ValueSetSolverinline
establishTopologicalOrder(void)ghidra::ValueSetSolverprivate
establishValueSets(const vector< Varnode *> &sinks, const vector< PcodeOp *> &reads, Varnode *stackReg, bool indirectAsCopy)ghidra::ValueSetSolver
generateConstraints(const vector< Varnode *> &worklist, const vector< PcodeOp *> &reads)ghidra::ValueSetSolverprivate
generateFalseEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range)ghidra::ValueSetSolverprivate
generateRelativeConstraint(PcodeOp *compOp, PcodeOp *cbranch)ghidra::ValueSetSolverprivate
generateTrueEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range)ghidra::ValueSetSolverprivate
getNumIterations(void) constghidra::ValueSetSolverinline
getValueSetRead(const SeqNum &seq)ghidra::ValueSetSolverinline
maxIterationsghidra::ValueSetSolverprivate
newValueSet(Varnode *vn, int4 tCode)ghidra::ValueSetSolverprivate
nodeStackghidra::ValueSetSolverprivate
numIterationsghidra::ValueSetSolverprivate
orderPartitionghidra::ValueSetSolverprivate
partitionPrepend(ValueSet *vertex, Partition &part)ghidra::ValueSetSolverinlineprivatestatic
partitionPrepend(const Partition &head, Partition &part)ghidra::ValueSetSolverinlineprivatestatic
partitionSurround(Partition &part)ghidra::ValueSetSolverprivate
readNodesghidra::ValueSetSolverprivate
recordStorageghidra::ValueSetSolverprivate
rootNodesghidra::ValueSetSolverprivate
solve(int4 max, Widener &widener)ghidra::ValueSetSolver
valueNodesghidra::ValueSetSolverprivate
visit(ValueSet *vertex, Partition &part)ghidra::ValueSetSolverprivate