symbiotic problem when argv and argc is used

[dkozovsk]

When I use symbiotic with option --prp=memsafety on this code:

int main (int argc, char *argv[])
{ 
   if (argc > 0)
      printf("%s\n",argv[0]);
   return 0;
}

it returns: Error found. RESULT: false(valid-deref)

On the other hand if I run symbiotic also with --prp=memsafety on this code:

int main (int argc, char *argv[])
{ 
   if (argc == 2)
      printf("%s\n",argv[5]);
   return 0;
}

it returns: No error found. RESULT: true

[mchalupa]

I cannot reproduce the first one, but I can reproduce the latter one. What version of Symbiotic did you use? By the way, may I add these code snippets as tests?

Thanks, Marek

[dkozovsk]

I used symbiotic-5.0.1 and of course you can use that code as you like