--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on June 2013 ---
Hello, 2013/6/11 Daniel Garcia <dhekir at gmail.com>: > 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? As far as I know, there's no such thing in Frama-C yet, but if I understand correctly what you mean, this should not be too difficult to achieve with a visitor (see Frama-C's developer manual for more information about the visitor mechanism. Best regards, -- E tutto per oggi, a la prossima volta Virgile