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, in checkPreStmt()
285 void GenericTaintChecker::checkPostStmt(const CallExpr *CE, in checkPostStmt()
292 void GenericTaintChecker::addSourcesPre(const CallExpr *CE, in addSourcesPre()
327 bool GenericTaintChecker::propagateFromPre(const CallExpr *CE, in propagateFromPre()
368 void GenericTaintChecker::addSourcesPost(const CallExpr *CE, in addSourcesPost()
404 bool GenericTaintChecker::checkPre(const CallExpr *CE, CheckerContext &C) const{ in checkPre()
445 GenericTaintChecker::TaintPropagationRule::process(const CallExpr *CE, in process()
515 ProgramStateRef GenericTaintChecker::preFscanf(const CallExpr *CE, in preFscanf()
534 ProgramStateRef GenericTaintChecker::postSocket(const CallExpr *CE, in postSocket()
550 ProgramStateRef GenericTaintChecker::postScanf(const CallExpr *CE, in postScanf()
568 ProgramStateRef GenericTaintChecker::postRetTaint(const CallExpr *CE, in postRetTaint()
606 static bool getPrintfFormatArgumentNum(const CallExpr *CE, in getPrintfFormatArgumentNum()
653 bool GenericTaintChecker::checkUncontrolledFormatString(const CallExpr *CE, in checkUncontrolledFormatString()
665 bool GenericTaintChecker::checkSystemCall(const CallExpr *CE, in checkSystemCall()
692 bool GenericTaintChecker::checkTaintedBufferSize(const CallExpr *CE, in checkTaintedBufferSize()