--- layout: fc_discuss_archives title: Message 4 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



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