BufferOverrun: Use ValueFlow string values more