Searched defs:BufVal (Results 1 – 1 of 1) sorted by relevance
612 SVal BufVal = C.getSVal(Buffer.Expression); CheckBufferAccess() local 1146 isFirstBufInBound(CheckerContext & C,ProgramStateRef State,SVal BufVal,QualType BufTy,SVal LengthVal,QualType LengthTy) isFirstBufInBound() argument