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



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