Exemplo n.º 1
0
int main()
{
	__global_variables_init();

  int i=1;
__boundcheck_metadata_store((void *)(&i),(void *)((size_t)(&i)+sizeof(i)*8-1));

  printf("%d\n",s[_RV_insert_check(0,6,39,17,"main",i)].len);
  printf("%d\n",ss[_RV_insert_check(0,8,40,17,"main",i+1)].len);
  printf("%c\n",sss[_RV_insert_check(0,2,41,17,"main",1)].array[_RV_insert_check(0,10,41,17,"main",2)]);
  return 0;
}
Exemplo n.º 2
0
int
main(int argc, char *argv[])
{
	__global_variables_init();

      DWORD crc;
__boundcheck_metadata_store((void *)(&crc),(void *)((size_t)(&crc)+sizeof(crc)*8-1));

      long charcnt;
__boundcheck_metadata_store((void *)(&charcnt),(void *)((size_t)(&charcnt)+sizeof(charcnt)*8-1));

      register errors = 0;

      while(--argc > 0)
      {
            errors |= crc32file(*++argv, &crc, &charcnt);
            printf("%08lX %7ld %s\n", crc, charcnt, *argv);
      }
      return(errors != 0);
}