64 class StdLibraryFunctionsChecker : public Checker<check::PostCall, eval::Call> {
137     applyAsOutOfRange(ProgramStateRef State, const CallEvent &Call,
140     applyAsWithinRange(ProgramStateRef State, const CallEvent &Call,
143     applyAsComparesToArgument(ProgramStateRef State, const CallEvent &Call,
147     ProgramStateRef apply(ProgramStateRef State, const CallEvent &Call,  in apply()  argument
151         return applyAsOutOfRange(State, Call, Summary);  in apply()
153         return applyAsWithinRange(State, Call, Summary);  in apply()
155         return applyAsComparesToArgument(State, Call, Summary);  in apply()
214   static QualType getArgType(const CallEvent &Call, ArgNoTy ArgNo) {  in getArgType()  argument
215     return ArgNo == Ret ? Call.getResultType().getCanonicalType()  in getArgType()
216                         : Call.getArgExpr(ArgNo)->getType().getCanonicalType();  in getArgType()
222   static SVal getArgSVal(const CallEvent &Call, ArgNoTy ArgNo) {  in getArgSVal()  argument
223     return ArgNo == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgNo);  in getArgSVal()
227   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
240     ProgramStateRef State, const CallEvent &Call,  in applyAsOutOfRange()  argument
248   SVal V = getArgSVal(Call, getArgNo());  in applyAsOutOfRange()
268     ProgramStateRef State, const CallEvent &Call,  in applyAsWithinRange()  argument
276   SVal V = getArgSVal(Call, getArgNo());  in applyAsWithinRange()
319     ProgramStateRef State, const CallEvent &Call,  in applyAsComparesToArgument()  argument
326   SVal V = getArgSVal(Call, getArgNo());  in applyAsComparesToArgument()
330   SVal OtherV = getArgSVal(Call, OtherArg);  in applyAsComparesToArgument()
331   QualType OtherT = getArgType(Call, OtherArg);  in applyAsComparesToArgument()
340 void StdLibraryFunctionsChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()  argument
342   const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(Call.getDecl());  in checkPostCall()
346   const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in checkPostCall()
361       NewState = VR.apply(NewState, Call, Summary);  in checkPostCall()