Home | History | Annotate | Download | only in Checkers

Lines Matching full:checkercontext

20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35   void reportOOB(CheckerContext &C, ProgramStateRef errorState,
40                      CheckerContext &C) const;
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.generateSink(errorState);
210   checkerContext.emitReport(new BugReport(*BT, os.str(), errorNode));