Open Access
表5
空指针解引用验证方法的验证范围
| 编号 | 指针类型 | 指针变量 | 验证措施 |
| 1 | 1级指针 | 静态确定 | 直接验证 |
| 2 | 1级指针 | 依赖函数参数 | 插入确定参数值的激励函数 |
| 3 | 1级指针 | 依赖全局变量 | 插入确定全局变量的激励函数 |
| 4 | 多级指针 | 静态确定 | 直接验证 |
| 5 | 多级指针 | 依赖函数参数 | 插入确定参数值的激励函数 |
| 6 | 多级指针 | 依赖全局变量 | 插入确定全局变量的激励函数 |
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.