compiler/purify/test3.c

   1 #include <stdio.h>
   2
   3 int main (int argc, char ** argv)
   4 {
   5     char * str;
   6     int t;
   7
   8     if (argc == 1)
   9     {
  10         printf ("Too few arguments\n");
  11         return 10;
  12     }
  13
  14     str = "Hello world.\n";
  15
  16     printf ("%s", str);
  17
  18     printf ("&argc=%p\n", &argc);
  19     printf ("argv=%p\n", argv);
  20
  21     for (t=0; t<argc; t++)
  22         printf ("Arg %d: %s\n", t, argv[t]);
  23
  24     argc = 1;
  25     *argv = "test";
  26
  27     argv[1][1] = 'x'; /* Illegal Write */
  28
  29     return 0;
  30 }