clang
6.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 982 of file CallEvent.h.
|
inline |
Definition at line 1033 of file CallEvent.h.
References State.
CallEventRef CallEventManager::getCaller | ( | const StackFrameContext * | CalleeCtx, |
ProgramStateRef | State | ||
) |
Definition at line 1158 of file CallEvent.cpp.
References clang::ento::SVal::getAsRegion(), clang::StackFrameContext::getCallSite(), clang::StackFrameContext::getCallSiteBlock(), clang::LocationContext::getCurrentStackFrame(), clang::ento::SValBuilder::getCXXThis(), clang::LocationContext::getDecl(), clang::LocationContext::getParent(), and clang::Stmt::getStmtClass().
Referenced by clang::ento::ExprEngine::processCallExit(), clang::ento::FindLastStoreBRVisitor::VisitNode(), and clang::ento::UndefOrNullArgVisitor::VisitNode().
|
inline |
Definition at line 1064 of file CallEvent.h.
Referenced by clang::ento::ExprEngine::VisitCXXNewExpr().
|
inline |
Definition at line 1051 of file CallEvent.h.
Referenced by clang::ento::ExprEngine::VisitCXXConstructExpr().
|
inline |
Definition at line 1057 of file CallEvent.h.
References State.
|
inline |
Definition at line 1045 of file CallEvent.h.
Referenced by isSynthesizedAccessor(), and clang::ento::ExprEngine::VisitObjCMessage().
CallEventRef CallEventManager::getSimpleCall | ( | const CallExpr * | E, |
ProgramStateRef | State, | ||
const LocationContext * | LCtx | ||
) |
Definition at line 1136 of file CallEvent.cpp.
References clang::CallExpr::getCallee(), clang::Expr::getType(), and clang::Type::isBlockPointerType().
Referenced by clang::ento::ExprEngine::VisitCallExpr().
|
friend |
Definition at line 983 of file CallEvent.h.