How do i use you tool for this simple program.

[anzosasuke]

int main(int argc, char *argv[])
{
  int test_value;
  int loop_counter;
  char buf[10];

  test_value = 4105;

  loop_counter = 0;
  while(loop_counter <= test_value)
  {
    /*  BAD  */
    buf[4105] = 'A';
    loop_counter++;
  }


  return 0;
}

So this is the program. I tried with SOF and give it a different parameters, I wasn't able to get the error. How will i analyze this using Ubsym?