Abstract
All properties that the analysis presented infers can be expressed with integral numbers. Hence, it is possible to restrict the inferred polyhedra to the contained integral points. In fact, shrinking a polyhedron around the contained integral points is highly desirable for precision as well as for performance, as discussed in the next section. However, ensuring that all vertices of a polyhedron are integral is a computationally hard task.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2008). The Integral TVPI Domain. In: Simon, A. (eds) Value-Range Analysis of C Programs. Springer, London. https://doi.org/10.1007/978-1-84800-017-9_9
Download citation
DOI: https://doi.org/10.1007/978-1-84800-017-9_9
Publisher Name: Springer, London
Print ISBN: 978-1-84800-016-2
Online ISBN: 978-1-84800-017-9
eBook Packages: Computer ScienceComputer Science (R0)