--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on February 2011 ---
Hi, Can we use frama-c to collect the referenced (used/modified) global variables of a function, including the global variables referenced by the functions called in this function? For example: struct S0{ Int a; Int b; }; struct S{ Int a; Struct S0 *p; }; struct S s1; struct S0 s0; void func() { s1.a=1; s1.p=&s0; struct S0 *p = s1.p; func2(p); } Void func2(struct S0 *p) { p->a = 0; } The func() actually has modified S.a, S.p and S.a, can frama-c support collecting this information? Thanks Xu Deng 8621-7069 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110216/fed11289/attachment.htm>