Esempi in C++ (Cpp) per escape_absolute_uri

Esempio n. 1

File: simp2_bad.c Progetto: GiulioImperato/frama-c

int main ()
{
  char uri [URI_SZ];
  int scheme;

  uri [URI_SZ-1] = EOS;
  scheme = LDAP_SZ + 2;

  escape_absolute_uri (uri, scheme);

  return 0;
}

Esempio n. 2

File: apache-cve-2006.c Progetto: zodiac/klee-nush

int main ()
{
  char uri [URI_SZ];
  int scheme;

  uri [URI_SZ-1] = EOS;
  scheme = LDAP_SZ + 2;
  
  klee_make_symbolic(uri, sizeof(uri), "uri");

  escape_absolute_uri (uri, scheme);

  return 0;
}