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



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>