Searched refs:checkerContext (Results 1 – 1 of 1) sorted by relevance
86 CheckerContext &checkerContext) const { in checkLocation()97 ProgramStateRef state = checkerContext.getState(); in checkLocation()100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()128 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()161 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted); in checkLocation()168 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()178 checkerContext.addTransition(state); in checkLocation()181 void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext, in reportOOB() argument185 ExplodedNode *errorNode = checkerContext.generateSink(errorState); in reportOOB()210 checkerContext.emitReport(new BugReport(*BT, os.str(), errorNode)); in reportOOB()