--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Fwd: Re: Caller-callee relationship from source file



Message sent this morning but seems to be lost somewhere in the net...

-------- Original Message --------
Subject: Re: [Frama-c-discuss] Caller-callee relationship from source file
Date: Tue, 17 Jan 2012 09:41:28 +0100
From: Julien Signoles <Julien.Signoles at cea.fr>
To: frama-c-discuss at lists.gforge.inria.fr

Hello,

On 01/17/2012 08:28 AM, Shakthi Kannan wrote:
> I am using frama-c 1.6 on Fedora 15. When using frama-c-gui with a
> hello.c file, I am able to view the call graph from Analysis->Show
> callgraph. Is there a way to view/get the caller-callee relationship
> for each function in a .c file from the command line?
>
> Please do let me know.

The command 'frama-c -cg hello.dot hello.c' dump the syntactic callgraph
in dot format into the file hello.dot. That is the very same graph than
the one displayed in the GUI through Analysis -> Show callgraph.

For the record, this callgraph is syntactic: it ignores any function
pointers. If your input program contains such pointers, you would
compute the semantic callgraph which uses the results of the 'Value
Analysis' plug-in to take function pointers into account. The command
line is the same that the above one, but using option -scg instead of
-cg. This semantic callgraph is not yet available through the GUI.

Hope this helps,
Julien