本文聚焦于嵌入式软件测试中的安全性检查，通过控制流分析揭示了一系列常见错误，包括无条件跳转、不适当循环嵌套、死循环、转向不存在的语句、调用不存在的子程序、未使用的变量和子程序、不可达代码、括号使用错误、数组引用异常、除数可能为0、负数开平方以及浮点数的相等比较问题。这些错误可能导致严重的安全风险，必须在测试阶段得到妥善处理。
安全性检查
1、数据流分析
通常用数据流图来分析数据处理的异常现象，这些异常包括初始化、赋值或引用数据等。对数据流的分析主要包括对过程或函数调用信息的分析以及对数据流的反常分析。主要集中关注定义/引用异常的缺陷（定义的变量没有使用，使用的变量没有定义）。
2、控制流分析
- 通过控制流分析可发现以下错误：
- 无条件跳转（goto语句）的使用
最低0.47元/天 解锁文章
扫一扫
2505
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
