Discover the “Value-Range Analysis of C Programs” by Axel Simon, a groundbreaking study focused on static analysis for C code. Essential for software engineers and researchers, this book tackles the complexities of pointer analysis, type coercion, and low-level C behavior. Simon presents a formal, yet accessible, value-range analysis using polyhedral methods, offering precise approximations for bit-level operations. This rigorous approach provides a robust foundation for developing advanced analyses, exemplified by NUL position tracking in string buffers. Ideal for those interested in static analysis, program verification, and the intricacies of real-world programming languages, this affordable edition is exclusively available for sale in India, Bangladesh, Nepal, Pakistan, and Sri Lanka.