--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on September 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c-discuss Digest, Vol 40, Issue 3



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>