Searched refs:CallAndMessageChecker (Results 1 – 3 of 3) 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 …]
136 def CallAndMessageChecker : Checker<"CallAndMessage">,543 WeakDependencies<[CallAndMessageChecker, NonNullParamChecker, StreamChecker]>,
545 SRCS_FUL+= StaticAnalyzer/Checkers/CallAndMessageChecker.cpp