数值检查
算术运算检查
Polyspace® Code Prover™ 中的数值检查用于检查算术运算中是否有运行时错误，例如，溢出或除以零。
Polyspace 结果
主题
- Review and Fix Division by Zero Checks
Review prior operations in your code that lead to zero value of a denominator.
- Review and Fix Overflow Checks
Review prior operations in your code that lead to an operation overflowing.
- Review and Fix Invalid Shift Operations Checks
Review prior operations in your code that lead to a shift amount outside bounds or a negative value being left-shifted.
