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