应用于病毒分析的逆编译

提出一种将逆编译技术应用于计算机病毒分析的方法，通过逆编译将带病毒机器码程序转换为功能等价的C语言程序，然后以C语言程序为基础进行病毒分析，清除和防治的研究。     

基于CFA和DTA的逆编译方法

本文提出了一种以控制流程分析和数据类型分析为基础的逆编译方法，此方法首先对机器 语言的程序进行控制流程分析和数据类型分析，从中获得高级语言的结构化控制流程和数据类型信息，最后生成目标的高级语言的程序。     

应用于病毒分析的逆编译

提出一种将逆编译技术应用于计算机病毒分析的方法.通过逆编译将带病毒机器码程序转换为功能等价的C语言程序,然后以C语言程序为基础进行病毒分析、清除和防治的研究.     

符号执行过程的DFA和CFA

将含有库函数名的汇编代码程序翻译成中间语言程序，然后再转换成高级语言程序可降低逆编译的复杂性，文章介绍了从汇编程序到中间语言程序的转换过程中，采用基于数据流和控制流分析的符号执行方法，该方法已在基于知识的逆编译系统DECLER中实现。     

反编译研究现状及其进展

一、反编译的定义、作用及其结构编译器的概念众所周知,但逆编译器的概念却还是很新奇,它允许将所定义的目标代码映射到高级表示。计算字典为编译和逆编译给出了下面的定义: 编译:转换高级语言成目标代码的程序……逆编译:一种试图…从机器代码转换回到与原程序相似的某种程序的程序。     

逆编译中面向用户的中间语言设计和实现

逆编译系统中中间语言的设计和实现极大地影响逆编译的实用型和通用性 .文中介绍了一种结构简单、可读性强的中间语言 ,它既具有高级语言控制结构 ,又能对汇编语言数据类型进行规范 .用户可以通过阅读中间语言程序来分析、理解和消化软件 .该语言已在基于知识的逆编译系统中应用 .     

基于特征值的模板化库函数识别

逆编译是编译的逆过程,目的是将可执行的二进制机器代码变换为功能等价的高级语言代码,它在监控恶意代码,挖掘软件漏洞的工作中起着重要的作用。而在面向对象语言的逆编译过程中,模板化库函数识别的难度和复杂性非常大。通过分析现有的C++库函数识别方法,针对库函数模板识别中特征值冲突的关键问题,提出一种改进的特征值构造方法,它能够更完整的保存库函数信息,降低特征值冲突出现的概率,并通过识别部分C++标准模板库函数验证了该算法。     

嵌入式汇编技术原理及其应用

为了将高级语言程序开发效率高和汇编语言程序执行效率高的特点有机的结合起来，本文提出采用嵌入式汇编技术，来实现嵌入式汇编技术就是直接把汇编语言的代码写到高级语言的代码中并一起进行编译，不需要独立的汇编系统和另外的连接步骤。嵌入式汇编技术在不同的高级语言中语法各不相同。文章最后还给出了该技术的主要应用领域，并举例说明。     

编译原理与自然语言处理的实验对齐研究

在分析高级程序设计语言编译过程和NLP基本工作流程的基础上,通过实验对齐来证明两者具有强相通性,提出将NLP工具作为编译原理实验课程的辅助工具,使学生在理解编译原理的同时激发对NLP的兴趣。     

一种用于Java程序验证编译的标签类型

在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的Java程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现Java程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的Java字节码即时编译器中.     

C逆编译系统的中间语言的一种优化表示方法

数据类型的重新定义、控制流恢复和自定义函数或结构体的识别是结构化语言逆编译过程中的难点,以往研究多采用改进汇编语言的数据类型表示和增加自定义函数或结构体的特征量的方式来优化逆编译结果。使用中间语言抽象表示逆编译后得到的汇编语言的语言形式,并设计了一种新的逆编译模式,一定程度上提升了逆编译结果的识别率、可读性和完整性。     

2007热点技术职位排行及点析（下）

Top 10：C／C＋＋高级开发工程师 职位描述：熟悉计算机体系结构、操作系统、网络、数据库、编译等基本原理。熟练使用C／C＋＋语言编程，VC，GCC，GDB等编译、调试环境，能熟练的编写多线程和Socket网络通讯程序。熟悉常用数据结构和算法。     

C＋＋与C的比较

C是个强有力的程序设计语言。它所提供的各种特点有助于写出简单明了、有效且易于维护的程序。 C语言原是贝尔实验室Dennis Ritchie为DEC PDP11机写UNIX操作系统而创立的。UNIX系统本身、C编译程序及大部分UNIX系统下的实用程序都是用C写的。因此,C的设计思想是基于面向机器的,具有许多机器语言的特点,比如有许多地址操作和位操作,可直接使用机器寄存器,可进行存贮分配等,但作为一个高级语言,又具有高级语言的特点,如具有很丰富的高级数据类型和高级程序结构。     

组合程序设计在微机控制上的应用

文章介绍微机控制系统软件设计的新方法—组合程序设计。它采用编译BASIC等高级语言与Z80汇编语言混合编程,并提供了两种语言间实现数据共享的程序设计方法。     

单片机开发装置一种常见浮点子程序库错误

讨论了ＳＩＣＥ和ＤＶＣＣ系列仿真器利用高级语言ＭＢＡＳＩＣ和ＣＢＡＳＩＣ进行编译或调用浮点子程序，当中间结果为零时，由于格式不一致而导致结果混乱的一种错误，并提出了纠错方案。     

XCY-2分块编译的实现

模块化是当今高级程序设计语言的发展趋向之一,分块编译是模块化的必然结果.本文概要地讨论了模块化语言分块编译的实现问题,并以系统程序设计语言XCY-2为背景重点讨论了实现模块间正确连接的主要点.在IBM360型计算机上的试验表明该方案简单、可行,效果是明显的.     

Ada语言并发机制的设计与实现

Ada语言并发机制是Ada语言区别于其他高级程序设计语言的主要特征之一。本文介绍了Ada语言并发机制的一种实现方法及其符合我们环境要求的实现策略;此外,还就如何编译含并发语句成份的Ada程序作了介绍。     

《软件分析》专辑前言

软件分析(Software Analysis)是以软件为对象通过静态或动态的方法进行人工或自动分析,以验证、确认、监控或发现软件性质(或者规约、约束)的过程或活动.软件分析是计算机科学与技术领域的经典和核心内容,源于人们试图认识程序行为和性质的努力.早期的软件分析主要还是程序分析,是高级语言编译过程的第一步工作,长期以来,在编译理论和技术的发展中得到了较深入的研究.     

TDC-3000中CL程序与过程数据点的联接

CL(control language)语言作为一种功能强大的高级控制程序语言和嵌入式编译指令，在实现根据用户意图而制定的控制方案方面具有无可置疑的优势。一个CL程序编好之后，为了实现其控制意图，必然要与来自现场的过程数据点的处理过程发生联系。完整而系统地对这种联系进行剖析对于灵活、机动地使用好CL语言无疑具有重大意义。     

面向语言的计算机体系结构

引言 目前,大多数计算机用户均采用高级语言来编制程序,用户源程序经编译后得到用机器指令所组成的程序称为目标程序,通常机器执行的是目标程序,与汇编语言书写的程序相比,机器编译出来的目标程序不仅程序长,而且机器执行时所化费的时间长,虽然采用了各种语言优化等手段,但是要接近汇编程序还是比较困难的。其原因是由于编译程序的编制通常是在硬件结构已经确定好以后进行的,因而受到较大的限制,因此较好的办法是硬件结构的设计就要考虑如何加速目标程序的执行。本文介绍一台以科学计算为主。适合 FORTRAN等高级语言的目标程序执行的大型计算机的体系结构设计。在文章的前一部分选取了在通用计算机上进行计算的各种典型题目的程序,对它们的核心部分——循环程序进行数据和程序