Lines Matching refs:CheckerContext

36   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
38 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
53 bool checkPre(const CallExpr *CE, CheckerContext &C) const;
56 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const;
59 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const;
62 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const;
66 static bool isStdin(const Expr *E, CheckerContext &C);
70 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg);
74 CheckerContext &C) const;
75 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const;
76 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const;
77 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const;
80 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const;
85 CheckerContext &C) const;
92 CheckerContext &C) const;
98 CheckerContext &C) const;
102 CheckerContext &C) const;
146 CheckerContext &C);
160 CheckerContext &C) { in isTaintedOrPointsToTainted()
168 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
201 CheckerContext &C) { in REGISTER_SET_WITH_PROGRAMSTATE()
276 CheckerContext &C) const { in checkPreStmt()
286 CheckerContext &C) const { in checkPostStmt()
293 CheckerContext &C) const { in addSourcesPre()
328 CheckerContext &C) const { in propagateFromPre()
369 CheckerContext &C) const { in addSourcesPost()
404 bool GenericTaintChecker::checkPre(const CallExpr *CE, CheckerContext &C) const{ in checkPre()
426 SymbolRef GenericTaintChecker::getPointedToSymbol(CheckerContext &C, in getPointedToSymbol()
446 CheckerContext &C) const { in process()
516 CheckerContext &C) const { in preFscanf()
535 CheckerContext &C) const { in postSocket()
551 CheckerContext &C) const { in postScanf()
569 CheckerContext &C) const { in postRetTaint()
573 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) { in isStdin()
607 const CheckerContext &C, in getPrintfFormatArgumentNum()
633 CheckerContext &C) const { in generateReportIfTainted()
654 CheckerContext &C) const{ in checkUncontrolledFormatString()
667 CheckerContext &C) const { in checkSystemCall()
694 CheckerContext &C) const { in checkTaintedBufferSize()