--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on June 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Need help on C-code slicing



I'm running Frama-C on Ubuntu. I intend to use it to perform slicing on a
legacy C code source as a way to do some (partly?) automated
reverse-engineering to determine how values are computed in this legacy
code. Actually I'm only interested in one  file among may others in this
legacy code.

I compiled my sources with gcc -save-temps
and run frama-c-gui - val myfile.i providing only the i file I'm interested
in.

I get a "Degeneration occurred"  banner in the window title bar.. and seem
to be unable to get any usable result from this point.

So far I did not find any clue to this. Could some one point me either to
the appropriate doc, or provide a hint on what I'm doing wrong?

Is there any limits on the complexity of the C code which can be handled?

Thanks in advance for any help you can provide

Fran?ois
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110609/9e2c82bb/attachment.htm>