Bounds Analysis by Abstract Interpretation