Open Access
表4
数组越界验证方法的验证范围
| 编号 | 数组维度 | 数组长度 | 数组索引 | 验证措施 |
| 1 | 1维 | 静态确定 | 静态确定 | 直接验证 |
| 2 | 1维 | 依赖全局变量 | 静态确定 | 插入确定全局变量的激励函数 |
| 3 | 1维 | 依赖函数参数 | 静态确定 | 插入确定函数参数的激励函数 |
| 4 | 1维 | 静态确定 | 依赖全局变量 | 插入确定全局变量的激励函数 |
| 5 | 1维 | 静态确定 | 依赖函数参数 | 插入确定函数参数的激励函数 |
| 6 | 多维 | - | - | 同1维数组的验证方法 |
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.