[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Generating ACSL \assigns clauses with programs
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.