Module BufferOverrunDomain.AliasRet

Alias domain for return values of callees