1) assembly code certification
汇编代码验证
1.
The formal specifications in assembly code certification are usually complicated.
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范。
2) assembly code
汇编代码
1.
According to the characteristic of the assembly language, this thesis provides a thought of the program struc-ture analysis of the general embedded assembly code.
根据汇编语言的特点,提出了一种通用的嵌入式汇编代码的程序结构分析思想,成功地解决了汇编级代码的结构分析问题,特别是针对子程序划分、确定子程序间的调用关系及多入口和多出口等问题提出了实际的解决方案,为以后的编译优化、代码覆盖测试、逆向工程分析等环节奠定了基础。
3) assembly level code
汇编级代码
5) Assembly Code Generation
汇编代码生成器
6) verification of DNA encoding
DNA编码的验证
补充资料：代码生成
代码生成
code generation
daima Shengeheng代码生成(，de generation)把语法语义分析后的中间结果转换成等价的目标程序或目标程序模块的过程。中间结果是用三元式、四元式或逆波兰式等中间语言表示的程序。目标程序是用目标语言书写的。目标语言可以是机器语育、汇编语言乃至高级语育。随着计算机的编译环境和执行环境的不断完善，不仅能产生可直接执行的目标程序，也能生成可再定位的或可连接的目标程序模块，并最终通过连接装人程序构成可直接执行的目标程序。 代码生成不但与编译有关，而且与运行环境有关。所生成的目标程序应当符合连接装人所要求的规范。代码生成中存储分配和寄存器分配是直接影响目标程序功效的重要且复杂的问题，应给予足够重视。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条