东南大学9系信息工程学院《程序设计原理07》.pptVIP

6?禁止将在内层申请的堆变量地址传给外层 告警级别：Error。 理由：将在内层申请的堆变量地址传给外层可能引起指针空挂。 ? 7 memcopy和memmove中，源指针和目标指针的有效类型（effective type）要兼容。 告警级别：Warning。 8?memcopy和memmove中最好整体操作(第三个参数的值等于源指针指向的对象的大小) 告警级别：Informational。 理由：向目的地址拷贝（移动）时，一般为整体操作，如果只有拷贝（移动）一部分，需要在文档中注明。? * 第六十二页，共一百零一页。 9?禁止内存越界使用 告警级别：Error。 理由：内存越界使用会引起非法操作异常，目前只能检测静态可识别的内存越界。 ? 10 禁止向指针对象传送大小超过其申请范围的对象（一般来说是过大的数组） 告警级别：Error。 * 第六十三页，共一百零一页。 ?11?禁止将内层自动变量的地址传给外层指针（包括两种情况，一种是以参数形式传回，另一种是通过return语句传出去）。 告警级别：Error。 理由：会引起指针空挂，因为内层声明的自动变量在返回外层时自动释放，这样当外层再使用那个地址时就引起指针空挂。 ? * 第六十四页，共一百零一页。 12? 禁止将一自动变量的地址赋给一静态变量 告警级别：Error。 理由：将一