Lines Matching refs:GenericTaintChecker
1 //== GenericTaintChecker.cpp ----------------------------------- -*- C++ -*--=//
41 class GenericTaintChecker : public Checker<check::PreCall, check::PostCall> {
297 const unsigned GenericTaintChecker::ReturnValueIndex;
298 const unsigned GenericTaintChecker::InvalidArgIndex;
301 constexpr llvm::StringLiteral GenericTaintChecker::MsgUncontrolledFormatString;
302 constexpr llvm::StringLiteral GenericTaintChecker::MsgSanitizeSystemArgs;
303 constexpr llvm::StringLiteral GenericTaintChecker::MsgTaintedBufferSize;
304 constexpr llvm::StringLiteral GenericTaintChecker::MsgCustomSink;
307 using TaintConfig = GenericTaintChecker::TaintConfiguration;
329 GenericTaintChecker::VariadicType::None);
331 GenericTaintChecker::InvalidArgIndex);
335 template <> struct ScalarEnumerationTraits<GenericTaintChecker::VariadicType> {
336 static void enumeration(IO &IO, GenericTaintChecker::VariadicType &Value) {
337 IO.enumCase(Value, "None", GenericTaintChecker::VariadicType::None);
338 IO.enumCase(Value, "Src", GenericTaintChecker::VariadicType::Src);
339 IO.enumCase(Value, "Dst", GenericTaintChecker::VariadicType::Dst);
359 GenericTaintChecker::ArgVector
360 GenericTaintChecker::convertToArgVector(CheckerManager &Mgr,
378 void GenericTaintChecker::parseConfiguration(CheckerManager &Mgr,
382 GenericTaintChecker::CustomPropagations.emplace(
391 GenericTaintChecker::CustomFilters.emplace(
397 GenericTaintChecker::CustomSinks.emplace(
404 auto GenericTaintChecker::findFunctionInConfig(const ConfigDataMap<T> &Map,
416 GenericTaintChecker::TaintPropagationRule
417 GenericTaintChecker::TaintPropagationRule::getTaintPropagationRule(
524 void GenericTaintChecker::checkPreCall(const CallEvent &Call,
543 void GenericTaintChecker::checkPostCall(const CallEvent &Call,
550 void GenericTaintChecker::printState(raw_ostream &Out, ProgramStateRef State,
555 bool GenericTaintChecker::addSourcesPre(const CallEvent &Call,
571 bool GenericTaintChecker::addFiltersPre(const CallEvent &Call,
598 bool GenericTaintChecker::propagateFromPre(const CallEvent &Call,
636 bool GenericTaintChecker::checkPre(const CallEvent &Call,
651 Optional<SVal> GenericTaintChecker::getPointeeOf(CheckerContext &C,
677 GenericTaintChecker::TaintPropagationRule::process(const CallEvent &Call,
745 bool GenericTaintChecker::TaintPropagationRule::postSocket(
756 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) {
815 bool GenericTaintChecker::generateReportIfTainted(const Expr *E, StringRef Msg,
842 bool GenericTaintChecker::checkUncontrolledFormatString(
855 bool GenericTaintChecker::checkSystemCall(const CallEvent &Call, StringRef Name,
882 bool GenericTaintChecker::checkTaintedBufferSize(const CallEvent &Call,
922 bool GenericTaintChecker::checkCustomSinks(const CallEvent &Call,
930 const GenericTaintChecker::ArgVector &Args = Value.second;
943 auto *Checker = Mgr.registerChecker<GenericTaintChecker>();