ction valid? %d\n", valid((void *)main));
?
? int *p = (int *) malloc(sizeof(int));
? printf("pointer to heap valid? %d\n", valid(p));
? printf("pointer to end of allocated heap valid? %d\n", valid(++p));
? free(--p);
? printf("pointer to freed heap valid? %d\n", valid(p));
? printf("null pointer valid? %d\n", valid(NULL));
?
? return 0;
}
在linux平台运行结果如下：
?
pointer to local var valid? 1
pointer to static var valid? 1
pointer to function valid? 0
pointer to heap valid? 1
pointer to end of allocated heap valid? 1
pointer to freed heap valid? 1
null pointer valid? 0
另一种方法是利用ANSI-C和
C++的边界检查工具（CBMC）
?