The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.

分析一个二进制代码的通常方式有以下几个阶段：反汇编，过程抽象，控制流程图生成，数据流分析和签名验证。