静态二进制翻译中间接过程调用恢复技术研究

间接过程调用的恢复问题是静态二进制翻译中的难点之一。针对使用c后端的静态二进制翻译框架,提出并实现间接过程调用恢复方法,该方法结合代码间隙分析,在后端c代码生成过程中插入映射源过程地址到目标机过程地址的代码。相对于使用解释器的方法,该方法具有实现简洁、在目标机上运行速度更快的优点。     

游戏开发中的脚本应用（上）

在早期的一些游戏中．大部分的游戏逻辑都直接写入游戏代码，例如计算公式、游戏流程等。但随着产业的发展，游戏开发变得越来越复杂。脚本的应用就被摆在了游戏开发者面前。     

类汇编语言解释器设计与实现

类汇编语言是汇编语言的一个子集。对类汇编语言解释器进行了设计与实现。该解释器实现了汇编语言的大部分功能,例如段的分配、符号变量的定义、表达式的解析、指令的解释等等。而且在需要时能方便地进行扩展。     

时序Agent程序设计语言TAOPLID的离线解释器

AOPLID是一种面向agent程序设计语言。本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AOPLID程序的语义,用Prolog语言实现时序AOPLID语言(TAOPLID)的离线解释嚣。首先,我们对经典情境演算进行适当改造,使之能描述合时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,所以可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动。其次,为使TAOPLID离线解释嚣方便处理以集合方式表示的TAOPLID程序,设计并实现了TAOPLID预处理嚣,它将TAO—PLID程序的集合形式转换成Prolog子句形式,然后通过TAPOLID离线解释嚣对其解释生成一可执行的原子行动序列。     

中文页面描述语言解释器中的复合字库技术

ＰｏｓｔＳｃｒｉｐｔ页面描述语言已在电子出版等领域得到了广泛应用。本文介绍了中文页面描述语言解释器中的复合字库技术，它能处理中、日、韩，并介绍了一个字库实例。     

Java虚拟机实现原理分析

针对虚拟机的底层实现原理及相关实现过程,讨论了Java语言的跨平台原理以及相关工作机制,分析了JVM底层各数据区内存管理过程,阐述了JVM在Java语言中的核心作用以及重要地位。     

基于改进PCFG的语言解释器模糊测试

为在语言解释器的模糊测试中构造符合语言规范的样本,并尽可能地得出异常测试结果以便发现漏洞,采用改进的概率上下文无关语法模型控制样本的变异过程,对变异结果中的未定义变量进行修正以提高符合语言规范的样本比率。在此基础上,对语言解释器进行模糊测试,结果表明,该测试所生成样本中符合语法、语义规范的比率高达96%。     

一种基于元模型的访问控制策略描述语言

为了保护云资源的安全,防止数据泄露和非授权访问,必须对云平台的资源访问实施访问控制.然而,目前主流云平台通常采用自己的安全策略语言和访问控制机制,从而造成两个问题:(1)云用户若要使用多个云平台,则需要学习不同的策略语言,分别编写安全策略;(2)云服务提供商需要自行设计符合自己平台的安全策略语言及访问控制机制,开发成本较高.对此,提出一种基于元模型的访问控制策略描述语言PML及其实施机制PML-EM.PML支持表达BLP、RBAC、ABAC等访问控制模型.PML-EM实现了3个性质:策略语言无关性、访问控制模型无关性和程序设计语言无关性,从而降低了用户编写策略的成本与云服务提供商开发访问控制机制的成本.在OpenStack云平台上实现了PML-EM机制.实验结果表明,PML策略支持从其他策略进行自动转换,在表达云中多租户场景时具有优势.性能方面,与OpenStack原有策略相比,PML策略的评估开销为4.8%.PML-EM机制的侵入性较小,与云平台原有代码相比增加约0.42%.     

球类比赛的脚本解释器的研究与实现

现今每个球类技战术分析系统(TTAS)都单独设计脚本解释器,这就造成了程序设计人员的重复劳动。针对这个问题,通过分析球类比赛特点,设计了一类球类比赛脚本描述语言的语法结构,并通过对脚本描述语言进行词法分析、语法分析和语义分析等,最终实现了这类球类比赛技战术分析系统的脚本解释器。目前,该解释器成功地应用在乒乓球、篮球和排球技战术分析系统中,同时也有效地解决了程序设计人员重复劳动的问题。     

XML安全风险分析

XML作为一种工具，被广泛地应用于企业管理的信息化中，针对其在应用中的安全风险，分析了对XML及其解释器和应用系统的可能攻击，针对每一攻击做出分析并给出了相应的对策．