[Soot-list] suboptimal type assignment?

[Oege de Moor]

>> Are you saying that the Soot type assigner attempts to assign a
>> type that is as wide as possible?
>
> Yes, that's what I think it does.

The SAS 2000 paper describing the algorithm states:
(p. 2/3)
   "In general, we prefer a typing that gives more specific
    types since this will help more in subsequent analyses."

So the algorithm in the Soot distribution is not what is
in the paper? The requirements have changed?

-Oege