|
| static bool | clang::ento::isLoopStmt (const Stmt *S) |
| |
| ProgramStateRef | clang::ento::processLoopEnd (const Stmt *LoopStmt, ProgramStateRef State) |
| | Updates the given ProgramState.
|
| |
| static internal::Matcher< Stmt > | clang::ento::simpleCondition (StringRef BindName, StringRef RefName) |
| |
| static internal::Matcher< Stmt > | clang::ento::changeIntBoundNode (internal::Matcher< Decl > VarNodeMatcher) |
| |
| static internal::Matcher< Stmt > | clang::ento::callByRef (internal::Matcher< Decl > VarNodeMatcher) |
| |
| static internal::Matcher< Stmt > | clang::ento::assignedToRef (internal::Matcher< Decl > VarNodeMatcher) |
| |
| static internal::Matcher< Stmt > | clang::ento::getAddrTo (internal::Matcher< Decl > VarNodeMatcher) |
| |
| static internal::Matcher< Stmt > | clang::ento::hasSuspiciousStmt (StringRef NodeName) |
| |
| static internal::Matcher< Stmt > | clang::ento::forLoopMatcher () |
| |
| static bool | clang::ento::isCapturedByReference (ExplodedNode *N, const DeclRefExpr *DR) |
| |
| static bool | clang::ento::isFoundInStmt (const Stmt *S, const VarDecl *VD) |
| |
| static bool | clang::ento::isPossiblyEscaped (ExplodedNode *N, const DeclRefExpr *DR) |
| |
| bool | clang::ento::shouldCompletelyUnroll (const Stmt *LoopStmt, ASTContext &ASTCtx, ExplodedNode *Pred, unsigned &maxStep) |
| |
| bool | clang::ento::madeNewBranch (ExplodedNode *N, const Stmt *LoopStmt) |
| |
| ProgramStateRef | clang::ento::updateLoopStack (const Stmt *LoopStmt, ASTContext &ASTCtx, ExplodedNode *Pred, unsigned maxVisitOnPath) |
| | Updates the stack of loops contained by the ProgramState.
|
| |
| bool | clang::ento::isUnrolledState (ProgramStateRef State) |
| | Returns if the given State indicates that is inside a completely unrolled loop.
|
| |
