reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
128 ProgramStateRef state = checkerContext.getState(); 130 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); 168 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); 210 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted, 218 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); 227 checkerContext.addTransition(state);