Uninitialized global variables

[Massimiliano Cialdi]

I need to search for uninitialized variables in a not-instrumented
source code (w/o annotations). No problem with local (automatic)
variables but I don't know how to analize global variables.

for example:

------------------------------
static int a;

static void s()
{
  if(a==34) a=33;
}

int main(void)
{
  int r;
  if(r==66) r = 65;
  s();
  return 0;
}
-------------------- 
in this case splint only report "Variable r used before definition", but
nothing about a.

thanks
-- 
Massimiliano Cialdi
[EMAIL PROTECTED]
[EMAIL PROTECTED]