Lines Matching refs:GenericTaintChecker
31 class GenericTaintChecker class
75 typedef ProgramStateRef (GenericTaintChecker::*FnCheck)(
176 const unsigned GenericTaintChecker::ReturnValueIndex;
177 const unsigned GenericTaintChecker::InvalidArgIndex;
179 const char GenericTaintChecker::MsgUncontrolledFormatString[] =
183 const char GenericTaintChecker::MsgSanitizeSystemArgs[] =
187 const char GenericTaintChecker::MsgTaintedBufferSize[] =
201 GenericTaintChecker::TaintPropagationRule in REGISTER_SET_WITH_PROGRAMSTATE()
202 GenericTaintChecker::TaintPropagationRule::getTaintPropagationRule( in REGISTER_SET_WITH_PROGRAMSTATE()
278 void GenericTaintChecker::checkPreStmt(const CallExpr *CE, in checkPreStmt()
288 void GenericTaintChecker::checkPostStmt(const CallExpr *CE, in checkPostStmt()
295 void GenericTaintChecker::addSourcesPre(const CallExpr *CE, in addSourcesPre()
319 .Case("fscanf", &GenericTaintChecker::preFscanf) in addSourcesPre()
329 bool GenericTaintChecker::propagateFromPre(const CallExpr *CE, in propagateFromPre()
371 void GenericTaintChecker::addSourcesPost(const CallExpr *CE, in addSourcesPost()
384 .Case("scanf", &GenericTaintChecker::postScanf) in addSourcesPost()
386 .Case("getchar", &GenericTaintChecker::postRetTaint) in addSourcesPost()
387 .Case("getchar_unlocked", &GenericTaintChecker::postRetTaint) in addSourcesPost()
388 .Case("getenv", &GenericTaintChecker::postRetTaint) in addSourcesPost()
389 .Case("fopen", &GenericTaintChecker::postRetTaint) in addSourcesPost()
390 .Case("fdopen", &GenericTaintChecker::postRetTaint) in addSourcesPost()
391 .Case("freopen", &GenericTaintChecker::postRetTaint) in addSourcesPost()
392 .Case("getch", &GenericTaintChecker::postRetTaint) in addSourcesPost()
393 .Case("wgetch", &GenericTaintChecker::postRetTaint) in addSourcesPost()
394 .Case("socket", &GenericTaintChecker::postSocket) in addSourcesPost()
408 bool GenericTaintChecker::checkPre(const CallExpr *CE, in checkPre()
431 Optional<SVal> GenericTaintChecker::getPointedToSVal(CheckerContext &C, in getPointedToSVal()
457 GenericTaintChecker::TaintPropagationRule::process(const CallExpr *CE, in process()
526 ProgramStateRef GenericTaintChecker::preFscanf(const CallExpr *CE, in preFscanf()
544 ProgramStateRef GenericTaintChecker::postSocket(const CallExpr *CE, in postSocket()
560 ProgramStateRef GenericTaintChecker::postScanf(const CallExpr *CE, in postScanf()
578 ProgramStateRef GenericTaintChecker::postRetTaint(const CallExpr *CE, in postRetTaint()
583 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) { in isStdin()
642 bool GenericTaintChecker::generateReportIfTainted(const Expr *E, in generateReportIfTainted()
670 bool GenericTaintChecker::checkUncontrolledFormatString( in checkUncontrolledFormatString()
683 bool GenericTaintChecker::checkSystemCall(const CallExpr *CE, StringRef Name, in checkSystemCall()
709 bool GenericTaintChecker::checkTaintedBufferSize(const CallExpr *CE, in checkTaintedBufferSize()
747 mgr.registerChecker<GenericTaintChecker>(); in registerGenericTaintChecker()