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



Thanks, Stephane, it will be of a great help

On Wed, Dec 3, 2014 at 6:44 PM, DUPRAT, STEPHANE <stephane.duprat at atos.net>
wrote:

>  Hello Ivan,
>
>
>
> I wrote a little plugin 2 years ago that is a good illustration for your
> need. For the function calls and also for a single and simple plugin.
>
>
> https://gforge.enseeiht.fr/scm/viewvc.php/trunk/FRAMAC_PLUGINS/prj_cg/?root=fcdt
>
>
>
> Aim of this plugin is to generate:
>
> -          A call graph with the functions inside boxes that represent
> the file module
>
> -          A module graph that is an abstraction of the function calgraph
>
>
>
> Why this ? Because I needed the retro-design information in order to make
> analysis in the Bottom-Up direction. I still use this plugin before doing
> code analysis.
>
>
>
> The plugin is available and open source even if I never communicated for
> that. But here is the opportunity !
>
>
>
> Regards,
>
>
>
> St?phane
>
>
>
>
>
> *From:* Frama-c-discuss [mailto:
> frama-c-discuss-bounces at lists.gforge.inria.fr] *On Behalf Of *Ivan Gavran
> *Sent:* Monday, December 01, 2014 7:08 PM
> *To:* Frama-C public discussion
> *Subject:* [Frama-c-discuss] List of function calls within a function
>
>
>
> 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?
>
> Ivan
>  Ce message et toutes les pi?ces jointes (ci-apr?s le "message") sont
> ?tablis ? l?intention exclusive des destinataires d?sign?s. Il contient des
> informations confidentielles et pouvant ?tre prot?g? par le secret
> professionnel. Si vous recevez ce message par erreur, merci d'en avertir
> imm?diatement l'exp?diteur et de d?truire le message. Toute utilisation de
> ce message non conforme ? sa destination, toute diffusion ou toute
> publication, totale ou partielle, est interdite, sauf autorisation expresse
> de l??metteur. L'internet ne garantissant pas l'int?grit? de ce message
> lors de son acheminement, Atos (et ses filiales) d?cline(nt) toute
> responsabilit? au titre de son contenu. Bien que ce message ait fait
> l?objet d?un traitement anti-virus lors de son envoi, l??metteur ne peut
> garantir l?absence totale de logiciels malveillants dans son contenu et ne
> pourrait ?tre tenu pour responsable des dommages engendr?s par la
> transmission de l?un d?eux.
>
> This message and any attachments (the "message") are intended solely for
> the addressee(s). It contains confidential information, that may be
> privileged. If you receive this message in error, please notify the sender
> immediately and delete the message. Any use of the message in violation of
> its purpose, any dissemination or disclosure, either wholly or partially is
> strictly prohibited, unless it has been explicitly authorized by the
> sender. As its integrity cannot be secured on the internet, Atos and its
> subsidiaries decline any liability for the content of this message.
> Although the sender endeavors to maintain a computer virus-free network,
> the sender does not warrant that this transmission is virus-free and will
> not be liable for any damages resulting from any virus transmitted.
>
> _______________________________________________
> 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/20141206/e260652c/attachment.html>