clang
8.0.0
|
#include "RetainCountChecker.h"
Go to the source code of this file.
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
clang::ento::retaincountchecker | |
|
static |
GetReturnType - Used to get the return type of a message expression or function call with the intention of affixing that type to a tracked symbol.
While the return type can be queried directly from RetEx, when invoking class methods we augment to the return type to be that of a pointer to the class (as opposed it just being id).
more specific than id.
Definition at line 438 of file RetainCountChecker.cpp.
References clang::Type::getAs(), clang::ASTContext::getObjCInterfaceType(), clang::ASTContext::getObjCObjectPointerType(), and clang::Expr::getType().
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkSummary().
|
static |
Definition at line 1536 of file RetainCountChecker.cpp.
Definition at line 1377 of file RetainCountChecker.cpp.
References clang::QualType::getAsString().
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkBeginFunction().
Definition at line 470 of file RetainCountChecker.cpp.
References clang::Type::getAsCXXRecordDecl(), clang::Type::getPointeeType(), and clang::QualType::isNull().
Referenced by shouldEscapeOSArgumentOnCall().
Definition at line 459 of file RetainCountChecker.cpp.
References clang::ento::RetEffect::getObjKind(), clang::ento::RetEffect::isOwned(), clang::ento::retaincountchecker::RefVal::makeNotOwned(), clang::ento::retaincountchecker::RefVal::makeOwned(), and clang::ento::RetEffect::notOwned().
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkSummary().
|
static |
Whether the tracked value should be escaped on a given call.
OSObjects are escaped when passed to void * / etc.
Definition at line 480 of file RetainCountChecker.cpp.
References isPointerToObject(), clang::ento::OS, and clang::ento::CallEvent::parameters().
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), and clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined().
Definition at line 532 of file RetainCountChecker.cpp.
References clang::ento::MemRegion::hasStackStorage().
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkBind(), and updateOutParameters().
|
static |
Definition at line 541 of file RetainCountChecker.cpp.
References clang::ento::CallEvent::getArgSVal(), clang::ento::SVal::getAs(), clang::ento::SVal::getAsLocSymbol(), clang::ento::SVal::getAsRegion(), clang::ento::ArgEffect::getKind(), clang::ento::CallEvent::getNumArgs(), clang::ento::ArgEffect::getObjKind(), clang::ento::CallEvent::getReturnValue(), clang::ento::retaincountchecker::RefVal::makeNotOwned(), clang::ento::retaincountchecker::RefVal::makeOwned(), clang::ento::OS, P, clang::ento::RetainedOutParameter, clang::ento::RetainedOutParameterOnNonZero, clang::ento::RetainedOutParameterOnZero, clang::ento::retaincountchecker::setRefBinding(), shouldEscapeRegion(), State, and clang::ento::UnretainedOutParameter.
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkSummary().