43   void checkLiveSymbols(const GRState *state, SymbolReaper &SR) const;
45   bool wantsRegionChangeUpdate(const GRState *state) const;
47   const GRState *checkRegionChanges(const GRState *state,
60                       const GRState *state,
89   std::pair<const GRState*, const GRState*>
91                     const GRState *state, SVal V, QualType Ty);
93   static const GRState *setCStringLength(const GRState *state,
96                                         const GRState *&state,
99   SVal getCStringLength(CheckerContext &C, const GRState *&state,
104                                          const GRState *&state,
108   static const GRState *InvalidateBuffer(CheckerContext &C,
109                                          const GRState *state,
116   const GRState *checkNonNull(CheckerContext &C, const GRState *state,
118   const GRState *CheckLocation(CheckerContext &C, const GRState *state,
121   const GRState *CheckBufferAccess(CheckerContext &C, const GRState *state,
128   const GRState *CheckBufferAccess(CheckerContext &C, const GRState *state,  in CheckBufferAccess()
136   const GRState *CheckOverlap(CheckerContext &C, const GRState *state,
139   void emitOverlapBug(CheckerContext &C, const GRState *state,
141   const GRState *checkAdditionOverflow(CheckerContext &C, const GRState *state,
165 std::pair<const GRState*, const GRState*>
166 CStringChecker::assumeZero(CheckerContext &C, const GRState *state, SVal V,  in assumeZero()
170     return std::pair<const GRState*, const GRState *>(state, state);  in assumeZero()
177 const GRState *CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
178                                             const GRState *state,  in checkNonNull()
184   const GRState *stateNull, *stateNonNull;  in checkNonNull()
217 const GRState *CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
218                                              const GRState *state,  in CheckLocation()
247   const GRState *StInBound = state->assumeInBound(Idx, Size, true);  in CheckLocation()
248   const GRState *StOutBound = state->assumeInBound(Idx, Size, false);  in CheckLocation()
290 const GRState *CStringChecker::CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
291                                                  const GRState *state,  in CheckBufferAccess()
362 const GRState *CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
363                                             const GRState *state,  in CheckOverlap()
375   const GRState *stateTrue, *stateFalse;  in CheckOverlap()
473 void CStringChecker::emitOverlapBug(CheckerContext &C, const GRState *state,  in emitOverlapBug()
492 const GRState *CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
493                                                      const GRState *state,  in checkAdditionOverflow()
524     const GRState *stateOverflow, *stateOkay;  in checkAdditionOverflow()
560 const GRState *CStringChecker::setCStringLength(const GRState *state,  in setCStringLength()
601                                                const GRState *&state,  in getCStringLengthForRegion()
625 SVal CStringChecker::getCStringLength(CheckerContext &C, const GRState *&state,  in getCStringLength()
720   const GRState *&state, const Expr *expr, SVal val) const {  in getCStringLiteral()
739 const GRState *CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
740                                                 const GRState *state,  in InvalidateBuffer()
815                                     const GRState *state,  in evalCopyCommon()
825   const GRState *stateZeroSize, *stateNonZeroSize;  in evalCopyCommon()
917   const GRState *state = C.getState();  in evalMemcpy()
926   const GRState *state = C.getState();  in evalMempcpy()
935   const GRState *state = C.getState();  in evalMemmove()
954   const GRState *state = C.getState();  in evalMemcmp()
961   const GRState *stateZeroSize, *stateNonZeroSize;  in evalMemcmp()
984     const GRState *StSameBuf, *StNotSameBuf;  in evalMemcmp()
1029   const GRState *state = C.getState();  in evalstrLengthCommon()
1035     const GRState *stateZeroSize, *stateNonZeroSize;  in evalstrLengthCommon()
1087       const GRState *stateStringTooLong, *stateStringNotTooLong;  in evalstrLengthCommon()
1194   const GRState *state = C.getState();  in evalStrcpyCommon()
1244       const GRState *stateSourceTooLong, *stateSourceNotTooLong;  in evalStrcpyCommon()
1517   const GRState *state = C.getState();  in evalStrcmpCommon()
1552   const GRState *StSameBuf, *StNotSameBuf;  in evalStrcmpCommon()
1643   const GRState *state = C.getState();  in evalCall()
1692   const GRState *state = C.getState();  in checkPreStmt()
1726 bool CStringChecker::wantsRegionChangeUpdate(const GRState *state) const {  in wantsRegionChangeUpdate()
1731 const GRState *
1732 CStringChecker::checkRegionChanges(const GRState *state,  in checkRegionChanges()
1782 void CStringChecker::checkLiveSymbols(const GRState *state,  in checkLiveSymbols()
1802   const GRState *state = C.getState();  in checkDeadSymbols()