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