Value-Range Analysis of C Programs by Axel Simon