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



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