The automation procedure described above does not impose any conditions that control the flow of task.
上面所述的自动化过程并不施加任何控制任务流的条件。
2
RETURN: Returns an integer and the flow of control to the caller of the stored procedure.
RETURN:将一个整数值和控制流返回给存储过程的调用方。
3
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, controlflow graph generation, data flow analysis, and property verification.