applyConstraints(Varnode *vn, int4 type, const CircleRange &range, PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
beginValueSetReads(void) const | ghidra::ValueSetSolver | inline |
beginValueSets(void) const | ghidra::ValueSetSolver | inline |
checkRelativeConstant(Varnode *vn, int4 &typeCode, uintb &value) const | ghidra::ValueSetSolver | private |
component(ValueSet *vertex, Partition &part) | ghidra::ValueSetSolver | private |
constraintsFromCBranch(PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
constraintsFromPath(int4 type, CircleRange &lift, Varnode *startVn, Varnode *endVn, PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
depthFirstIndex | ghidra::ValueSetSolver | private |
endValueSetReads(void) const | ghidra::ValueSetSolver | inline |
endValueSets(void) const | ghidra::ValueSetSolver | inline |
establishTopologicalOrder(void) | ghidra::ValueSetSolver | private |
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::ValueSetSolver | private |
generateFalseEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range) | ghidra::ValueSetSolver | private |
generateRelativeConstraint(PcodeOp *compOp, PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
generateTrueEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range) | ghidra::ValueSetSolver | private |
getNumIterations(void) const | ghidra::ValueSetSolver | inline |
getValueSetRead(const SeqNum &seq) | ghidra::ValueSetSolver | inline |
maxIterations | ghidra::ValueSetSolver | private |
newValueSet(Varnode *vn, int4 tCode) | ghidra::ValueSetSolver | private |
nodeStack | ghidra::ValueSetSolver | private |
numIterations | ghidra::ValueSetSolver | private |
orderPartition | ghidra::ValueSetSolver | private |
partitionPrepend(ValueSet *vertex, Partition &part) | ghidra::ValueSetSolver | inlineprivatestatic |
partitionPrepend(const Partition &head, Partition &part) | ghidra::ValueSetSolver | inlineprivatestatic |
partitionSurround(Partition &part) | ghidra::ValueSetSolver | private |
readNodes | ghidra::ValueSetSolver | private |
recordStorage | ghidra::ValueSetSolver | private |
rootNodes | ghidra::ValueSetSolver | private |
solve(int4 max, Widener &widener) | ghidra::ValueSetSolver | |
valueNodes | ghidra::ValueSetSolver | private |
visit(ValueSet *vertex, Partition &part) | ghidra::ValueSetSolver | private |