Lines Matching defs:checkerContext
86 CheckerContext &checkerContext) const {
97 ProgramStateRef state = checkerContext.getState();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
128 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes);
161 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted);
168 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes);
178 checkerContext.addTransition(state);
181 void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext,
185 ExplodedNode *errorNode = checkerContext.generateErrorNode(errorState);
210 checkerContext.emitReport(