clang
8.0.0
|
Classes | |
class | BadRelease |
class | DeallocNotOwned |
class | Leak |
class | OverAutorelease |
class | RefCountBug |
class | RefCountReport |
class | RefLeakReport |
class | RefVal |
Metadata on reference. More... | |
class | RetainCountChecker |
class | ReturnedNotOwnedForOwned |
class | UseAfterRelease |
Functions | |
const RefVal * | getRefBinding (ProgramStateRef State, SymbolRef Sym) |
ProgramStateRef | setRefBinding (ProgramStateRef State, SymbolRef Sym, RefVal Val) |
ProgramStateRef | removeRefBinding (ProgramStateRef State, SymbolRef Sym) |
bool | isSynthesizedAccessor (const StackFrameContext *SFC) |
Returns true if this stack frame is for an Objective-C method that is a property getter or setter whose body has been synthesized by the analyzer. More... | |
const RefVal * clang::ento::retaincountchecker::getRefBinding | ( | ProgramStateRef | State, |
SymbolRef | Sym | ||
) |
Definition at line 28 of file RetainCountChecker.cpp.
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkDeadSymbols(), clang::ento::retaincountchecker::RetainCountChecker::checkPostCall(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), clang::ento::retaincountchecker::RetainCountChecker::processNonLeakError(), clang::ento::retaincountchecker::RetainCountChecker::processObjCLiterals(), and clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined().
|
inline |
Returns true if this stack frame is for an Objective-C method that is a property getter or setter whose body has been synthesized by the analyzer.
Definition at line 381 of file RetainCountChecker.h.
References clang::LocationContext::getAnalysisDeclContext(), clang::LocationContext::getDecl(), and clang::AnalysisDeclContext::isBodyAutosynthesized().
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt().
ProgramStateRef clang::ento::retaincountchecker::removeRefBinding | ( | ProgramStateRef | State, |
SymbolRef | Sym | ||
) |
Definition at line 38 of file RetainCountChecker.cpp.
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkRegionChanges(), clang::ento::retaincountchecker::RetainCountChecker::handleSymbolDeath(), clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined(), and clang::ento::retaincountchecker::RetainCountChecker::updateSymbol().
ProgramStateRef clang::ento::retaincountchecker::setRefBinding | ( | ProgramStateRef | State, |
SymbolRef | Sym, | ||
RefVal | Val | ||
) |
Definition at line 32 of file RetainCountChecker.cpp.
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkBeginFunction(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::retaincountchecker::RetainCountChecker::checkReturnWithRetEffect(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), clang::ento::retaincountchecker::RetainCountChecker::handleAutoreleaseCounts(), clang::ento::retaincountchecker::RetainCountChecker::handleSymbolDeath(), clang::ento::retaincountchecker::RetainCountChecker::processObjCLiterals(), updateOutParameters(), and clang::ento::retaincountchecker::RetainCountChecker::updateSymbol().