Lines Matching refs:CallExpr
30 class GenericTaintChecker : public Checker< check::PostStmt<CallExpr>,
31 check::PreStmt<CallExpr> > {
35 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;
281 void GenericTaintChecker::checkPreStmt(const CallExpr *CE,
291 void GenericTaintChecker::checkPostStmt(const CallExpr *CE,
298 void GenericTaintChecker::addSourcesPre(const CallExpr *CE,
330 bool GenericTaintChecker::propagateFromPre(const CallExpr *CE,
371 void GenericTaintChecker::addSourcesPost(const CallExpr *CE,
403 bool GenericTaintChecker::checkPre(const CallExpr *CE, CheckerContext &C) const{
441 GenericTaintChecker::TaintPropagationRule::process(const CallExpr *CE,
511 ProgramStateRef GenericTaintChecker::preFscanf(const CallExpr *CE,
530 ProgramStateRef GenericTaintChecker::postSocket(const CallExpr *CE,
546 ProgramStateRef GenericTaintChecker::postScanf(const CallExpr *CE,
565 ProgramStateRef GenericTaintChecker::postRetTaint(const CallExpr *CE,
603 static bool getPrintfFormatArgumentNum(const CallExpr *CE,
653 bool GenericTaintChecker::checkUncontrolledFormatString(const CallExpr *CE,
667 bool GenericTaintChecker::checkSystemCall(const CallExpr *CE,
698 bool GenericTaintChecker::checkTaintedBufferSize(const CallExpr *CE,
