Searched refs:CallAndMessageChecker (Results 1 – 4 of 4) sorted by relevance
33 class CallAndMessageChecker class187 bool CallAndMessageChecker::uninitRefOrPointer( in uninitRefOrPointer()279 bool CallAndMessageChecker::PreVisitProcessArg(CheckerContext &C, in PreVisitProcessArg()369 ProgramStateRef CallAndMessageChecker::checkFunctionPointerCall( in checkFunctionPointerCall()407 ProgramStateRef CallAndMessageChecker::checkParameterCount( in checkParameterCount()443 ProgramStateRef CallAndMessageChecker::checkCXXMethodCall( in checkCXXMethodCall()510 ProgramStateRef CallAndMessageChecker::checkArgInitializedness( in checkArgInitializedness()541 void CallAndMessageChecker::checkPreCall(const CallEvent &Call, in checkPreCall()673 void CallAndMessageChecker::HandleNilReceiver(CheckerContext &C, in HandleNilReceiver()734 mgr.registerChecker<CallAndMessageChecker>(); in registerCallAndMessageModeling()[all …]
17 CallAndMessageChecker.cpp
27 "CallAndMessageChecker.cpp",
137 def CallAndMessageChecker : Checker<"CallAndMessage">,587 WeakDependencies<[CallAndMessageChecker, NonNullParamChecker, StreamChecker]>,