Hi Robert, On 2015-11-06 08:12, Robert Clausecker wrote:
Is there an easy way to find out what objects a function mutates on its own, i.e. without the context of how it is called? For example, for bar() I would like to receive information of the form "bar mutates z and *y," specifically without making assumptions about the place y points to.
Seems to me there is no easy way to do this in Csmith. It might be possible to go through the call stack to collect only the objects a function modifies on its own, e.g., *y but not x in your example. But it sounds very tricky to me to add that.
Xuejun may have more insights. - Yang