Lines Matching refs:CheckerContext
48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
49 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
115 const CheckerContext &C) { in create()
144 CheckerContext &C) const;
148 CheckerContext &C) const;
153 CheckerContext &C) const;
156 static bool propagateFromPre(const CallEvent &Call, CheckerContext &C);
160 static bool isStdin(const Expr *E, CheckerContext &C);
163 static Optional<SVal> getPointeeOf(CheckerContext &C, const Expr *Arg);
170 CheckerContext &C) const;
179 CheckerContext &C) const;
187 bool checkTaintedBufferSize(const CallEvent &Call, CheckerContext &C) const;
193 CheckerContext &C) const;
197 CheckerContext &C) const;
223 CheckerContext &C);
252 const FunctionData &FData, CheckerContext &C);
268 CheckerContext &C) { in isTaintedOrPointsToTainted()
281 ProgramStateRef process(const CallEvent &Call, CheckerContext &C) const;
285 CheckerContext &C);
422 CheckerContext &C) { in getTaintPropagationRule()
502 0, (ret |= CheckerContext::isCLibraryFunction(FDecl, Name), 0)...}); in getTaintPropagationRule()
528 CheckerContext &C) const { in checkPreCall()
547 CheckerContext &C) const { in checkPostCall()
560 CheckerContext &C) const { in addSourcesPre()
576 CheckerContext &C) const { in addFiltersPre()
602 CheckerContext &C) { in propagateFromPre()
641 CheckerContext &C) const { in checkPre()
654 Optional<SVal> GenericTaintChecker::getPointeeOf(CheckerContext &C, in getPointeeOf()
681 CheckerContext &C) const { in process()
749 bool /*IsTainted*/, const CallEvent &Call, CheckerContext &C) { in postSocket()
759 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) { in isStdin()
794 const CheckerContext &C, in getPrintfFormatArgumentNum()
819 CheckerContext &C) const { in generateReportIfTainted()
846 const CallEvent &Call, CheckerContext &C) const { in checkUncontrolledFormatString()
859 CheckerContext &C) const { in checkSystemCall()
886 CheckerContext &C) const { in checkTaintedBufferSize()
907 using CCtx = CheckerContext; in checkTaintedBufferSize()
927 CheckerContext &C) const { in checkCustomSinks()