--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on August 2012 ---
> 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