--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on December 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] List of function calls within a function



Thanks, both advices are valuable.

On Tue, Dec 2, 2014 at 11:36 AM, Virgile Prevosto <virgile.prevosto at m4x.org>
wrote:

> 2014-12-02 10:49 GMT+01:00 Ivan Gavran <gavran at mpi-sws.org>:
> > Hello,
> > thank you for the answer.
> > I couldn't understand much from syntactic_callgraph.
> > But following your last advice: if I find the function by name and then
> look
> > at its declaration (fundec) and finally list of all statements in the
> > function (sallstmts), how can I tell which statement is a function call?
> >
>
> A statement s is a function call if s.skind is of the form Instr(Call(_)).
>
> By the way, I forgot the existence of Cil's own callgraph module in
> cil/src/ext/callgraph.ml which you might find of interest.
>
> Best regards,
> --
> E tutto per oggi, a la prossima volta
> Virgile
> _______________________________________________
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20141202/ea2daf6f/attachment.html>