--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on December 2014 ---
Continuing on this thread because it is connected question: is there a way to get kernel_function type from function name (string) ? On Tue, Dec 2, 2014 at 3:12 PM, Ivan Gavran <gavran at mpi-sws.org> wrote: > 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/7f95c522/attachment.html>