RetroSearch Browse

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/MallocChecker_8cpp.html below:

clang: lib/StaticAnalyzer/Checkers/MallocChecker.cpp File Reference

static bool printMemFnName (raw_ostream &os, CheckerContext &C, const Expr *E) Print names of allocators and deallocators.
static void printExpectedAllocName (raw_ostream &os, AllocationFamily Family) Print expected name of an allocator based on the deallocator's family derived from the DeallocExpr.
static void printExpectedDeallocName (raw_ostream &os, AllocationFamily Family) Print expected name of a deallocator based on the allocator's family.
static bool isReleased (SymbolRef Sym, CheckerContext &C) Check if the memory associated with this symbol was released.
static ProgramStateRef MallocUpdateRefState (CheckerContext &C, const Expr *E, ProgramStateRef State, AllocationFamily Family, std::optional< SVal > RetVal=std::nullopt) Update the RefState to reflect the new memory allocation.
static bool isStandardNew (const FunctionDecl *FD) static bool isStandardNew (const CallEvent &Call) static bool isStandardDelete (const FunctionDecl *FD) static bool isStandardDelete (const CallEvent &Call) template<typename T > static bool isStandardNewDelete (const T &FD) Tells if the callee is one of the builtin new/delete operators, including placement operators and other standard overloads.
static bool isStandardRealloc (const CallEvent &Call) static bool isGRealloc (const CallEvent &Call) static bool isFromStdNamespace (const CallEvent &Call) static QualType getDeepPointeeType (QualType T) static bool hasNonTrivialConstructorCall (const CXXNewExpr *NE) static bool isKnownDeallocObjCMethodName (const ObjCMethodCall &Call) static std::optional< bool > getFreeWhenDoneArg (const ObjCMethodCall &Call) static bool didPreviousFreeFail (ProgramStateRef State, SymbolRef Sym, SymbolRef &RetStatusSymbol) Checks if the previous call to free on the given symbol failed - if free failed, returns true.
static void printOwnershipTakesList (raw_ostream &os, CheckerContext &C, const Expr *E) static bool checkIfNewOrNewArrayFamily (const RefState *RS) static SymbolRef findFailedReallocSymbol (ProgramStateRef currState, ProgramStateRef prevState) static bool isReferenceCountingPointerDestructor (const CXXDestructorDecl *DD) ProgramStateRef clang::ento::allocation_state::markReleased (ProgramStateRef State, SymbolRef Sym, const Expr *Origin) ◆ CASE #define CASE ( ID ) case ID: OS << #ID; break; ◆ CHECK_FN #define CHECK_FN ( NAME ) Value:

const;

Represents an abstract call to a function or method along a particular path.

Definition at line 418 of file MallocChecker.cpp.

◆ REGISTER_CHECKER #define REGISTER_CHECKER ( name ) Value:

MallocChecker *checker = mgr.

getChecker

<MallocChecker>(); \

checker->ChecksEnabled[MallocChecker::CK_##name] = true; \

checker->CheckNames[MallocChecker::CK_##name] = \

} \

bool

ento::shouldRegister##name(

const CheckerManager

&mgr) {

return true

; }

CheckerNameRef getCurrentCheckerName() const

Definition at line 3931 of file MallocChecker.cpp.

◆ checkIfNewOrNewArrayFamily() ◆ didPreviousFreeFail() ◆ findFailedReallocSymbol() ◆ getDeepPointeeType() ◆ getFreeWhenDoneArg() ◆ hasNonTrivialConstructorCall() ◆ isFromStdNamespace() ◆ isGRealloc() ◆ isKnownDeallocObjCMethodName() ◆ isReferenceCountingPointerDestructor() ◆ isReleased() ◆ isStandardDelete() [1/2] ◆ isStandardDelete() [2/2] ◆ isStandardNew() [1/2] ◆ isStandardNew() [2/2] ◆ isStandardNewDelete()

template<typename T >

static bool isStandardNewDelete ( const T & FD ) static ◆ isStandardRealloc() ◆ MallocUpdateRefState()

Update the RefState to reflect the new memory allocation.

The optional RetVal parameter specifies the newly allocated pointer value; if unspecified, the value of expression E is used.

Definition at line 1941 of file MallocChecker.cpp.

References clang::C, and E.

◆ printExpectedAllocName() static void printExpectedAllocName ( raw_ostream & os, AllocationFamily Family ) static

Print expected name of an allocator based on the deallocator's family derived from the DeallocExpr.

Definition at line 2086 of file MallocChecker.cpp.

◆ printExpectedDeallocName() static void printExpectedDeallocName ( raw_ostream & os, AllocationFamily Family ) static

Print expected name of a deallocator based on the allocator's family.

Definition at line 2113 of file MallocChecker.cpp.

◆ printMemFnName() ◆ printOwnershipTakesList() static void printOwnershipTakesList ( raw_ostream & os, CheckerContext & C, const Expr * E ) static

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4