Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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>