Searched defs:BufV (Results 1 – 2 of 2) sorted by relevance
58 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV) { in getDynamicExtentWithOffset()
335 SVal BufV = getArgSVal(Call, getArgNo()); in apply() local