--- layout: fc_discuss_archives title: Message 15 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



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