Lines Matching refs:Summary
67 class Summary;
155 const Summary &Summary,
177 ProgramStateRef State, const Summary &Summary, in describe() argument
200 const Summary &Summary, in describeArgumentValue() argument
288 const Summary &Summary,
292 ProgramStateRef State, const Summary &Summary,
296 const Summary &Summary,
365 const Summary &Summary,
380 const Summary &Summary,
384 ProgramStateRef State, const Summary &Summary,
388 const Summary &Summary,
427 const Summary &Summary,
431 ProgramStateRef State, const Summary &Summary,
435 const Summary &Summary,
485 const Summary &Summary,
489 ProgramStateRef State, const Summary &Summary,
493 const Summary &Summary,
534 const Summary &Summary,
558 const Summary &Summary, in apply() argument
571 const Summary &Summary, in apply() argument
584 const Summary &Summary, in apply() argument
604 const Summary &Summary, in apply() argument
621 const Summary &Summary, in apply() argument
758 class Summary { class in __anon4d759d9c0111::StdLibraryFunctionsChecker
768 Summary(InvalidationKind InvalidationKd) : InvalidationKd(InvalidationKd) {} in Summary() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::Summary
770 Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC, in Case()
775 Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC, in Case()
780 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint()
823 using FunctionSummaryMapType = llvm::DenseMap<const FunctionDecl *, Summary>;
851 std::optional<Summary> findFunctionSummary(const FunctionDecl *FD,
853 std::optional<Summary> findFunctionSummary(const CallEvent &Call,
860 const Summary &Summary, CheckerContext &C) const { in reportBug() argument
870 NegatedVC->describeArgumentValue(Call, N->getState(), Summary, MsgOs); in reportBug()
875 VC->describe(ValueConstraint::Violation, Call, C.getState(), Summary, in reportBug()
1038 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
1042 QualType T = Summary.getArgType(getArgNo()); in apply()
1061 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1064 QualType T = Summary.getArgType(getArgNo()); in describe()
1090 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue() argument
1106 QualType T = Summary.getArgType(getArgNo()); in describeArgumentValue()
1133 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
1139 QualType T = Summary.getArgType(getArgNo()); in apply()
1145 QualType OtherT = Summary.getArgType(OtherArg); in apply()
1155 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
1170 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1180 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue() argument
1188 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
1218 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1228 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue() argument
1236 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
1243 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply()
1255 Summary.getArgType(*SizeArgN)); in apply()
1279 const Summary &Summary, llvm::raw_ostream &Out) const { in describe() argument
1297 const CallEvent &Call, ProgramStateRef State, const Summary &Summary, in describeArgumentValue() argument
1312 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPreCall()
1316 const Summary &Summary = *FoundSummary; in checkPreCall() local
1321 for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) { in checkPreCall()
1323 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall()
1325 NegatedConstraint->apply(NewState, Call, Summary, C); in checkPreCall()
1329 reportBug(Call, N, Constraint.get(), NegatedConstraint.get(), Summary, in checkPreCall()
1347 Constraint->describe(ValueConstraint::Assumption, Call, NewState, Summary, in checkPreCall()
1363 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPostCall()
1368 const Summary &Summary = *FoundSummary; in checkPostCall() local
1373 for (const SummaryCase &Case : Summary.getCases()) { in checkPostCall()
1376 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
1382 NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C); in checkPostCall()
1408 if (Summary.getInvalidationKd() == EvalCallAsPure) { in checkPostCall()
1468 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in evalCall()
1472 const Summary &Summary = *FoundSummary; in evalCall() local
1473 switch (Summary.getInvalidationKd()) { in evalCall()
1534 std::optional<StdLibraryFunctionsChecker::Summary>
1548 std::optional<StdLibraryFunctionsChecker::Summary>
1723 bool operator()(StringRef Name, Signature Sign, Summary Sum) { in initFunctionSummaries()
1749 void operator()(ArrayRef<StringRef> Names, Signature Sign, Summary Sum) { in initFunctionSummaries()
1832 Summary(EvalCallAsPure) in initFunctionSummaries()
1854 Summary(EvalCallAsPure) in initFunctionSummaries()
1868 Summary(EvalCallAsPure) in initFunctionSummaries()
1878 Summary(EvalCallAsPure) in initFunctionSummaries()
1888 Summary(EvalCallAsPure) in initFunctionSummaries()
1899 Summary(EvalCallAsPure) in initFunctionSummaries()
1908 Summary(EvalCallAsPure) in initFunctionSummaries()
1920 Summary(EvalCallAsPure) in initFunctionSummaries()
1940 Summary(EvalCallAsPure) in initFunctionSummaries()
1949 Summary(EvalCallAsPure) in initFunctionSummaries()
1963 Summary(EvalCallAsPure) in initFunctionSummaries()
1979 Summary(EvalCallAsPure) in initFunctionSummaries()
1996 Summary(EvalCallAsPure) in initFunctionSummaries()
2009 Summary(EvalCallAsPure) in initFunctionSummaries()
2015 Summary(EvalCallAsPure) in initFunctionSummaries()
2021 Summary(EvalCallAsPure) in initFunctionSummaries()
2028 Summary(NoEvalCall) in initFunctionSummaries()
2035 Summary(NoEvalCall) in initFunctionSummaries()
2073 Summary(NoEvalCall) in initFunctionSummaries()
2091 Summary(NoEvalCall) in initFunctionSummaries()
2119 Summary GetenvSummary = in initFunctionSummaries()
2120 Summary(NoEvalCall) in initFunctionSummaries()
2140 Summary(NoEvalCall) in initFunctionSummaries()
2173 Summary(NoEvalCall) in initFunctionSummaries()
2183 Summary(NoEvalCall) in initFunctionSummaries()
2192 Summary(NoEvalCall) in initFunctionSummaries()
2203 Summary(NoEvalCall) in initFunctionSummaries()
2214 Summary(NoEvalCall) in initFunctionSummaries()
2223 Summary(NoEvalCall) in initFunctionSummaries()
2231 Summary(NoEvalCall) in initFunctionSummaries()
2244 Summary(NoEvalCall) in initFunctionSummaries()
2256 Summary(NoEvalCall) in initFunctionSummaries()
2272 Summary(NoEvalCall) in initFunctionSummaries()
2287 Summary(NoEvalCall) in initFunctionSummaries()
2297 Summary(NoEvalCall) in initFunctionSummaries()
2319 Summary(NoEvalCall) in initFunctionSummaries()
2329 Summary(NoEvalCall) in initFunctionSummaries()
2343 Summary(NoEvalCall) in initFunctionSummaries()
2356 Summary(NoEvalCall) in initFunctionSummaries()
2365 Summary(NoEvalCall) in initFunctionSummaries()
2375 Summary(NoEvalCall) in initFunctionSummaries()
2384 Summary(NoEvalCall) in initFunctionSummaries()
2398 Summary(NoEvalCall) in initFunctionSummaries()
2406 Summary(NoEvalCall) in initFunctionSummaries()
2413 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2418 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2423 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2428 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2433 Summary(NoEvalCall) in initFunctionSummaries()
2440 Summary(NoEvalCall) in initFunctionSummaries()
2450 Summary(NoEvalCall) in initFunctionSummaries()
2460 Summary(NoEvalCall) in initFunctionSummaries()
2470 Summary(NoEvalCall) in initFunctionSummaries()
2479 Summary(NoEvalCall) in initFunctionSummaries()
2489 Summary(NoEvalCall) in initFunctionSummaries()
2500 Summary(NoEvalCall) in initFunctionSummaries()
2511 Summary(NoEvalCall) in initFunctionSummaries()
2518 Summary(NoEvalCall) in initFunctionSummaries()
2528 Summary(NoEvalCall) in initFunctionSummaries()
2537 Summary(NoEvalCall) in initFunctionSummaries()
2548 Summary(NoEvalCall) in initFunctionSummaries()
2558 Summary(NoEvalCall) in initFunctionSummaries()
2569 Summary(NoEvalCall) in initFunctionSummaries()
2578 Summary(NoEvalCall) in initFunctionSummaries()
2588 Summary(NoEvalCall) in initFunctionSummaries()
2597 Summary(NoEvalCall) in initFunctionSummaries()
2604 Summary(NoEvalCall) in initFunctionSummaries()
2612 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2618 Summary(NoEvalCall) in initFunctionSummaries()
2626 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2631 Summary(NoEvalCall) in initFunctionSummaries()
2640 Summary(NoEvalCall) in initFunctionSummaries()
2649 Summary(NoEvalCall) in initFunctionSummaries()
2668 Summary(NoEvalCall) in initFunctionSummaries()
2677 Summary(NoEvalCall) in initFunctionSummaries()
2689 Summary(NoEvalCall) in initFunctionSummaries()
2699 Summary(NoEvalCall) in initFunctionSummaries()
2708 Summary(NoEvalCall) in initFunctionSummaries()
2718 Summary(NoEvalCall) in initFunctionSummaries()
2727 Summary(NoEvalCall) in initFunctionSummaries()
2742 Summary(NoEvalCall) in initFunctionSummaries()
2752 Summary(NoEvalCall) in initFunctionSummaries()
2761 Summary(NoEvalCall) in initFunctionSummaries()
2769 Summary(NoEvalCall) in initFunctionSummaries()
2778 Summary(NoEvalCall) in initFunctionSummaries()
2786 Summary(NoEvalCall) in initFunctionSummaries()
2795 Summary(NoEvalCall) in initFunctionSummaries()
2807 Summary(NoEvalCall) in initFunctionSummaries()
2818 Summary(NoEvalCall) in initFunctionSummaries()
2827 Summary(NoEvalCall) in initFunctionSummaries()
2841 Summary(NoEvalCall) in initFunctionSummaries()
2852 Summary(NoEvalCall) in initFunctionSummaries()
2863 Summary(NoEvalCall) in initFunctionSummaries()
2876 Summary(NoEvalCall) in initFunctionSummaries()
2886 Summary(NoEvalCall) in initFunctionSummaries()
2894 Summary(NoEvalCall) in initFunctionSummaries()
2903 Summary(NoEvalCall) in initFunctionSummaries()
2912 Summary(NoEvalCall) in initFunctionSummaries()
2921 Summary(NoEvalCall) in initFunctionSummaries()
2928 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2933 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2938 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2943 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2952 Summary(NoEvalCall) in initFunctionSummaries()
2965 Summary(NoEvalCall) in initFunctionSummaries()
2973 Summary(NoEvalCall) in initFunctionSummaries()
2985 Summary(NoEvalCall) in initFunctionSummaries()
2997 Summary(NoEvalCall) in initFunctionSummaries()
3021 Summary(NoEvalCall) in initFunctionSummaries()
3045 Summary(NoEvalCall) in initFunctionSummaries()
3061 Summary(NoEvalCall) in initFunctionSummaries()
3072 Summary(NoEvalCall) in initFunctionSummaries()
3080 Summary(NoEvalCall) in initFunctionSummaries()
3089 Summary(NoEvalCall) in initFunctionSummaries()
3121 Summary(NoEvalCall) in initFunctionSummaries()
3127 Summary(NoEvalCall) in initFunctionSummaries()
3152 Summary(NoEvalCall) in initFunctionSummaries()
3166 Summary(NoEvalCall) in initFunctionSummaries()
3181 Summary(NoEvalCall) in initFunctionSummaries()
3192 Summary(NoEvalCall) in initFunctionSummaries()
3205 Summary(NoEvalCall) in initFunctionSummaries()
3216 Summary(NoEvalCall) in initFunctionSummaries()
3228 Summary(NoEvalCall) in initFunctionSummaries()
3237 Summary(NoEvalCall) in initFunctionSummaries()
3244 Summary(NoEvalCall) in initFunctionSummaries()
3274 Summary(NoEvalCall) in initFunctionSummaries()
3304 Summary(NoEvalCall) in initFunctionSummaries()
3315 Summary(NoEvalCall) in initFunctionSummaries()
3337 Summary(NoEvalCall) in initFunctionSummaries()
3349 Summary(NoEvalCall) in initFunctionSummaries()
3362 Summary(NoEvalCall) in initFunctionSummaries()
3379 Summary(NoEvalCall) in initFunctionSummaries()
3390 Summary(NoEvalCall) in initFunctionSummaries()
3406 Summary(NoEvalCall) in initFunctionSummaries()
3414 Summary(NoEvalCall) in initFunctionSummaries()
3433 Summary(NoEvalCall) in initFunctionSummaries()
3454 Summary(NoEvalCall) in initFunctionSummaries()
3469 Summary(NoEvalCall) in initFunctionSummaries()
3482 Summary(NoEvalCall) in initFunctionSummaries()
3496 Summary(NoEvalCall) in initFunctionSummaries()
3506 Summary(NoEvalCall) in initFunctionSummaries()
3530 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3538 Summary(NoEvalCall) in initFunctionSummaries()
3547 Summary(NoEvalCall) in initFunctionSummaries()
3557 Summary(NoEvalCall) in initFunctionSummaries()
3570 Summary(NoEvalCall) in initFunctionSummaries()
3577 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3585 Summary(NoEvalCall) in initFunctionSummaries()
3598 Summary(NoEvalCall) in initFunctionSummaries()
3638 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3649 Summary(NoEvalCall) in initFunctionSummaries()
3658 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3668 Summary(NoEvalCall) in initFunctionSummaries()
3677 Summary(NoEvalCall) in initFunctionSummaries()
3689 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3699 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3708 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3713 Summary(EvalCallAsPure) in initFunctionSummaries()
3719 Summary(EvalCallAsPure) in initFunctionSummaries()
3723 Summary(EvalCallAsPure) in initFunctionSummaries()
3727 Summary(EvalCallAsPure) in initFunctionSummaries()
3731 Summary(EvalCallAsPure) in initFunctionSummaries()
3735 Summary(EvalCallAsPure) in initFunctionSummaries()
3739 Summary(EvalCallAsPure) in initFunctionSummaries()
3743 Summary(EvalCallAsPure) in initFunctionSummaries()
3748 Summary(EvalCallAsPure) in initFunctionSummaries()
3753 Summary(EvalCallAsPure) in initFunctionSummaries()
3758 Summary(EvalCallAsPure) in initFunctionSummaries()
3763 Summary(EvalCallAsPure) in initFunctionSummaries()
3768 Summary(EvalCallAsPure) in initFunctionSummaries()
3773 Summary(EvalCallAsPure) in initFunctionSummaries()
3778 Summary(EvalCallAsPure) in initFunctionSummaries()
3785 Summary(EvalCallAsPure) in initFunctionSummaries()
3789 Summary(EvalCallAsPure) in initFunctionSummaries()
3793 Summary(EvalCallAsPure) in initFunctionSummaries()
3797 Summary(EvalCallAsPure) in initFunctionSummaries()
3801 Summary(EvalCallAsPure) in initFunctionSummaries()
3805 Summary(EvalCallAsPure) in initFunctionSummaries()
3809 Summary(EvalCallAsPure) in initFunctionSummaries()
3814 Summary(EvalCallAsPure) in initFunctionSummaries()
3819 Summary(EvalCallAsPure) in initFunctionSummaries()
3824 Summary(EvalCallAsPure) in initFunctionSummaries()
3829 Summary(EvalCallAsPure) in initFunctionSummaries()
3834 Summary(EvalCallAsPure) in initFunctionSummaries()
3839 Summary(EvalCallAsPure) in initFunctionSummaries()
3844 Summary(EvalCallAsPure) in initFunctionSummaries()
3851 Summary(EvalCallAsPure) in initFunctionSummaries()
3855 Summary(EvalCallAsPure) in initFunctionSummaries()
3861 Summary(EvalCallAsPure) in initFunctionSummaries()
3866 Summary(EvalCallAsPure) in initFunctionSummaries()
3872 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3876 Summary(EvalCallAsPure) in initFunctionSummaries()
3882 Summary(EvalCallAsPure) in initFunctionSummaries()
3888 Summary(EvalCallAsPure) in initFunctionSummaries()
3894 Summary(EvalCallAsPure) in initFunctionSummaries()
3901 Summary(EvalCallAsPure)); in initFunctionSummaries()
3906 Summary(EvalCallAsPure) in initFunctionSummaries()
3914 Summary(EvalCallAsPure) in initFunctionSummaries()