控制流检查
函数调用和循环检查
如果控制流更改导致了明确的运行时错误，则 Polyspace® Code Prover™ 中的控制流检查将标记更改该控制流的语句。红色的循环语句或函数调用指示该循环或函数体内的某个运算导致了运行时错误。
Polyspace 结果
主题
- Review and Fix Non-Terminating Call Checks
Review operations in the function body and find which run-time error occurs because of issues specific to the current function call.
- Identify Function Call with Run-Time Error
Identify the function call responsible for a run-time error in the function body.
- Review and Fix Non-Terminating Loop Checks
Review operations in the loop and determine why the loop does not terminate or why a definite run-time error occurs in one of the loop runs.
- Identify Loop Operation with Run-Time Error
Identify the loop operation responsible for an error in a loop.
- Find Relations Between Variables in Code
Determine if the variables in any operation are related from some previous operation.
