clang  14.0.0git
Functions
clang::ento::smartptr Namespace Reference

Functions

bool isStdSmartPtrCall (const CallEvent &Call)
 Returns true if the event call is on smart pointer. More...
 
bool isStdSmartPtr (const CXXRecordDecl *RD)
 
bool isStdSmartPtr (const Expr *E)
 
bool isNullSmartPtr (const ProgramStateRef State, const MemRegion *ThisRegion)
 Returns whether the smart pointer is null or not. More...
 
const BugTypegetNullDereferenceBugType ()
 

Function Documentation

◆ getNullDereferenceBugType()

const BugType * clang::ento::smartptr::getNullDereferenceBugType ( )

Definition at line 54 of file SmartPtrChecker.cpp.

◆ isNullSmartPtr()

bool clang::ento::smartptr::isNullSmartPtr ( const ProgramStateRef  State,
const MemRegion ThisRegion 
)

Returns whether the smart pointer is null or not.

Definition at line 147 of file SmartPtrModeling.cpp.

References State.

◆ isStdSmartPtr() [1/2]

bool clang::ento::smartptr::isStdSmartPtr ( const CXXRecordDecl RD)

◆ isStdSmartPtr() [2/2]

bool clang::ento::smartptr::isStdSmartPtr ( const Expr E)

◆ isStdSmartPtrCall()

bool clang::ento::smartptr::isStdSmartPtrCall ( const CallEvent Call)

Returns true if the event call is on smart pointer.

Definition at line 125 of file SmartPtrModeling.cpp.

References isStdSmartPtr().