-consider-external-array-access-unsafe

删除未指定大小的外部数组可以按任何索引安全访问的默认假设

语法

-consider-external-array-access-unsafe

描述

-consider-external-array-access-unsafe 删除 Code Prover 对未指定大小的外部数组可以按任何索引安全访问的默认假设。默认情况下，由于该假设，即使外部数组大小未知，Code Prover 仍会对外部数组访问代码显示绿色数组索引越界检查。如果您使用此选项，相同检查将显示为橙色，表示该访问未被证明安全，需要手动检查。

在用户界面（仅限 Polyspace® 桌面端产品）中，在配置窗格的其他字段中输入此选项。请参阅其他。

示例

在使用和不使用该选项的情况下分别对此示例运行 Code Prover。

extern int arr[];

int getFifthElement(void) {
   return arr[5];
}

在不使用该选项时，数组访问显示绿色数组索引越界检查，但在使用该选项时，显示橙色检查。

另请参阅

| |

主题