[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Generating ACSL \assigns clauses with programs

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