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