Searched defs:LengthVal (Results 1 – 1 of 1) sorted by relevance
368 SVal LengthVal = state->getSVal(Size, LCtx); in CheckBufferAccess() local483 SVal LengthVal = state->getSVal(Size, LCtx); in CheckOverlap() local