StaticAnalyzer/Checkers/IteratorRangeChecker.cpp

48 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
49 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
50 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
51 bool isZero(ProgramStateRef State, const NonLoc &Val);
115   auto State = C.getState();
116   const auto *Pos = getIteratorPosition(State, Val);
117   if (Pos && isPastTheEnd(State, *Pos)) {
118     auto *N = C.generateErrorNode(State);
144   auto State = C.getState();
148     Value = State->getRawSVal(*ValAsLoc);
155   if (isZero(State, Value.castAs<NonLoc>()))
160   auto StateAfter = advancePosition(State, LHS, Op, Value);
167   if (isAheadOfRange(State, *PosAfter)) {
168     auto *N = C.generateErrorNode(State);
174   if (isBehindPastTheEnd(State, *PosAfter)) {
175     auto *N = C.generateErrorNode(State);
194 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
195 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
196 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
198 bool isZero(ProgramStateRef State, const NonLoc &Val) {
199   auto &BVF = State->getBasicVals();
200   return compare(State, Val,
205 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {
207   const auto *CData = getContainerData(State, Cont);
213     if (isEqual(State, Pos.getOffset(), End)) {
221 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {
223   const auto *CData = getContainerData(State, Cont);
229     if (isLess(State, Pos.getOffset(), Beg)) {
237 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {
239   const auto *CData = getContainerData(State, Cont);
245     if (isGreater(State, Pos.getOffset(), End)) {
253 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {
254   return compare(State, Sym1, Sym2, BO_LT);
257 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {
258   return compare(State, Sym1, Sym2, BO_GT);
261 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {
262   return compare(State, Sym1, Sym2, BO_EQ);