不可靠的函数指针转换
将函数指针转换为具有不同参量或返回类型的另一个函数指针
描述
将函数指针转换为具有不同参量或返回类型的另一个函数指针时,会发生此缺陷。
风险
如果将一个函数指针转换为具有不同参量或返回类型的另一个函数指针,然后使用后一个函数指针去调用一个函数,则该行为是未定义的。
修复
避免在参量或返回类型不匹配的两个函数指针之间进行转换。
请参阅下面的修复示例。
如果您不想修复该问题,可以在结果或代码中添加注释,以避免再次被审查。请参阅:
通过 Bug 修复或申述在 Polyspace 用户界面中处理结果(如果在 Polyspace 用户界面中审查结果)。
通过 Bug 修复或申述在 Polyspace Access 中处理结果 (Polyspace Access)(如果在 Web 浏览器中审查结果)。
为代码添加注解并隐藏已知或可接受的结果(如果在 IDE 中审查结果)。
示例
结果信息
| 组:静态内存 |
| 语言:C | C++ |
| 默认值:On |
命令行语法:FUNC_CAST |
| 影响:中 |
版本历史记录
在 R2013b 中推出
另请参阅
主题
- 解释 Polyspace 桌面端用户界面中的 Bug Finder 结果
- 解释 Polyspace Access Web 界面中的 Bug Finder 结果 (Polyspace Access)
- 通过 Bug 修复或申述在 Polyspace 用户界面中处理结果
- 通过 Bug 修复或申述在 Polyspace Access 中处理结果 (Polyspace Access)