---
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?
- Subject: [Frama-c-discuss] Printing all global variables of a set of C files?
- From: anne.pacalet at free.fr (Anne Pacalet)
- Date: Mon, 30 Sep 2013 12:06:36 +0200
- In-reply-to: <CAC3Lx=YHQsCeWEP0q7eZbfz1S9OS2625Lrk4BR5-MVF+jXZw+g@mail.gmail.com>
- References: <CAC3Lx=YHQsCeWEP0q7eZbfz1S9OS2625Lrk4BR5-MVF+jXZw+g@mail.gmail.com>
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.