Issue 38: Array bounds checks and integer tracking
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Would be an interesting feature to add tracking of integer values and use
them, among other things, for array bounds checks.