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.
分析一个二进制代码的通常方式有以下几个阶段:反汇编,过程抽象,控制流程图生成,数据流分析和签名验证。
As with EJB, CORBA, and DCE, the core abstraction for Web services is a remote procedure call.
就像EJB、CORBA和DCE一样,Web服务的核心抽象也是远程过程调用。
The procedure and range of component retrieval and composition is simplified through process abstraction, model definition and function normal realization, while the operability is greatly increased.
通过过程抽象、模型定义、函数规范实现、简化检索与合成手续和范围,使可操作性大大提高。
应用推荐