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

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