--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on December 2014 ---
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>