--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on August 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [frama-c] def information of statement which contain a pointer value



> Because x and y are not treated as def values. I don't know how to
> automatically identify which parameter is out parameter in a function.
>
> Any other solutions to this problem?

If I understand your problem correctly, you should be able to just use  
the From plug-in.
It tells you which outputs where computed from which inputs.

frama-c -deps -main swap swap.c

should do the trick.

Sven