safecode/test/core/argv-001.c

// RUN: test.sh -e -t %t %s silly
//
// TEST: argv-001
//
// Description:
//  Test that array bounds checking works on argv strings
//

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int
main (int argc, char ** argv) {
  int index = 0;
  for (index = 0; index < strlen (argv[1]) + 2; ++index) {
    printf ("%c", argv[1][index]);
  }

  return 0;
}