value flow: Use ValueFlow in CheckBufferOverrun