《表6 无符号型整数减溢出实例》
提示：宽带有限、当前游客访问压缩模式
对程序中使用的变量进行符号表示后，针对无符号型整数减溢出方面的错误可以通过将该缺陷模式的性质约束条件进行求解，如表6所示．
| 图表编号 | XD00108132700 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.10.01 |
| 作者 | 高猛、滕俊元、陈睿、孙民 |
| 绘制单位 | 北京控制工程研究所、北京轩宇信息技术有限公司、北京控制工程研究所、北京轩宇信息技术有限公司、北京控制工程研究所、北京轩宇信息技术有限公司、北京控制工程研究所、北京轩宇信息技术有限公司 |
| 更多格式 | 高清、无水印（增值服务） |
