--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on June 2013 ---
Hello, You should also look at the function Stmt_graphs.get_stmt_stmts, which will return all the statements that constitue a given block of code. By calling it on the block corresponding to a 'for' or 'while' loop, it will be very easy to derive the location information you seek. HTH, On Tue, Jun 11, 2013 at 9:46 AM, Daniel Garcia <dhekir at gmail.com> wrote: > 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? > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -- Boris