|
clang
5.0.0
|
Manages the lifetime of CallEvent objects. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
Public Member Functions | |
| CallEventManager (llvm::BumpPtrAllocator &alloc) | |
| CallEventRef | getCaller (const StackFrameContext *CalleeCtx, ProgramStateRef State) |
| CallEventRef | getSimpleCall (const CallExpr *E, ProgramStateRef State, const LocationContext *LCtx) |
| CallEventRef< ObjCMethodCall > | getObjCMethodCall (const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) |
| CallEventRef< CXXConstructorCall > | getCXXConstructorCall (const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) |
| CallEventRef< CXXDestructorCall > | getCXXDestructorCall (const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) |
| CallEventRef< CXXAllocatorCall > | getCXXAllocatorCall (const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) |
Friends | |
| class | CallEvent |
Manages the lifetime of CallEvent objects.
CallEventManager provides a way to create arbitrary CallEvents "on the stack" as if they were value objects by keeping a cache of CallEvent-sized memory blocks. The CallEvents created by CallEventManager are only valid for the lifetime of the OwnedCallEvent that holds them; right now these objects cannot be copied and ownership cannot be transferred.
Definition at line 995 of file CallEvent.h.
|
inline |
Definition at line 1046 of file CallEvent.h.
| CallEventRef CallEventManager::getCaller | ( | const StackFrameContext * | CalleeCtx, |
| ProgramStateRef | State | ||
| ) |
Definition at line 1132 of file CallEvent.cpp.
References E, clang::CFGElement::getAs(), clang::ento::SVal::getAsRegion(), clang::FunctionDecl::getBody(), clang::StackFrameContext::getCallSite(), clang::StackFrameContext::getCallSiteBlock(), clang::LocationContext::getCurrentStackFrame(), clang::ento::SValBuilder::getCXXThis(), clang::LocationContext::getDecl(), clang::StackFrameContext::getIndex(), clang::LocationContext::getParent(), clang::Stmt::getStmtClass(), and State.
Referenced by clang::ento::ExprEngine::processCallExit(), clang::ento::FindLastStoreBRVisitor::VisitNode(), and clang::ento::UndefOrNullArgVisitor::VisitNode().
|
inline |
Definition at line 1077 of file CallEvent.h.
Referenced by clang::ento::ExprEngine::VisitCXXNewExpr().
|
inline |
Definition at line 1064 of file CallEvent.h.
Referenced by clang::ento::ExprEngine::VisitCXXConstructExpr().
|
inline |
Definition at line 1070 of file CallEvent.h.
References State.
Referenced by clang::ento::ExprEngine::VisitCXXDestructor().
|
inline |
Definition at line 1058 of file CallEvent.h.
Referenced by clang::ento::ExprEngine::VisitObjCMessage().
| CallEventRef CallEventManager::getSimpleCall | ( | const CallExpr * | E, |
| ProgramStateRef | State, | ||
| const LocationContext * | LCtx | ||
| ) |
Definition at line 1110 of file CallEvent.cpp.
References clang::CallExpr::getCallee(), clang::Expr::getType(), clang::Type::isBlockPointerType(), and State.
Referenced by clang::ento::ExprEngine::VisitCallExpr().
|
friend |
Definition at line 996 of file CallEvent.h.
1.8.6