decompiler  1.0.0
ValueSetSolver Member List

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

applyConstraints(Varnode *vn, int4 type, const CircleRange &range, PcodeOp *cbranch)ValueSetSolverprivate
beginValueSetReads(void) const ValueSetSolverinline
beginValueSets(void) const ValueSetSolverinline
checkRelativeConstant(Varnode *vn, int4 &typeCode, uintb &value) const ValueSetSolverprivate
component(ValueSet *vertex, Partition &part)ValueSetSolverprivate
constraintsFromCBranch(PcodeOp *cbranch)ValueSetSolverprivate
constraintsFromPath(int4 type, CircleRange &lift, Varnode *startVn, Varnode *endVn, PcodeOp *cbranch)ValueSetSolverprivate
depthFirstIndexValueSetSolverprivate
endValueSetReads(void) const ValueSetSolverinline
endValueSets(void) const ValueSetSolverinline
establishTopologicalOrder(void)ValueSetSolverprivate
establishValueSets(const vector< Varnode * > &sinks, const vector< PcodeOp * > &reads, Varnode *stackReg, bool indirectAsCopy)ValueSetSolver
generateConstraints(const vector< Varnode * > &worklist, const vector< PcodeOp * > &reads)ValueSetSolverprivate
generateFalseEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range)ValueSetSolverprivate
generateRelativeConstraint(PcodeOp *compOp, PcodeOp *cbranch)ValueSetSolverprivate
generateTrueEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range)ValueSetSolverprivate
getNumIterations(void) const ValueSetSolverinline
getValueSetRead(const SeqNum &seq)ValueSetSolverinline
maxIterationsValueSetSolverprivate
newValueSet(Varnode *vn, int4 tCode)ValueSetSolverprivate
nodeStackValueSetSolverprivate
numIterationsValueSetSolverprivate
orderPartitionValueSetSolverprivate
partitionPrepend(ValueSet *vertex, Partition &part)ValueSetSolverinlineprivatestatic
partitionPrepend(const Partition &head, Partition &part)ValueSetSolverinlineprivatestatic
partitionSurround(Partition &part)ValueSetSolverprivate
readNodesValueSetSolverprivate
recordStorageValueSetSolverprivate
rootNodesValueSetSolverprivate
solve(int4 max, Widener &widener)ValueSetSolver
valueNodesValueSetSolverprivate
visit(ValueSet *vertex, Partition &part)ValueSetSolverprivate