Lines Matching refs:CheckerContext

39   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
41 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
56 bool checkPre(const CallExpr *CE, CheckerContext &C) const;
59 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const;
62 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const;
65 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const;
69 static bool isStdin(const Expr *E, CheckerContext &C);
72 static Optional<SVal> getPointedToSVal(CheckerContext &C, const Expr *Arg);
76 const CallExpr *, CheckerContext &C) const;
77 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const;
78 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const;
79 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const;
82 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const;
87 CheckerContext &C) const;
94 CheckerContext &C) const;
100 CheckerContext &C) const;
104 CheckerContext &C) const;
145 CheckerContext &C);
159 CheckerContext &C) { in isTaintedOrPointsToTainted()
172 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
203 const FunctionDecl *FDecl, StringRef Name, CheckerContext &C) { in REGISTER_SET_WITH_PROGRAMSTATE()
279 CheckerContext &C) const { in checkPreStmt()
289 CheckerContext &C) const { in checkPostStmt()
296 CheckerContext &C) const { in addSourcesPre()
330 CheckerContext &C) const { in propagateFromPre()
372 CheckerContext &C) const { in addSourcesPost()
409 CheckerContext &C) const { in checkPre()
431 Optional<SVal> GenericTaintChecker::getPointedToSVal(CheckerContext &C, in getPointedToSVal()
458 CheckerContext &C) const { in process()
527 CheckerContext &C) const { in preFscanf()
545 CheckerContext &C) const { in postSocket()
561 CheckerContext &C) const { in postScanf()
579 CheckerContext &C) const { in postRetTaint()
583 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) { in isStdin()
619 const CheckerContext &C, in getPrintfFormatArgumentNum()
644 CheckerContext &C) const { in generateReportIfTainted()
671 const CallExpr *CE, CheckerContext &C) const { in checkUncontrolledFormatString()
684 CheckerContext &C) const { in checkSystemCall()
711 CheckerContext &C) const { in checkTaintedBufferSize()