decompiler
1.0.0
|
This is the complete list of members for ValueSetSolver, including all inherited members.
applyConstraints(Varnode *vn, int4 type, const CircleRange &range, PcodeOp *cbranch) | ValueSetSolver | private |
beginValueSetReads(void) const | ValueSetSolver | inline |
beginValueSets(void) const | ValueSetSolver | inline |
checkRelativeConstant(Varnode *vn, int4 &typeCode, uintb &value) const | ValueSetSolver | private |
component(ValueSet *vertex, Partition &part) | ValueSetSolver | private |
constraintsFromCBranch(PcodeOp *cbranch) | ValueSetSolver | private |
constraintsFromPath(int4 type, CircleRange &lift, Varnode *startVn, Varnode *endVn, PcodeOp *cbranch) | ValueSetSolver | private |
depthFirstIndex | ValueSetSolver | private |
endValueSetReads(void) const | ValueSetSolver | inline |
endValueSets(void) const | ValueSetSolver | inline |
establishTopologicalOrder(void) | ValueSetSolver | private |
establishValueSets(const vector< Varnode * > &sinks, const vector< PcodeOp * > &reads, Varnode *stackReg, bool indirectAsCopy) | ValueSetSolver | |
generateConstraints(const vector< Varnode * > &worklist, const vector< PcodeOp * > &reads) | ValueSetSolver | private |
generateFalseEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range) | ValueSetSolver | private |
generateRelativeConstraint(PcodeOp *compOp, PcodeOp *cbranch) | ValueSetSolver | private |
generateTrueEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range) | ValueSetSolver | private |
getNumIterations(void) const | ValueSetSolver | inline |
getValueSetRead(const SeqNum &seq) | ValueSetSolver | inline |
maxIterations | ValueSetSolver | private |
newValueSet(Varnode *vn, int4 tCode) | ValueSetSolver | private |
nodeStack | ValueSetSolver | private |
numIterations | ValueSetSolver | private |
orderPartition | ValueSetSolver | private |
partitionPrepend(ValueSet *vertex, Partition &part) | ValueSetSolver | inlineprivatestatic |
partitionPrepend(const Partition &head, Partition &part) | ValueSetSolver | inlineprivatestatic |
partitionSurround(Partition &part) | ValueSetSolver | private |
readNodes | ValueSetSolver | private |
recordStorage | ValueSetSolver | private |
rootNodes | ValueSetSolver | private |
solve(int4 max, Widener &widener) | ValueSetSolver | |
valueNodes | ValueSetSolver | private |
visit(ValueSet *vertex, Partition &part) | ValueSetSolver | private |