FoxBASE反编译程序设计

本文分析了ＦｏｘＢＡＳＥ编译目标文件的结构，给出了直接反编译的方法，并在文末分析了ＦｏｘＢＡＳＥ编译的加密机制。     

PASCAL编译程序的设计

相当详细地描述了程序设计语言PASCAL编译程序的建立过程。讨论了涉及程序和数据的安排的设计决定、编译程序连同它的语法分析算法的体制以及关于方案的总的方法。这个编译程序是用它自己的语言写的,并在CDC 6000系列计算机上实现。希望读者了解参考文献1。     

Java编译程序技术与Java性能

概述了Java编译程序技术,把Java编译程序分成5类:具有解释技术的编译程序;具有及时(JIT)编译技术的编译程序;具有自适应优化技术的编译程序;本地编译程序和翻译程序.详细描述和分析了它们的体系结构和工作原理.同时也分析了编译程序技术对Java性能的影响.     

VAX／VMS Ada编译程序的结构与功能

《Ada编译程序系统剖析》是我国七·五期间军用计算机研制计划中的主要课题之一。其目标是以VAX/VMS Ada编译程序系统的目标码为对象,搞清该系统的结构、功能、方法和接口技术。从Ada编译及其环境各方面介绍了Ada编译系统的结构、所采用的编译方法、各遍扫描的任务和相互接口、中间语言的形式、Ada任务与异常的实现以及与操作系统VMS的接口等技术。     

C反编译控制流分析——非结构化代码的处理

本文分析了程序代码中四种基本的非结构化形式及在反编译控制流分析时,对这四种非结构化形式的处理。保证反编译出来的高级程序可读性好,保持原程序的结构。本文还介绍了对主要非结构化形式的结构化变换及break和Continue的C语言特性的恢复。用GoTo语句处理一些非结构化的情况。     

基于程序图的路径测试

软件测试是软件设计中一个重要阶段，也是保证软件可靠性的重要手段。路径测试是软件测试中一种重要方法，而测试的关键是确定路径数目和设计测试用例。本文讨论了利用程序图进行路径测试的方法。     

用优先图辅助并发程序设计

提出用优先图PG(Precedence Graph)辅助并发程序设计的思想,阐述了将程序描绘成优先图的步骤,以及将优先图转换为并发程序的方法.由此得出了利用优先图辅助并发程序设计使得并发程序的设计更加直观、快捷和准确,通过优先图的化简可以降低并发程序复杂性的结论.     

一种逆向程序流依赖性分析方法及其应用

本文提出一种基于逆向程序流分析的程序依赖性分析的形式化通用模型,它虽然基于一些很简单的概念与定义,但在程序测试、排错、维护、代码优化等多个方面有着广泛的应用。     

程序缺陷分析与安全保护技术研究

程序安全是信息安全研究的一个重要方向,主要研究程序缺陷分析和安全保护技术等.介绍程序缺陷分析研究及其分类方法,然后将程序安全保护研究分为三类主要途径进行重点阐述和分析,最后讨论程序安全研究的发展趋势.     

基于基本块标识方法的控制流图生成器设计

设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。     

基于B/S结构的管理实验程序的设计与开发方法分析

随着实验经济学的逐渐兴起并得到广泛认可,同样具有社会科学背景的管理学领域研究也开始尝试运用实验研究方法.选择管理实验研究中的管理实验程序设计与开发作为研究主题,从基于B/S结构的管理实验程序的体系结构、设计开发过程和基本功能模块三个方面介绍了该类程序的通用设计开发方法,为同类及相关实验程序的开发提供了借鉴.     

以问题结构为基础的递归程序设计

对递归程序的结构进行了较为深入的研究,提出了递归程序的更一般结构,根据此结构,给出了复杂的递归疸的程序设计方法,根据此方法,可方便地写出较为复杂的递归问题的递归程序,从而提高设计递归程序的效率。     

基于知识的设计流程控制

由于电子ＣＡＤ系统的复杂性不断增加，大量高度专业化的ＶＬＳＩ设计工具使设计的工具选择和启动过程变得十分繁琐和复杂。为了克服上述困难，本文提出一个基于知识推理的方法来解决这一问题。我们采用一种有向图和基于设计上下文的产生式规则来共同构造设计流程的模型。     

基于程序控制流的静态软件胎记算法研究

针对传统SKB软件胎记检测程序抄袭结果不准确的问题,提出一种基于程序控制流的软件胎记方法进行抄袭检测。使用Java程序静态分析的结果作为元信息,通过分析元信息得到字节流指令。分析字节指令流以及程序的控制流结构,并将其中的外部引用替换为外部控制流结构,以该控制流结构作为软件胎记。使用VF2算法计算两胎记之间的相似度,从而判定两程序之间是否存在抄袭行为。实验结果表明,所提胎记较传统SKB胎记更具可信性。