21 Aug
2012
21 Aug
'12
7:02 p.m.
On 08/19/2012 02:56 PM, Zell wrote:
I probably misunderstand something basic here. What do you think?
This is not a limitation of the interval domain. In every numerical abstract domain, as soon a constraint becomes "empty", all the abstract objects becomes empty, too. If x is initialized, you should assign it to the universe element, since you don't know which value it may assume. If you want to distinguish between non-initialized and unknown values, you should use an ad-hoc abstract domain.
--gianluca amato