|
| bool | isIteratorType (const QualType &Type) |
| |
| bool | isIterator (const CXXRecordDecl *CRD) |
| |
| bool | isEndCall (const FunctionDecl *Func) |
| |
| bool | isSimpleComparisonOperator (OverloadedOperatorKind OK) |
| |
| bool | isDereferenceOperator (OverloadedOperatorKind OK) |
| |
| BinaryOperator::Opcode | getOpcode (const SymExpr *SE) |
| |
| const RegionOrSymbol | getRegionOrSymbol (const SVal &Val) |
| |
| const ProgramStateRef | processComparison (ProgramStateRef State, RegionOrSymbol LVal, RegionOrSymbol RVal, bool Equal) |
| |
| const ProgramStateRef | saveComparison (ProgramStateRef State, const SymExpr *Condition, const SVal &LVal, const SVal &RVal, bool Eq) |
| |
| const IteratorComparison * | loadComparison (ProgramStateRef State, const SymExpr *Condition) |
| |
| SymbolRef | getContainerEnd (ProgramStateRef State, const MemRegion *Cont) |
| |
| ProgramStateRef | createContainerEnd (ProgramStateRef State, const MemRegion *Cont, const SymbolRef Sym) |
| |
| const IteratorPosition * | getIteratorPosition (ProgramStateRef State, const SVal &Val) |
| |
| const IteratorPosition * | getIteratorPosition (ProgramStateRef State, RegionOrSymbol RegOrSym) |
| |
| ProgramStateRef | setIteratorPosition (ProgramStateRef State, const SVal &Val, const IteratorPosition &Pos) |
| |
| ProgramStateRef | setIteratorPosition (ProgramStateRef State, RegionOrSymbol RegOrSym, const IteratorPosition &Pos) |
| |
| ProgramStateRef | removeIteratorPosition (ProgramStateRef State, const SVal &Val) |
| |
| ProgramStateRef | adjustIteratorPosition (ProgramStateRef State, RegionOrSymbol RegOrSym, const IteratorPosition &Pos, bool Equal) |
| |
| ProgramStateRef | relateIteratorPositions (ProgramStateRef State, const IteratorPosition &Pos1, const IteratorPosition &Pos2, bool Equal) |
| |
| const ContainerData * | getContainerData (ProgramStateRef State, const MemRegion *Cont) |
| |
| ProgramStateRef | setContainerData (ProgramStateRef State, const MemRegion *Cont, const ContainerData &CData) |
| |
| bool | isOutOfRange (ProgramStateRef State, const IteratorPosition &Pos) |
| |