--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on June 2013 ---
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>