--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on February 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] can we collect referenced variables with frama-c?



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>