Lines Matching refs:StdLibraryFunctionsChecker
74 class StdLibraryFunctionsChecker class
662 return StdLibraryFunctionsChecker::getArgType(FD, ArgN); in getArgType()
767 int StdLibraryFunctionsChecker::ErrnoConstraintBase::Tag = 0;
769 const StdLibraryFunctionsChecker::ArgNo StdLibraryFunctionsChecker::Ret =
780 std::string StdLibraryFunctionsChecker::NotNullConstraint::describe( in describe()
789 std::string StdLibraryFunctionsChecker::RangeConstraint::describe( in describe()
826 StdLibraryFunctionsChecker::getArgDesc(StdLibraryFunctionsChecker::ArgNo ArgN) { in getArgDesc()
834 std::string StdLibraryFunctionsChecker::BufferSizeConstraint::describe( in describe()
853 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::applyAsOutOfRange( in applyAsOutOfRange()
882 ProgramStateRef StdLibraryFunctionsChecker::RangeConstraint::applyAsWithinRange( in applyAsWithinRange()
941 ProgramStateRef StdLibraryFunctionsChecker::ComparisonConstraint::apply( in apply()
963 void StdLibraryFunctionsChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
995 void StdLibraryFunctionsChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
1043 bool StdLibraryFunctionsChecker::evalCall(const CallEvent &Call, in evalCall()
1071 bool StdLibraryFunctionsChecker::Signature::matches( in matches()
1112 Optional<StdLibraryFunctionsChecker::Summary>
1113 StdLibraryFunctionsChecker::findFunctionSummary(const FunctionDecl *FD, in findFunctionSummary()
1126 Optional<StdLibraryFunctionsChecker::Summary>
1127 StdLibraryFunctionsChecker::findFunctionSummary(const CallEvent &Call, in findFunctionSummary()
1135 void StdLibraryFunctionsChecker::initFunctionSummaries( in initFunctionSummaries()
3005 auto *Checker = mgr.registerChecker<StdLibraryFunctionsChecker>(); in registerStdCLibraryFunctionsChecker()
3021 StdLibraryFunctionsChecker *checker = \
3022 mgr.getChecker<StdLibraryFunctionsChecker>(); \
3023 checker->ChecksEnabled[StdLibraryFunctionsChecker::CK_##name] = true; \
3024 checker->CheckNames[StdLibraryFunctionsChecker::CK_##name] = \