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

[Frama-c-discuss] Source loop identification



Hi,

Some time ago someone told me about loop instrumentation using a source
code analysis tool, and I think it was Frama-C he mentioned, but I don't
remember it clearly. What I'd like to do is to identify, on the source
code, which lines correspond to a loop body and which are outside the loop
(only considering structured loops here). I've been looking for something
like this on the Frama-C GUI and manual, but couldn't find it. Is there
such a thing on Frama-C, or am I mistaken about this feature?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130611/f0c85c5e/attachment.html>