AbstractWe present a new interprocedural modification side effects algorithm for C programs, that can discern side effects through general-purpose pointer usage. Ours is the first complete design and implementation of such an algorithm. Preliminary performance findings support the practicality of the technique, which is based on our previous approximation algorithm for pointer aliases. Each indirect store through a pointer variable is found, on average, to correspond to a store into 1.1 locations. This indicates that our program-point-specific pointer aliasing information is quite precise when used to determine the effects of these stores.
RightsThis Item is protected by copyright and/or related rights.You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use.For other uses you need to obtain permission from the rights-holder(s).