Lines Matching refs:NullabilityChecker

81 class NullabilityChecker  class
274 NullabilityChecker::getTrackRegion(SVal Val, bool CheckSuperRegion) const {  in getTrackRegion()
295 NullabilityChecker::NullabilityBugVisitor::VisitNode(const ExplodedNode *N,  in VisitNode()
436 void NullabilityChecker::reportBugIfInvariantHolds(StringRef Msg,  in reportBugIfInvariantHolds()
452 void NullabilityChecker::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
477 void NullabilityChecker::checkEvent(ImplicitNullDerefEvent Event) const {  in checkEvent()
525 void NullabilityChecker::checkPreStmt(const ReturnStmt *S,  in checkPreStmt()
643 void NullabilityChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
745 void NullabilityChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()
819 void NullabilityChecker::checkPostObjCMessage(const ObjCMethodCall &M,  in checkPostObjCMessage()
934 void NullabilityChecker::checkPostStmt(const ExplicitCastExpr *CE,  in checkPostStmt()
1056 void NullabilityChecker::checkBind(SVal L, SVal V, const Stmt *S,  in checkBind()
1173 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
1197     NullabilityChecker *checker = mgr.registerChecker<NullabilityChecker>();   \