--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on September 2011 ---
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>