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

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



Please refer to the help: frama-c -scg-help. It will generate call graph in
dot file.

Hope this helps.

Haihao

On Tue, Jan 17, 2012 at 3:28 PM, Shakthi Kannan <shakthimaan at gmail.com>wrote:

> Hi,
>
> 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.
>
> Thanks!
>
> SK
>
> --
> Shakthi Kannan
> http://www.shakthimaan.com
>
> _______________________________________________
> 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/20120117/c928f881/attachment.htm>