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 __anon892b0c920111::StdLibraryFunctionsChecker
768 Summary(InvalidationKind InvalidationKd) : InvalidationKd(InvalidationKd) {} in Summary() function in __anon892b0c920111::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()(std::vector<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()
2029 Summary(NoEvalCall) in initFunctionSummaries()
2035 Summary(NoEvalCall) in initFunctionSummaries()
2042 Summary(NoEvalCall) in initFunctionSummaries()
2080 Summary(NoEvalCall) in initFunctionSummaries()
2098 Summary(NoEvalCall) in initFunctionSummaries()
2126 Summary GetenvSummary = in initFunctionSummaries()
2127 Summary(NoEvalCall) in initFunctionSummaries()
2170 Summary(NoEvalCall) in initFunctionSummaries()
2180 Summary(NoEvalCall) in initFunctionSummaries()
2189 Summary(NoEvalCall) in initFunctionSummaries()
2200 Summary(NoEvalCall) in initFunctionSummaries()
2210 Summary(NoEvalCall) in initFunctionSummaries()
2218 Summary(NoEvalCall) in initFunctionSummaries()
2243 Summary(NoEvalCall) in initFunctionSummaries()
2253 Summary(NoEvalCall) in initFunctionSummaries()
2267 Summary(NoEvalCall) in initFunctionSummaries()
2280 Summary(NoEvalCall) in initFunctionSummaries()
2289 Summary(NoEvalCall) in initFunctionSummaries()
2299 Summary(NoEvalCall) in initFunctionSummaries()
2308 Summary(NoEvalCall) in initFunctionSummaries()
2317 Summary(NoEvalCall) in initFunctionSummaries()
2327 Summary(NoEvalCall) in initFunctionSummaries()
2334 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2339 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2344 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2349 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2354 Summary(NoEvalCall) in initFunctionSummaries()
2361 Summary(NoEvalCall) in initFunctionSummaries()
2371 Summary(NoEvalCall) in initFunctionSummaries()
2381 Summary(NoEvalCall) in initFunctionSummaries()
2391 Summary(NoEvalCall) in initFunctionSummaries()
2400 Summary(NoEvalCall) in initFunctionSummaries()
2410 Summary(NoEvalCall) in initFunctionSummaries()
2421 Summary(NoEvalCall) in initFunctionSummaries()
2432 Summary(NoEvalCall) in initFunctionSummaries()
2439 Summary(NoEvalCall) in initFunctionSummaries()
2449 Summary(NoEvalCall) in initFunctionSummaries()
2458 Summary(NoEvalCall) in initFunctionSummaries()
2469 Summary(NoEvalCall) in initFunctionSummaries()
2479 Summary(NoEvalCall) in initFunctionSummaries()
2490 Summary(NoEvalCall) in initFunctionSummaries()
2499 Summary(NoEvalCall) in initFunctionSummaries()
2509 Summary(NoEvalCall) in initFunctionSummaries()
2518 Summary(NoEvalCall) in initFunctionSummaries()
2525 Summary(NoEvalCall) in initFunctionSummaries()
2533 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2539 Summary(NoEvalCall) in initFunctionSummaries()
2547 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2552 Summary(NoEvalCall) in initFunctionSummaries()
2561 Summary(NoEvalCall) in initFunctionSummaries()
2570 Summary(NoEvalCall) in initFunctionSummaries()
2589 Summary(NoEvalCall) in initFunctionSummaries()
2598 Summary(NoEvalCall) in initFunctionSummaries()
2610 Summary(NoEvalCall) in initFunctionSummaries()
2620 Summary(NoEvalCall) in initFunctionSummaries()
2629 Summary(NoEvalCall) in initFunctionSummaries()
2639 Summary(NoEvalCall) in initFunctionSummaries()
2648 Summary(NoEvalCall) in initFunctionSummaries()
2663 Summary(NoEvalCall) in initFunctionSummaries()
2673 Summary(NoEvalCall) in initFunctionSummaries()
2682 Summary(NoEvalCall) in initFunctionSummaries()
2690 Summary(NoEvalCall) in initFunctionSummaries()
2699 Summary(NoEvalCall) in initFunctionSummaries()
2707 Summary(NoEvalCall) in initFunctionSummaries()
2716 Summary(NoEvalCall) in initFunctionSummaries()
2728 Summary(NoEvalCall) in initFunctionSummaries()
2739 Summary(NoEvalCall) in initFunctionSummaries()
2748 Summary(NoEvalCall) in initFunctionSummaries()
2762 Summary(NoEvalCall) in initFunctionSummaries()
2773 Summary(NoEvalCall) in initFunctionSummaries()
2784 Summary(NoEvalCall) in initFunctionSummaries()
2797 Summary(NoEvalCall) in initFunctionSummaries()
2807 Summary(NoEvalCall) in initFunctionSummaries()
2815 Summary(NoEvalCall) in initFunctionSummaries()
2824 Summary(NoEvalCall) in initFunctionSummaries()
2835 Summary(NoEvalCall) in initFunctionSummaries()
2843 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2848 Summary(NoEvalCall) in initFunctionSummaries()
2857 Summary(NoEvalCall) in initFunctionSummaries()
2864 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2869 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2874 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2879 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2888 Summary(NoEvalCall) in initFunctionSummaries()
2901 Summary(NoEvalCall) in initFunctionSummaries()
2909 Summary(NoEvalCall) in initFunctionSummaries()
2921 Summary(NoEvalCall) in initFunctionSummaries()
2933 Summary(NoEvalCall) in initFunctionSummaries()
2957 Summary(NoEvalCall) in initFunctionSummaries()
2981 Summary(NoEvalCall) in initFunctionSummaries()
2996 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3004 Summary(NoEvalCall) in initFunctionSummaries()
3012 Summary(NoEvalCall) in initFunctionSummaries()
3021 Summary(NoEvalCall) in initFunctionSummaries()
3053 Summary(NoEvalCall) in initFunctionSummaries()
3059 Summary(NoEvalCall) in initFunctionSummaries()
3084 Summary(NoEvalCall) in initFunctionSummaries()
3098 Summary(NoEvalCall) in initFunctionSummaries()
3113 Summary(NoEvalCall) in initFunctionSummaries()
3124 Summary(NoEvalCall) in initFunctionSummaries()
3137 Summary(NoEvalCall) in initFunctionSummaries()
3148 Summary(NoEvalCall) in initFunctionSummaries()
3160 Summary(NoEvalCall) in initFunctionSummaries()
3169 Summary(NoEvalCall) in initFunctionSummaries()
3176 Summary(NoEvalCall) in initFunctionSummaries()
3206 Summary(NoEvalCall) in initFunctionSummaries()
3236 Summary(NoEvalCall) in initFunctionSummaries()
3247 Summary(NoEvalCall) in initFunctionSummaries()
3269 Summary(NoEvalCall) in initFunctionSummaries()
3281 Summary(NoEvalCall) in initFunctionSummaries()
3294 Summary(NoEvalCall) in initFunctionSummaries()
3311 Summary(NoEvalCall) in initFunctionSummaries()
3322 Summary(NoEvalCall) in initFunctionSummaries()
3338 Summary(NoEvalCall) in initFunctionSummaries()
3346 Summary(NoEvalCall) in initFunctionSummaries()
3365 Summary(NoEvalCall) in initFunctionSummaries()
3386 Summary(NoEvalCall) in initFunctionSummaries()
3401 Summary(NoEvalCall) in initFunctionSummaries()
3414 Summary(NoEvalCall) in initFunctionSummaries()
3428 Summary(NoEvalCall) in initFunctionSummaries()
3438 Summary(NoEvalCall) in initFunctionSummaries()
3462 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3470 Summary(NoEvalCall) in initFunctionSummaries()
3479 Summary(NoEvalCall) in initFunctionSummaries()
3489 Summary(NoEvalCall) in initFunctionSummaries()
3502 Summary(NoEvalCall) in initFunctionSummaries()
3509 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3517 Summary(NoEvalCall) in initFunctionSummaries()
3530 Summary(NoEvalCall) in initFunctionSummaries()
3570 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3581 Summary(NoEvalCall) in initFunctionSummaries()
3590 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3600 Summary(NoEvalCall) in initFunctionSummaries()
3609 Summary(NoEvalCall) in initFunctionSummaries()
3621 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3631 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3640 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3645 Summary(EvalCallAsPure) in initFunctionSummaries()
3651 Summary(EvalCallAsPure) in initFunctionSummaries()
3655 Summary(EvalCallAsPure) in initFunctionSummaries()
3659 Summary(EvalCallAsPure) in initFunctionSummaries()
3663 Summary(EvalCallAsPure) in initFunctionSummaries()
3667 Summary(EvalCallAsPure) in initFunctionSummaries()
3671 Summary(EvalCallAsPure) in initFunctionSummaries()
3675 Summary(EvalCallAsPure) in initFunctionSummaries()
3680 Summary(EvalCallAsPure) in initFunctionSummaries()
3685 Summary(EvalCallAsPure) in initFunctionSummaries()
3690 Summary(EvalCallAsPure) in initFunctionSummaries()
3695 Summary(EvalCallAsPure) in initFunctionSummaries()
3700 Summary(EvalCallAsPure) in initFunctionSummaries()
3705 Summary(EvalCallAsPure) in initFunctionSummaries()
3710 Summary(EvalCallAsPure) in initFunctionSummaries()
3717 Summary(EvalCallAsPure) in initFunctionSummaries()
3721 Summary(EvalCallAsPure) in initFunctionSummaries()
3725 Summary(EvalCallAsPure) in initFunctionSummaries()
3729 Summary(EvalCallAsPure) in initFunctionSummaries()
3733 Summary(EvalCallAsPure) in initFunctionSummaries()
3737 Summary(EvalCallAsPure) in initFunctionSummaries()
3741 Summary(EvalCallAsPure) in initFunctionSummaries()
3746 Summary(EvalCallAsPure) in initFunctionSummaries()
3751 Summary(EvalCallAsPure) in initFunctionSummaries()
3756 Summary(EvalCallAsPure) in initFunctionSummaries()
3761 Summary(EvalCallAsPure) in initFunctionSummaries()
3766 Summary(EvalCallAsPure) in initFunctionSummaries()
3771 Summary(EvalCallAsPure) in initFunctionSummaries()
3776 Summary(EvalCallAsPure) in initFunctionSummaries()
3783 Summary(EvalCallAsPure) in initFunctionSummaries()
3787 Summary(EvalCallAsPure) in initFunctionSummaries()
3793 Summary(EvalCallAsPure) in initFunctionSummaries()
3798 Summary(EvalCallAsPure) in initFunctionSummaries()
3804 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3808 Summary(EvalCallAsPure) in initFunctionSummaries()
3814 Summary(EvalCallAsPure) in initFunctionSummaries()
3820 Summary(EvalCallAsPure) in initFunctionSummaries()
3826 Summary(EvalCallAsPure) in initFunctionSummaries()
3833 Summary(EvalCallAsPure)); in initFunctionSummaries()
3838 Summary(EvalCallAsPure) in initFunctionSummaries()
3846 Summary(EvalCallAsPure) in initFunctionSummaries()