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