Lines Matching refs:Summary
65 class Summary;
111 const Summary &Summary,
150 const Summary &Summary) const { in describe()
188 const Summary &Summary) const override;
195 const Summary &Summary) const;
198 const Summary &Summary) const;
202 const Summary &Summary, in apply() argument
206 return applyAsOutOfRange(State, Call, Summary); in apply()
208 return applyAsWithinRange(State, Call, Summary); in apply()
247 const Summary &Summary,
260 const Summary &Summary) const override;
263 const Summary &Summary, in apply() argument
332 const Summary &Summary) const override;
335 const Summary &Summary, in apply() argument
342 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply()
354 Summary.getArgType(*SizeArgN)); in apply()
404 const Summary &Summary,
430 const Summary &Summary, in apply() argument
443 const Summary &Summary, in apply() argument
456 const Summary &Summary, in apply() argument
475 const Summary &Summary, in apply() argument
489 const Summary &Summary, in apply() argument
627 class Summary { class in __anon037bb7980111::StdLibraryFunctionsChecker
637 Summary(InvalidationKind InvalidationKd) : InvalidationKd(InvalidationKd) {} in Summary() function in __anon037bb7980111::StdLibraryFunctionsChecker::Summary
639 Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC, in Case()
644 Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC, in Case()
649 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint()
692 using FunctionSummaryMapType = llvm::DenseMap<const FunctionDecl *, Summary>;
720 std::optional<Summary> findFunctionSummary(const FunctionDecl *FD,
722 std::optional<Summary> findFunctionSummary(const CallEvent &Call,
728 const ValueConstraint *VC, const Summary &Summary, in reportBug() argument
750 ValueConstraint::DescriptionKind::Violation, C.getState(), Summary); in reportBug()
784 DescriptionKind DK, ProgramStateRef State, const Summary &Summary) const { in describe()
794 DescriptionKind DK, ProgramStateRef State, const Summary &Summary) const { in describe()
798 QualType T = Summary.getArgType(getArgNo()); in describe()
840 DescriptionKind DK, ProgramStateRef State, const Summary &Summary) const { in describe()
862 const Summary &Summary) const { in applyAsOutOfRange()
870 QualType T = Summary.getArgType(getArgNo()); in applyAsOutOfRange()
891 const Summary &Summary) const { in applyAsWithinRange()
899 QualType T = Summary.getArgType(getArgNo()); in applyAsWithinRange()
949 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
955 QualType T = Summary.getArgType(getArgNo()); in apply()
961 QualType OtherT = Summary.getArgType(OtherArg); in apply()
972 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPreCall()
976 const Summary &Summary = *FoundSummary; in checkPreCall() local
981 for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) { in checkPreCall()
982 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall()
984 Constraint->negate()->apply(NewState, Call, Summary, C); in checkPreCall()
988 reportBug(Call, N, Constraint.get(), Summary, C); in checkPreCall()
1001 NewState, Summary); in checkPreCall()
1016 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPostCall()
1021 const Summary &Summary = *FoundSummary; in checkPostCall() local
1026 for (const SummaryCase &Case : Summary.getCases()) { in checkPostCall()
1029 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
1035 NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C); in checkPostCall()
1071 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in evalCall()
1075 const Summary &Summary = *FoundSummary; in evalCall() local
1076 switch (Summary.getInvalidationKd()) { in evalCall()
1138 std::optional<StdLibraryFunctionsChecker::Summary>
1152 std::optional<StdLibraryFunctionsChecker::Summary>
1328 bool operator()(StringRef Name, Signature Sign, Summary Sum) { in initFunctionSummaries()
1354 void operator()(std::vector<StringRef> Names, Signature Sign, Summary Sum) { in initFunctionSummaries()
1429 Summary(EvalCallAsPure) in initFunctionSummaries()
1450 Summary(EvalCallAsPure) in initFunctionSummaries()
1464 Summary(EvalCallAsPure) in initFunctionSummaries()
1474 Summary(EvalCallAsPure) in initFunctionSummaries()
1484 Summary(EvalCallAsPure) in initFunctionSummaries()
1495 Summary(EvalCallAsPure) in initFunctionSummaries()
1504 Summary(EvalCallAsPure) in initFunctionSummaries()
1516 Summary(EvalCallAsPure) in initFunctionSummaries()
1536 Summary(EvalCallAsPure) in initFunctionSummaries()
1545 Summary(EvalCallAsPure) in initFunctionSummaries()
1559 Summary(EvalCallAsPure) in initFunctionSummaries()
1575 Summary(EvalCallAsPure) in initFunctionSummaries()
1592 Summary(EvalCallAsPure) in initFunctionSummaries()
1605 Summary(EvalCallAsPure) in initFunctionSummaries()
1610 Summary(EvalCallAsPure) in initFunctionSummaries()
1615 Summary(EvalCallAsPure) in initFunctionSummaries()
1622 Summary(NoEvalCall) in initFunctionSummaries()
1628 Summary(NoEvalCall) in initFunctionSummaries()
1635 Summary(NoEvalCall) in initFunctionSummaries()
1675 Summary(NoEvalCall) in initFunctionSummaries()
1693 Summary(NoEvalCall) in initFunctionSummaries()
1721 Summary GetenvSummary = in initFunctionSummaries()
1722 Summary(NoEvalCall) in initFunctionSummaries()
1757 Summary(NoEvalCall) in initFunctionSummaries()
1766 Summary(NoEvalCall) in initFunctionSummaries()
1777 Summary(NoEvalCall) in initFunctionSummaries()
1787 Summary(NoEvalCall) in initFunctionSummaries()
1799 Summary(NoEvalCall) in initFunctionSummaries()
1813 Summary(NoEvalCall) in initFunctionSummaries()
1826 Summary(NoEvalCall) in initFunctionSummaries()
1838 Summary(NoEvalCall) in initFunctionSummaries()
1847 Summary(NoEvalCall) in initFunctionSummaries()
1856 Summary(NoEvalCall) in initFunctionSummaries()
1863 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1868 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1873 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1878 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1883 Summary(NoEvalCall) in initFunctionSummaries()
1890 Summary(NoEvalCall) in initFunctionSummaries()
1900 Summary(NoEvalCall) in initFunctionSummaries()
1908 Summary(NoEvalCall) in initFunctionSummaries()
1917 Summary(NoEvalCall) in initFunctionSummaries()
1927 Summary(NoEvalCall) in initFunctionSummaries()
1938 Summary(NoEvalCall) in initFunctionSummaries()
1944 Summary(NoEvalCall) in initFunctionSummaries()
1956 Summary(NoEvalCall) in initFunctionSummaries()
1965 Summary(NoEvalCall) in initFunctionSummaries()
1976 Summary(NoEvalCall) in initFunctionSummaries()
1986 Summary(NoEvalCall) in initFunctionSummaries()
1997 Summary(NoEvalCall) in initFunctionSummaries()
2005 Summary(NoEvalCall) in initFunctionSummaries()
2015 Summary(NoEvalCall) in initFunctionSummaries()
2023 Summary(NoEvalCall) in initFunctionSummaries()
2030 Summary(NoEvalCall) in initFunctionSummaries()
2038 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2044 Summary(NoEvalCall) in initFunctionSummaries()
2052 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2057 Summary(NoEvalCall) in initFunctionSummaries()
2066 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2072 Summary(NoEvalCall) in initFunctionSummaries()
2079 Summary(NoEvalCall) in initFunctionSummaries()
2088 Summary(NoEvalCall) in initFunctionSummaries()
2099 Summary(NoEvalCall) in initFunctionSummaries()
2109 Summary(NoEvalCall) in initFunctionSummaries()
2117 Summary(NoEvalCall) in initFunctionSummaries()
2127 Summary(NoEvalCall) in initFunctionSummaries()
2136 Summary(NoEvalCall) in initFunctionSummaries()
2151 Summary(NoEvalCall) in initFunctionSummaries()
2161 Summary(NoEvalCall) in initFunctionSummaries()
2170 Summary(NoEvalCall) in initFunctionSummaries()
2178 Summary(NoEvalCall) in initFunctionSummaries()
2187 Summary(NoEvalCall) in initFunctionSummaries()
2195 Summary(NoEvalCall) in initFunctionSummaries()
2204 Summary(NoEvalCall) in initFunctionSummaries()
2216 Summary(NoEvalCall) in initFunctionSummaries()
2227 Summary(NoEvalCall) in initFunctionSummaries()
2236 Summary(NoEvalCall) in initFunctionSummaries()
2250 Summary(NoEvalCall) in initFunctionSummaries()
2261 Summary(NoEvalCall) in initFunctionSummaries()
2272 Summary(NoEvalCall) in initFunctionSummaries()
2285 Summary(NoEvalCall) in initFunctionSummaries()
2296 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2302 Summary(NoEvalCall) in initFunctionSummaries()
2309 Summary(NoEvalCall) in initFunctionSummaries()
2320 Summary(NoEvalCall) in initFunctionSummaries()
2328 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2332 Summary(NoEvalCall) in initFunctionSummaries()
2341 Summary(NoEvalCall) in initFunctionSummaries()
2348 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2355 Summary(NoEvalCall) in initFunctionSummaries()
2362 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2367 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2372 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2378 Summary(NoEvalCall) in initFunctionSummaries()
2385 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2394 Summary(NoEvalCall) in initFunctionSummaries()
2407 Summary(NoEvalCall) in initFunctionSummaries()
2415 Summary(NoEvalCall) in initFunctionSummaries()
2427 Summary(NoEvalCall) in initFunctionSummaries()
2439 Summary(NoEvalCall) in initFunctionSummaries()
2458 Summary(NoEvalCall) in initFunctionSummaries()
2477 Summary(NoEvalCall) in initFunctionSummaries()
2490 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2498 Summary(NoEvalCall) in initFunctionSummaries()
2507 Summary(NoEvalCall) in initFunctionSummaries()
2517 Summary(NoEvalCall) in initFunctionSummaries()
2546 Summary(NoEvalCall) in initFunctionSummaries()
2570 Summary(NoEvalCall) in initFunctionSummaries()
2584 Summary(NoEvalCall) in initFunctionSummaries()
2599 Summary(NoEvalCall) in initFunctionSummaries()
2610 Summary(NoEvalCall) in initFunctionSummaries()
2623 Summary(NoEvalCall) in initFunctionSummaries()
2634 Summary(NoEvalCall) in initFunctionSummaries()
2646 Summary(NoEvalCall) in initFunctionSummaries()
2655 Summary(NoEvalCall) in initFunctionSummaries()
2662 Summary(NoEvalCall) in initFunctionSummaries()
2689 Summary(NoEvalCall) in initFunctionSummaries()
2716 Summary(NoEvalCall) in initFunctionSummaries()
2727 Summary(NoEvalCall) in initFunctionSummaries()
2746 Summary(NoEvalCall) in initFunctionSummaries()
2758 Summary(NoEvalCall) in initFunctionSummaries()
2771 Summary(NoEvalCall) in initFunctionSummaries()
2788 Summary(NoEvalCall) in initFunctionSummaries()
2799 Summary(NoEvalCall) in initFunctionSummaries()
2812 Summary(NoEvalCall) in initFunctionSummaries()
2830 Summary(NoEvalCall) in initFunctionSummaries()
2851 Summary(NoEvalCall) in initFunctionSummaries()
2866 Summary(NoEvalCall) in initFunctionSummaries()
2878 Summary(NoEvalCall) in initFunctionSummaries()
2892 Summary(NoEvalCall) in initFunctionSummaries()
2902 Summary(NoEvalCall) in initFunctionSummaries()
2926 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2934 Summary(NoEvalCall) in initFunctionSummaries()
2943 Summary(NoEvalCall) in initFunctionSummaries()
2953 Summary(NoEvalCall) in initFunctionSummaries()
2966 Summary(NoEvalCall) in initFunctionSummaries()
2973 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2981 Summary(NoEvalCall) in initFunctionSummaries()
2994 Summary(NoEvalCall) in initFunctionSummaries()
3034 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3045 Summary(NoEvalCall) in initFunctionSummaries()
3054 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3064 Summary(NoEvalCall) in initFunctionSummaries()
3073 Summary(NoEvalCall) in initFunctionSummaries()
3085 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3095 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3102 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3107 Summary(EvalCallAsPure) in initFunctionSummaries()
3111 Summary(EvalCallAsPure) in initFunctionSummaries()
3115 Summary(EvalCallAsPure) in initFunctionSummaries()
3119 Summary(EvalCallAsPure) in initFunctionSummaries()
3126 Summary(EvalCallAsPure) in initFunctionSummaries()
3130 Summary(EvalCallAsPure) in initFunctionSummaries()
3136 Summary(EvalCallAsPure) in initFunctionSummaries()
3141 Summary(EvalCallAsPure) in initFunctionSummaries()
3147 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3151 Summary(EvalCallAsPure) in initFunctionSummaries()
3157 Summary(EvalCallAsPure) in initFunctionSummaries()
3163 Summary(EvalCallAsPure) in initFunctionSummaries()
3169 Summary(EvalCallAsPure) in initFunctionSummaries()
3176 Summary(EvalCallAsPure)); in initFunctionSummaries()
3181 Summary(EvalCallAsPure) in initFunctionSummaries()