--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on September 2011 ---
Thanks Pascal and Julien. Some of research work showed that macro may hidden some bugs, so sometimes, we still need to do static analysis based on the purely source code I think. Haihao On Wed, Sep 14, 2011 at 6:01 PM, < frama-c-discuss-request at lists.gforge.inria.fr> wrote: > Send Frama-c-discuss mailing list submissions to > frama-c-discuss at lists.gforge.inria.fr > > To subscribe or unsubscribe via the World Wide Web, visit > > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > or, via email, send a message with subject or body 'help' to > frama-c-discuss-request at lists.gforge.inria.fr > > You can reach the person managing the list at > frama-c-discuss-owner at lists.gforge.inria.fr > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Frama-c-discuss digest..." > > > Today's Topics: > > 1. How to identify macro definition during frama-c preprocessing > (haihao shen) > 2. Re: How to identify macro definition during frama-c > preprocessing (Pascal Cuoq) > 3. Re: How to identify macro definition during frama-c > preprocessing (Julien Signoles) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 14 Sep 2011 11:18:59 +0800 > From: haihao shen <haihaoshen at gmail.com> > Subject: [Frama-c-discuss] How to identify macro definition during > frama-c preprocessing > To: frama-c-discuss <frama-c-discuss at lists.gforge.inria.fr> > Message-ID: > <CAL2=Xacej7itx4zuhxcMX3gi_5MLCg7jyd2uf_DMRB-0444Xdw at mail.gmail.com > > > Content-Type: text/plain; charset="iso-8859-1" > > Hi, > > Frama-c could analyze the preprocessed files for C programs. However, > preprocessed files may miss some interesting stuff, like macro definition. > > I am wondering whether Frama-c has interfaces to identify macro definition > (as a part of AST of whole project) during preprocessing. > > Thanks, > Haihao > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: < > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110914/d8c412f9/attachment-0001.htm > > > > ------------------------------ > > Message: 2 > Date: Wed, 14 Sep 2011 06:36:23 +0200 > From: Pascal Cuoq <pascal.cuoq at gmail.com> > Subject: Re: [Frama-c-discuss] How to identify macro definition during > frama-c preprocessing > To: Frama-C public discussion <frama-c-discuss at lists.gforge.inria.fr> > Message-ID: > <CAOH62JjXRvqoK9jrMQwAJwMPZcmn_HT7st4v4QfL7a-BHAD5YA at mail.gmail.com > > > Content-Type: text/plain; charset="iso-8859-1" > > > > > > > Frama-c could analyze the preprocessed files for C programs. However, > > preprocessed files may miss some interesting stuff, like macro > definition. > > > > I am wondering whether Frama-c has interfaces to identify macro > definition > > (as a part of AST of whole project) during preprocessing. > > > You are right. analyzing pre-processed files is a technical choice with > advantages and drawbacks. > > The only project I know of that tries to work at the unprocessed file level > is http://coccinelle.lip6.fr/ > > Pascal > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: < > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110914/e2406f4c/attachment-0001.htm > > > > ------------------------------ > > Message: 3 > Date: Wed, 14 Sep 2011 09:45:42 +0200 > From: Julien Signoles <Julien.Signoles at cea.fr> > Subject: Re: [Frama-c-discuss] How to identify macro definition during > frama-c preprocessing > To: Frama-C public discussion <frama-c-discuss at lists.gforge.inria.fr> > Message-ID: <4E705BA6.6050208 at cea.fr> > Content-Type: text/plain; charset=ISO-8859-1; format=flowed > > Hello, > > Le 14/09/2011 05:18, haihao shen a ?crit : > > Frama-c could analyze the preprocessed files for C programs. However, > > preprocessed files may miss some interesting stuff, like macro > definition. > > > > I am wondering whether Frama-c has interfaces to identify macro > > definition (as a part of AST of whole project) during preprocessing. > > Shortly: no. > > As Pascal said, it is a technical choice. > > -- > Julien > > > > ------------------------------ > > _______________________________________________ > 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 > > End of Frama-c-discuss Digest, Vol 40, Issue 3 > ********************************************** > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110914/31df0e18/attachment.htm>