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

[Frama-c-discuss] How to identify macro definition during frama-c preprocessing



>
>
> 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.htm>