Lines Matching refs:Summary
77 class Summary;
123 const Summary &Summary,
153 const Summary &Summary) const { in describe()
191 const Summary &Summary) const override;
198 const Summary &Summary) const;
201 const Summary &Summary) const;
205 const Summary &Summary, in apply() argument
209 return applyAsOutOfRange(State, Call, Summary); in apply()
211 return applyAsWithinRange(State, Call, Summary); in apply()
250 const Summary &Summary,
261 const Summary &Summary) const override;
264 const Summary &Summary, in apply() argument
333 const Summary &Summary) const override;
336 const Summary &Summary, in apply() argument
343 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply()
355 Summary.getArgType(*SizeArgN)); in apply()
400 const Summary &Summary,
435 const Summary &Summary, in apply() argument
476 const Summary &Summary, in apply() argument
496 const Summary &Summary, in apply() argument
628 class Summary { class in __anon09a2c6cc0111::StdLibraryFunctionsChecker
638 Summary(InvalidationKind InvalidationKd) : InvalidationKd(InvalidationKd) {} in Summary() function in __anon09a2c6cc0111::StdLibraryFunctionsChecker::Summary
640 Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC, in Case()
645 Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC, in Case()
650 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint()
693 using FunctionSummaryMapType = llvm::DenseMap<const FunctionDecl *, Summary>;
721 Optional<Summary> findFunctionSummary(const FunctionDecl *FD,
723 Optional<Summary> findFunctionSummary(const CallEvent &Call,
729 const ValueConstraint *VC, const Summary &Summary, in reportBug() argument
750 R->addNote(VC->describe(C.getState(), Summary), R->getLocation(), in reportBug()
781 ProgramStateRef State, const Summary &Summary) const { in describe()
790 ProgramStateRef State, const Summary &Summary) const { in describe()
794 QualType T = Summary.getArgType(getArgNo()); in describe()
835 ProgramStateRef State, const Summary &Summary) const { in describe()
855 const Summary &Summary) const { in applyAsOutOfRange()
863 QualType T = Summary.getArgType(getArgNo()); in applyAsOutOfRange()
884 const Summary &Summary) const { in applyAsWithinRange()
892 QualType T = Summary.getArgType(getArgNo()); in applyAsWithinRange()
942 ProgramStateRef State, const CallEvent &Call, const Summary &Summary, in apply() argument
948 QualType T = Summary.getArgType(getArgNo()); in apply()
954 QualType OtherT = Summary.getArgType(OtherArg); in apply()
965 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPreCall()
969 const Summary &Summary = *FoundSummary; in checkPreCall() local
973 for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) { in checkPreCall()
974 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall()
976 Constraint->negate()->apply(NewState, Call, Summary, C); in checkPreCall()
980 reportBug(Call, N, Constraint.get(), Summary, C); in checkPreCall()
997 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPostCall()
1002 const Summary &Summary = *FoundSummary; in checkPostCall() local
1007 for (const SummaryCase &Case : Summary.getCases()) { in checkPostCall()
1010 NewState = Constraint->apply(NewState, Call, Summary, C); in checkPostCall()
1016 NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C); in checkPostCall()
1045 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in evalCall()
1049 const Summary &Summary = *FoundSummary; in evalCall() local
1050 switch (Summary.getInvalidationKd()) { in evalCall()
1112 Optional<StdLibraryFunctionsChecker::Summary>
1126 Optional<StdLibraryFunctionsChecker::Summary>
1302 bool operator()(StringRef Name, Signature Sign, Summary Sum) { in initFunctionSummaries()
1328 void operator()(std::vector<StringRef> Names, Signature Sign, Summary Sum) { in initFunctionSummaries()
1395 Summary(EvalCallAsPure) in initFunctionSummaries()
1416 Summary(EvalCallAsPure) in initFunctionSummaries()
1430 Summary(EvalCallAsPure) in initFunctionSummaries()
1440 Summary(EvalCallAsPure) in initFunctionSummaries()
1450 Summary(EvalCallAsPure) in initFunctionSummaries()
1461 Summary(EvalCallAsPure) in initFunctionSummaries()
1470 Summary(EvalCallAsPure) in initFunctionSummaries()
1482 Summary(EvalCallAsPure) in initFunctionSummaries()
1502 Summary(EvalCallAsPure) in initFunctionSummaries()
1511 Summary(EvalCallAsPure) in initFunctionSummaries()
1525 Summary(EvalCallAsPure) in initFunctionSummaries()
1541 Summary(EvalCallAsPure) in initFunctionSummaries()
1558 Summary(EvalCallAsPure) in initFunctionSummaries()
1571 Summary(EvalCallAsPure) in initFunctionSummaries()
1576 Summary(EvalCallAsPure) in initFunctionSummaries()
1581 Summary(EvalCallAsPure) in initFunctionSummaries()
1588 Summary(NoEvalCall) in initFunctionSummaries()
1594 Summary(NoEvalCall) in initFunctionSummaries()
1601 Summary(NoEvalCall) in initFunctionSummaries()
1629 Summary(NoEvalCall) in initFunctionSummaries()
1647 Summary(NoEvalCall) in initFunctionSummaries()
1675 Summary GetenvSummary = in initFunctionSummaries()
1676 Summary(NoEvalCall) in initFunctionSummaries()
1696 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1701 Summary(NoEvalCall) in initFunctionSummaries()
1720 Summary(NoEvalCall) in initFunctionSummaries()
1730 Summary(NoEvalCall) in initFunctionSummaries()
1738 Summary(NoEvalCall) in initFunctionSummaries()
1747 Summary(NoEvalCall) in initFunctionSummaries()
1757 Summary(NoEvalCall) in initFunctionSummaries()
1768 Summary(NoEvalCall) in initFunctionSummaries()
1774 Summary(NoEvalCall) in initFunctionSummaries()
1786 Summary(NoEvalCall) in initFunctionSummaries()
1795 Summary(NoEvalCall) in initFunctionSummaries()
1806 Summary(NoEvalCall) in initFunctionSummaries()
1816 Summary(NoEvalCall) in initFunctionSummaries()
1827 Summary(NoEvalCall) in initFunctionSummaries()
1835 Summary(NoEvalCall) in initFunctionSummaries()
1845 Summary(NoEvalCall) in initFunctionSummaries()
1853 Summary(NoEvalCall) in initFunctionSummaries()
1860 Summary(NoEvalCall) in initFunctionSummaries()
1868 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1874 Summary(NoEvalCall) in initFunctionSummaries()
1882 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1887 Summary(NoEvalCall) in initFunctionSummaries()
1896 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1902 Summary(NoEvalCall) in initFunctionSummaries()
1909 Summary(NoEvalCall) in initFunctionSummaries()
1918 Summary(NoEvalCall) in initFunctionSummaries()
1929 Summary(NoEvalCall) in initFunctionSummaries()
1939 Summary(NoEvalCall) in initFunctionSummaries()
1947 Summary(NoEvalCall) in initFunctionSummaries()
1957 Summary(NoEvalCall) in initFunctionSummaries()
1966 Summary(NoEvalCall) in initFunctionSummaries()
1981 Summary(NoEvalCall) in initFunctionSummaries()
1991 Summary(NoEvalCall) in initFunctionSummaries()
2000 Summary(NoEvalCall) in initFunctionSummaries()
2008 Summary(NoEvalCall) in initFunctionSummaries()
2017 Summary(NoEvalCall) in initFunctionSummaries()
2025 Summary(NoEvalCall) in initFunctionSummaries()
2034 Summary(NoEvalCall) in initFunctionSummaries()
2046 Summary(NoEvalCall) in initFunctionSummaries()
2057 Summary(NoEvalCall) in initFunctionSummaries()
2066 Summary(NoEvalCall) in initFunctionSummaries()
2079 Summary(NoEvalCall) in initFunctionSummaries()
2090 Summary(NoEvalCall) in initFunctionSummaries()
2101 Summary(NoEvalCall) in initFunctionSummaries()
2114 Summary(NoEvalCall) in initFunctionSummaries()
2125 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2131 Summary(NoEvalCall) in initFunctionSummaries()
2138 Summary(NoEvalCall) in initFunctionSummaries()
2149 Summary(NoEvalCall) in initFunctionSummaries()
2157 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2161 Summary(NoEvalCall) in initFunctionSummaries()
2170 Summary(NoEvalCall) in initFunctionSummaries()
2177 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2184 Summary(NoEvalCall) in initFunctionSummaries()
2191 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2196 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2201 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2206 Summary(NoEvalCall) in initFunctionSummaries()
2215 Summary(NoEvalCall) in initFunctionSummaries()
2222 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2231 Summary(NoEvalCall) in initFunctionSummaries()
2244 Summary(NoEvalCall) in initFunctionSummaries()
2252 Summary(NoEvalCall) in initFunctionSummaries()
2264 Summary(NoEvalCall) in initFunctionSummaries()
2276 Summary(NoEvalCall) in initFunctionSummaries()
2295 Summary(NoEvalCall) in initFunctionSummaries()
2314 Summary(NoEvalCall) in initFunctionSummaries()
2327 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2335 Summary(NoEvalCall) in initFunctionSummaries()
2344 Summary(NoEvalCall) in initFunctionSummaries()
2354 Summary(NoEvalCall) in initFunctionSummaries()
2381 Summary(NoEvalCall) in initFunctionSummaries()
2405 Summary(NoEvalCall) in initFunctionSummaries()
2419 Summary(NoEvalCall) in initFunctionSummaries()
2434 Summary(NoEvalCall) in initFunctionSummaries()
2445 Summary(NoEvalCall) in initFunctionSummaries()
2458 Summary(NoEvalCall) in initFunctionSummaries()
2469 Summary(NoEvalCall) in initFunctionSummaries()
2481 Summary(NoEvalCall) in initFunctionSummaries()
2490 Summary(NoEvalCall) in initFunctionSummaries()
2497 Summary(NoEvalCall) in initFunctionSummaries()
2524 Summary(NoEvalCall) in initFunctionSummaries()
2551 Summary(NoEvalCall) in initFunctionSummaries()
2562 Summary(NoEvalCall) in initFunctionSummaries()
2581 Summary(NoEvalCall) in initFunctionSummaries()
2593 Summary(NoEvalCall) in initFunctionSummaries()
2606 Summary(NoEvalCall) in initFunctionSummaries()
2623 Summary(NoEvalCall) in initFunctionSummaries()
2634 Summary(NoEvalCall) in initFunctionSummaries()
2647 Summary(NoEvalCall) in initFunctionSummaries()
2665 Summary(NoEvalCall) in initFunctionSummaries()
2686 Summary(NoEvalCall) in initFunctionSummaries()
2700 Summary(NoEvalCall) in initFunctionSummaries()
2712 Summary(NoEvalCall) in initFunctionSummaries()
2726 Summary(NoEvalCall) in initFunctionSummaries()
2736 Summary(NoEvalCall) in initFunctionSummaries()
2758 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2766 Summary(NoEvalCall) in initFunctionSummaries()
2775 Summary(NoEvalCall) in initFunctionSummaries()
2785 Summary(NoEvalCall) in initFunctionSummaries()
2798 Summary(NoEvalCall) in initFunctionSummaries()
2805 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2813 Summary(NoEvalCall) in initFunctionSummaries()
2825 Summary(NoEvalCall) in initFunctionSummaries()
2860 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2871 Summary(NoEvalCall) in initFunctionSummaries()
2880 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2890 Summary(NoEvalCall) in initFunctionSummaries()
2899 Summary(NoEvalCall) in initFunctionSummaries()
2911 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2921 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2928 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2933 Summary(EvalCallAsPure) in initFunctionSummaries()
2937 Summary(EvalCallAsPure) in initFunctionSummaries()
2941 Summary(EvalCallAsPure) in initFunctionSummaries()
2948 Summary(EvalCallAsPure) in initFunctionSummaries()
2952 Summary(EvalCallAsPure) in initFunctionSummaries()
2958 Summary(EvalCallAsPure) in initFunctionSummaries()
2963 Summary(EvalCallAsPure) in initFunctionSummaries()
2969 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2973 Summary(EvalCallAsPure) in initFunctionSummaries()
2979 Summary(EvalCallAsPure) in initFunctionSummaries()
2985 Summary(EvalCallAsPure) in initFunctionSummaries()
2991 Summary(EvalCallAsPure) in initFunctionSummaries()
2998 Summary(EvalCallAsPure)); in initFunctionSummaries()