高级程序设计语言和硬件描述语言VHDL的数据类型比较

本文主要对高级程序设计语言和硬件描述语言VHDL的数据类型进行比较分析,总结规律,探讨两种语言数据类型之间的特点。     

用C语言实现超长整数的加减乘除四则运算

通过对 C语言链表、字符串的应用 ,解决了高级程序设计语言处理数据存储空间的问题 ,实现了高级语言数据类型无法完成的超长整数、高精度加减乘除四则运算 ,并对其实现算法进行了简要的分析和介绍     

几种高级语言数据类型和过程调用的比较

最常用的４种高级程序设计语言的发展历史和现在使用的状况，并对数据类型和过程调用进行了比较，给出了每种语言的不同点和使用范围     

用C语言字符串实现多位整数的高精度计算

本文通过对C语言字符串的应用,解决了高级程序设计语言处理数据存储空间的问题,实现了高级语言数据类型无法完成的,多位整数、高精度减法、除法计算,并对其实现算法进行了简要的分析和介绍。     

适合于科学计算的脚本语言Python

Python是面向对象的脚本语言，它有高级的数据类型和简单但却有效的面向对象的程序设计方法，其精炼的语法，动态类型及其自动的解释器，使它适合于大部分平台上编写脚本和快速开发应用程序。Python语言结合C语言编写的Numpy（数值扩展程序模式）或与系统语言C／C＋＋，Fortran结合用于开发科学计算软件。     

实体模型语言SML

为了研究过程模型技术,开发了实体模型语言SML。该语言是一种将几何物体作为数据类型的高级程序设计语言。本文给出了应用实例,并叙述了它的实现方法。     

Pascal语言中数据类型的等价问题

在Pascal语言中 ,提出了数据类型定义的问题 ,但是它在对两种数据类型是否相同的比较操作中 ,存在着两种标准 ,即名字相同和结构相同 ,本文讨论这两种标准出现的情况以及其利弊 ,并与其它高级程序设计语言作了比较。     

如何实现C语言编程输出空心菱形

C语言是一种通用的程序设计语言。结构简单,数据类型丰富,运算灵活方便,用它编写的程序表达能力强,目标代码效率高,可移植性好,既具有高级语言的优点,又具有低级语言的特点,利用它能够有效地编制各种系统软件和应用软件,是比较流行的一门语言。     

Linux的Shell编程（下）

上一篇文章讲了shell的基本概念和shell编程的基本语法,接下来以bash为例向大家介绍shell程序设计的高级部分：shell编程的流程控制、调试方法及shell程序的运行方法,顺便也向大家介绍一下bash的内部命令。四、shell程序设计的流程控制和其他高级程序设计语言一样,shell提供了用来控制程序执行流程的命令,包括条件分支和循环结构,用户可以用这些命令建立非常复杂的程序。与传统的语言不同的是,shell用于指定条件值的不是布尔表达式而是命令和字符串。1.test测试命令test命令用于检查某个条件是否成立,它可以进行数值、字符和文件三个…     

C＋＋与C的比较

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

符号执行过程的DFA和CFA

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

C反编译控制流恢复的形式描述及算法

反编译是软件逆向工程的重要组成部分。控制流恢复是Ｃ反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了Ｃ编译和反编译控制结构的数学模型并给出其性质；再次根据对Ｃ控制语句编译结果的分析，以扩展的ＢＮＦ形式描述了Ｃ控制语句反编译的约束属性方法；最后给出并说明了反编译控制流恢复的算法及其运行示例。     

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

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

非纯变量下标的数组类型恢复

逆编译中,复合数据类型恢复是最困难的问题,文中介绍按特征进行数据流分析,收集变量的各种定义和引用信息,然后通过计算地址表达式和合并地址区间的方法恢复数组类型,与其他方法不同之处在于,它可以恢复非纯变量下标引用的数组类型,文中最后分析了该方法的实际使用效果。     

利用异常机制的C++类型恢复方法

二进制代码的逆向工程是一个底层的技术，被应用于计算机安全、系统验证、加密解密等相关领域。在逆向工程中，C++的反编译技术是一个难点，尤其是其类型信息的恢复。该文提出了一种利用异常处理机制的类型恢复方法，该方法可以用来分析出每个函数的所有局部类变量，还能分析出这个类的构造函数和析构函数的地址。该方法在特定的环境下可以准确高效地解决C++反编译中的一个难点。     

基于规则的数据类型重构技术研究

为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.     

基于可疑行为识别的PE病毒检测方法

针对当前PE病毒难以防范及查杀的现象,对PE病毒关键技术进行分析,提取病毒典型特征的可疑行为,在此基础上提出一种Windows平台下的静态检测方法。该方法在对程序反编译处理的基础上,以指令序列与控制流图的分析为行为识别依据,完成基于可疑行为识别的病毒检测方法的设计。实验结果证明,该检测方法能有效检测混淆变换病毒。     

逆编译系统中开关结构的识别与恢复

开头结构的恢复是逆编译中的重要部分,也是很困难的部分。本文分析了C语言开关结构在可执行文件中的形式、特点和表示;定义了一种模式语言,用以描述开关结构引导区识别模板;介绍了开关结构识别程序和恢复程序的设计原理及实现方法,识别程序使用这些模板,识别开头结构引导区类型,获取相关信息。恢复程序可以根据这些信息将不同开头结构转换成统一格式的中间代码形式,使用该方法可以很容易地针对新编译器或新版本,在反编译系统中增添新模板。     

列检微机控制试风系统的研制

介绍了列检微机控制试风系统的研制与实现．系统包括现场控制机系统、无线遥控子系统，列尾风压子系统和远程控制机系统．主要介绍了单片机测控、无线数传、DTMF解码、数据通讯和通信协议．     

应用于病毒分析的逆编译

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