程序设计方案--数据类型的设计方案、实现与语义.ppt

9?禁止内存越界使用 告警级别：Error。 理由：内存越界使用会引起非法操作异常，目前只能检测静态可识别的内存越界。 ? 10 禁止向指针对象传送大小超过其申请范围的对象（一般来说是过大的数组） 告警级别：Error。 ?11?禁止将内层自动变量的地址传给外层指针（包括两种情况，一种是以参数形式传回，另一种是通过return语句传出去）。 告警级别：Error。 理由：会引起指针空挂，因为内层声明的自动变量在返回外层时自动释放，这样当外层再使用那个地址时就引起指针空挂。 ? 12? 禁止将一自动变量的地址赋给一静态变量 告警级别：Error。 理由：将一个自动变量的地址赋值给一个静态变量容易引起地址空挂。因为当函数返回时，静态变量还会存在，而自动变量将消逝，这样静态变量所指的变量已经释放，从而引起指针空挂。 ? 13? 禁止向指针或数组名赋负整数 告警级别：Error。 理由：内存不可能为负地址。 ? 14??禁止取数组的地址 告警级别：Error。 理由：这种操作一般来说没有意义。 15? 远、近指针相互转换 告警级别：Warning。 理由：可能会丢失或得到错误的地址信息。 ? 16? 取寄存器变量的地址 告警级别：Error。 理由：寄存器不在内存寻址范围内。 17 禁止没有左值的取地址操作 告警级别：Error。