Abstract
In this chapter, we take a first stab at defining a semantics using the abstract states that were presented in the last chapter. These abstract transfer functions mirror the effect of the concrete semantics except that they modify points-to sets and polyhedra rather than sets of 4-GB memory configurations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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). Taming Casting and Wrapping. In: Simon, A. (eds) Value-Range Analysis of C Programs. Springer, London. https://doi.org/10.1007/978-1-84800-017-9_4
Download citation
DOI: https://doi.org/10.1007/978-1-84800-017-9_4
Publisher Name: Springer, London
Print ISBN: 978-1-84800-016-2
Online ISBN: 978-1-84800-017-9
eBook Packages: Computer ScienceComputer Science (R0)