Value-Range Analysis of C Programs - Simon, Axel (Springer London, 2020)