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

[Frama-c-discuss] Printing all global variables of a set of C files?



Hello David,

Le 30/09/2013 11:29, David MENTRE a ?crit :
> Does anybody know how to print all the global variables of a set of C files?

You can have a look here to have a starting point :
https://anne.pacalet.fr/Notes/outils/frama-c/scripts/

(sorry : don't have time to help you more,
but please ask questions if this is not clear)

-- 
Anne.