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