Lines Matching refs:CallExpr
31 class GenericTaintChecker : public Checker< check::PostStmt<CallExpr>,
32 check::PreStmt<CallExpr> > {
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;
73 typedef ProgramStateRef (GenericTaintChecker::*FnCheck)(const CallExpr *,
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;
84 bool checkUncontrolledFormatString(const CallExpr *CE,
91 bool checkSystemCall(const CallExpr *CE, StringRef Name,
97 bool checkTaintedBufferSize(const CallExpr *CE, const FunctionDecl *FDecl,
168 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
275 void GenericTaintChecker::checkPreStmt(const CallExpr *CE,
285 void GenericTaintChecker::checkPostStmt(const CallExpr *CE,
292 void GenericTaintChecker::addSourcesPre(const CallExpr *CE,
327 bool GenericTaintChecker::propagateFromPre(const CallExpr *CE,
368 void GenericTaintChecker::addSourcesPost(const CallExpr *CE,
404 bool GenericTaintChecker::checkPre(const CallExpr *CE, CheckerContext &C) const{
445 GenericTaintChecker::TaintPropagationRule::process(const CallExpr *CE,
515 ProgramStateRef GenericTaintChecker::preFscanf(const CallExpr *CE,
534 ProgramStateRef GenericTaintChecker::postSocket(const CallExpr *CE,
550 ProgramStateRef GenericTaintChecker::postScanf(const CallExpr *CE,
568 ProgramStateRef GenericTaintChecker::postRetTaint(const CallExpr *CE,
606 static bool getPrintfFormatArgumentNum(const CallExpr *CE,
653 bool GenericTaintChecker::checkUncontrolledFormatString(const CallExpr *CE,
665 bool GenericTaintChecker::checkSystemCall(const CallExpr *CE,
692 bool GenericTaintChecker::checkTaintedBufferSize(const CallExpr *CE,
