StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp

1 //== ObjCSelfInitChecker.cpp - Checker for 'self' initialization -*- C++ -*--=//
9 // This defines ObjCSelfInitChecker, a builtin check that checks for uses of
57 class ObjCSelfInitChecker : public Checker<  check::PostObjCMessage,
70   ObjCSelfInitChecker() {}
144 void ObjCSelfInitChecker::checkForInvalidSelf(const Expr *E, CheckerContext &C,
166 void ObjCSelfInitChecker::checkPostObjCMessage(const ObjCMethodCall &Msg,
197 void ObjCSelfInitChecker::checkPostStmt(const ObjCIvarRefExpr *E,
210 void ObjCSelfInitChecker::checkPreStmt(const ReturnStmt *S,
238 void ObjCSelfInitChecker::checkPreCall(const CallEvent &CE,
267 void ObjCSelfInitChecker::checkPostCall(const CallEvent &CE,
302 void ObjCSelfInitChecker::checkLocation(SVal location, bool isLoad,
318 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S,
339 void ObjCSelfInitChecker::printState(raw_ostream &Out, ProgramStateRef State,
439   mgr.registerChecker<ObjCSelfInitChecker>();