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



Hello,

2014-12-01 19:07 GMT+01:00 Ivan Gavran <gavran at mpi-sws.org>:
> Hi,
>
> I'm learning how to develop a plugin for Frama-c and have a question.
> Assume that function f is considered.  Is there a way to get a list of all
> functions that are posted within the function f?
>

I'm not completely sure of what you mean by "posted", but if you want
to know which functions f might call, you can have a look at the
syntactic_callgraph and semantic_callgraph plugins in Frama-C's src/.
They use dot to generate a callgraph, with semantic_callgraph taking
care of function pointers if any (relying on information computed by
Value Analysis). Basically, you have to retrieve the definition of f
(via e.g. Globals.Functions.find_by_name) and visit each Call
instruction that you find in the body of f.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile