Lines Matching refs:GenericTaintChecker
41 class GenericTaintChecker : public Checker<check::PreCall, check::PostCall> { class
300 const unsigned GenericTaintChecker::ReturnValueIndex;
301 const unsigned GenericTaintChecker::InvalidArgIndex;
304 constexpr llvm::StringLiteral GenericTaintChecker::MsgUncontrolledFormatString;
305 constexpr llvm::StringLiteral GenericTaintChecker::MsgSanitizeSystemArgs;
306 constexpr llvm::StringLiteral GenericTaintChecker::MsgTaintedBufferSize;
307 constexpr llvm::StringLiteral GenericTaintChecker::MsgCustomSink;
310 using TaintConfig = GenericTaintChecker::TaintConfiguration;
332 GenericTaintChecker::VariadicType::None); in mapping()
334 GenericTaintChecker::InvalidArgIndex); in mapping()
338 template <> struct ScalarEnumerationTraits<GenericTaintChecker::VariadicType> {
339 static void enumeration(IO &IO, GenericTaintChecker::VariadicType &Value) { in enumeration()
340 IO.enumCase(Value, "None", GenericTaintChecker::VariadicType::None); in enumeration()
341 IO.enumCase(Value, "Src", GenericTaintChecker::VariadicType::Src); in enumeration()
342 IO.enumCase(Value, "Dst", GenericTaintChecker::VariadicType::Dst); in enumeration()
362 GenericTaintChecker::ArgVector in REGISTER_SET_WITH_PROGRAMSTATE()
363 GenericTaintChecker::convertToArgVector(CheckerManager &Mgr, in REGISTER_SET_WITH_PROGRAMSTATE()
381 void GenericTaintChecker::parseConfiguration(CheckerManager &Mgr, in parseConfiguration()
385 GenericTaintChecker::CustomPropagations.emplace( in parseConfiguration()
394 GenericTaintChecker::CustomFilters.emplace( in parseConfiguration()
400 GenericTaintChecker::CustomSinks.emplace( in parseConfiguration()
407 auto GenericTaintChecker::findFunctionInConfig(const ConfigDataMap<T> &Map, in findFunctionInConfig()
419 GenericTaintChecker::TaintPropagationRule
420 GenericTaintChecker::TaintPropagationRule::getTaintPropagationRule( in getTaintPropagationRule()
527 void GenericTaintChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
546 void GenericTaintChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
553 void GenericTaintChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
558 bool GenericTaintChecker::addSourcesPre(const CallEvent &Call, in addSourcesPre()
574 bool GenericTaintChecker::addFiltersPre(const CallEvent &Call, in addFiltersPre()
601 bool GenericTaintChecker::propagateFromPre(const CallEvent &Call, in propagateFromPre()
639 bool GenericTaintChecker::checkPre(const CallEvent &Call, in checkPre()
654 Optional<SVal> GenericTaintChecker::getPointeeOf(CheckerContext &C, in getPointeeOf()
680 GenericTaintChecker::TaintPropagationRule::process(const CallEvent &Call, in process()
748 bool GenericTaintChecker::TaintPropagationRule::postSocket( in postSocket()
759 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) { in isStdin()
818 bool GenericTaintChecker::generateReportIfTainted(const Expr *E, StringRef Msg, in generateReportIfTainted()
845 bool GenericTaintChecker::checkUncontrolledFormatString( in checkUncontrolledFormatString()
858 bool GenericTaintChecker::checkSystemCall(const CallEvent &Call, StringRef Name, in checkSystemCall()
885 bool GenericTaintChecker::checkTaintedBufferSize(const CallEvent &Call, in checkTaintedBufferSize()
925 bool GenericTaintChecker::checkCustomSinks(const CallEvent &Call, in checkCustomSinks()
933 const GenericTaintChecker::ArgVector &Args = Value.second; in checkCustomSinks()
946 auto *Checker = Mgr.registerChecker<GenericTaintChecker>(); in registerGenericTaintChecker()