Searched refs:CallAndMessageChecker (Results 1 – 3 of 3) sorted by relevance
33 class CallAndMessageChecker class186 bool CallAndMessageChecker::uninitRefOrPointer( in uninitRefOrPointer()278 bool CallAndMessageChecker::PreVisitProcessArg(CheckerContext &C, in PreVisitProcessArg()368 ProgramStateRef CallAndMessageChecker::checkFunctionPointerCall( in checkFunctionPointerCall()406 ProgramStateRef CallAndMessageChecker::checkParameterCount( in checkParameterCount()442 ProgramStateRef CallAndMessageChecker::checkCXXMethodCall( in checkCXXMethodCall()509 ProgramStateRef CallAndMessageChecker::checkArgInitializedness( in checkArgInitializedness()540 void CallAndMessageChecker::checkPreCall(const CallEvent &Call, in checkPreCall()672 void CallAndMessageChecker::HandleNilReceiver(CheckerContext &C, in HandleNilReceiver()733 mgr.registerChecker<CallAndMessageChecker>(); in registerCallAndMessageModeling()[all …]
153 def CallAndMessageChecker : Checker<"CallAndMessage">,584 WeakDependencies<[CallAndMessageChecker, NonNullParamChecker]>,
617 SRCS_FUL+= StaticAnalyzer/Checkers/CallAndMessageChecker.cpp