Value-Range Analysis of C Programs door Axel Simon