.NET框架下公共语言运行时组件(CLR)的运行机制 被引量：5

1

作者 曾诚 《湖北大学学报（自然科学版）》 CAS 2003年第4期304-305,共2页

.NET框架是一种新的计算机工作平台,它可以简化在Internet分布式环境下的应用程序开发..NET框架含有两个主要组件:公共语言运行时组件(CLR)和类库组件.公共语言运行时组件是.NET框架的基础所在.简要论述了公共语言运行时组件在.NET框架... .NET框架是一种新的计算机工作平台,它可以简化在Internet分布式环境下的应用程序开发..NET框架含有两个主要组件:公共语言运行时组件(CLR)和类库组件.公共语言运行时组件是.NET框架的基础所在.简要论述了公共语言运行时组件在.NET框架下的运行机制及其原理. 展开更多

关键词 .NET框架 公共语言运行时组件 运行机制 中间语言 JUST-IN-TIME 元数据

下载PDF 职称材料

语义层次的协议格式提取方法 被引量：10

2

作者 潘璠 洪征 +1 位作者 周振吉 吴礼发 《通信学报》 EI CSCD 北大核心 2013年第10期162-173,共12页

现有协议格式提取方法在语法层次对程序执行轨迹进行分析,字段识别结果可能存在冗余和冲突。为了提高字段识别准确率,提出了一种语义层次的协议格式提取方法。方法首先将执行轨迹中的二进制指令转换为语义等价的中间语言形式,并通过细... 现有协议格式提取方法在语法层次对程序执行轨迹进行分析,字段识别结果可能存在冗余和冲突。为了提高字段识别准确率,提出了一种语义层次的协议格式提取方法。方法首先将执行轨迹中的二进制指令转换为语义等价的中间语言形式,并通过细粒度的动态污点分析跟踪字段语义解析过程,在此基础上,依据字段的语义不可分割性,利用语义层次的字段识别策略实现了协议格式提取。测试结果表明,该方法具有较高的识别精度和较低的分析复杂度。 展开更多

关键词 协议逆向工程 协议格式提取 动态污点分析 中间语言

下载PDF 职称材料

一种重构二进制代码中类型抽象的方法 被引量：8

3

作者 马金鑫 李舟军 +2 位作者 忽朝俭 张俊贤 郭涛 《计算机研究与发展》 EI CSCD 北大核心 2013年第11期2418-2428,共11页

重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对... 重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对类型重构的准确度不够高.提出一种保守的类型重构方法,针对类型重构引入一种简单的中间语言,基于这种中间语言构造寄存器抽象语法树,并使用寄存器抽象语法树部分解决了基址指针别名问题,可有效收集基本类型和结构体类型的类型约束信息.提出一种判断二进制代码中的循环结构及识别循环变量的方法,可有效收集数组类型的约束信息,并据此生成类型约束,然后通过处理类型约束来重构最终的类型.使用CoreUtils中的15个程序作为测试用例,将该方法与IDA Pro进行对比实验.实验结果表明提出的方法不仅可以高效地重构数据类型,而且在结构体类型重构方面可恢复比IDA Pro多达5倍的数据.对这些数据的人工验证与分析表明,使用该方法重构的类型准确率高. 展开更多

关键词 类型重构 寄存器抽象语法树 中间语言 循环变量 别名分析

下载PDF 职称材料

基于IDA-Pro的软件逆向分析方法 被引量：4

4

作者 秦青文 王戟 +1 位作者 孙旭光 梅文华 《计算机工程》 CAS CSCD 北大核心 2008年第22期86-88,99,共4页

二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转... 二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。转换所得中间语言可读性较强,具有通用性且易于理解。该方法达到了较高的自动化程度,缩小了目标程序的代码量,其应用可有效地减少软件分析和调试人员在追踪代码时所需的时间和工作量。给出应用上述方法进行程序转换的实例。 展开更多

关键词 逆向分析 程序转换 中间语言

下载PDF 职称材料

基于IDA的反编译中间语言设计 被引量：2

5

作者 黄海 蒋烈辉 +2 位作者 何红旗 尹青 方霞 《计算机工程与设计》 CSCD 北大核心 2009年第20期4734-4737,共4页

基于IDA的反编译中,首先利用IDA作为反汇编的前端,通过以IDAplug-in编写的连接器来导出IDA的反汇编相关结果信息,然后以导出的信息为基础,进行汇编语言到中间语言的翻译、过程/函数的恢复及数据流和控制流分析等后续反编译过程。阐述了... 基于IDA的反编译中,首先利用IDA作为反汇编的前端,通过以IDAplug-in编写的连接器来导出IDA的反汇编相关结果信息,然后以导出的信息为基础,进行汇编语言到中间语言的翻译、过程/函数的恢复及数据流和控制流分析等后续反编译过程。阐述了利用IDA连接器,在导出反汇编相关结果信息的基础上,设计并实现了从汇编语言到中间语言的转换。 展开更多

关键词 反编译 中间语言 字典 中间语言转化 中间语言表示

下载PDF 职称材料

逆编译中面向用户的中间语言设计和实现 被引量：4

6

作者 陈凯明 刘宗田 任传胜 《小型微型计算机系统》 CSCD 北大核心 2002年第10期1173-1176,共4页

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

关键词 逆编译 面向用户 中间语言 设计 可读性 编译程序

下载PDF 职称材料

1919年～1949年中国翻译界的转译现象 被引量：4

7

作者 邸爱英 《电子科技大学学报（社科版）》 2007年第4期59-62,共4页

转译是1919～1949年中国译坛的一个重要现象,许多译者通过转译引进了大量较有影响的外国文学及社会科学著作,同时在翻译界展开了对转译现象的论争。本文概述了这一时期转译现象,从多元系统论、目的论和译者主体性等角度,分析转译的特点... 转译是1919～1949年中国译坛的一个重要现象,许多译者通过转译引进了大量较有影响的外国文学及社会科学著作,同时在翻译界展开了对转译现象的论争。本文概述了这一时期转译现象,从多元系统论、目的论和译者主体性等角度,分析转译的特点及其在社会历史文化和语言转换层面上的原因,指出开展转译研究对当代世界文化交流有着重要的意义。 展开更多

关键词 转译/重译 中介语 多元系统 目的论 主体性

下载PDF 职称材料

一种基于数据依赖关系的内存安全性检测方法

8

作者 蒙世满 符祥 《湖北大学学报（自然科学版）》 CAS 2024年第3期402-410,共9页

内存安全问题已成为影响C/C++程序正确性和可靠性的主要因素。一些现有的静态代码检测工具无法识别全局变量+跨函数内存管理的内存泄露和未定义越界访问这两种缺陷,且其他动态代码检测工具,因需要在运行时进行插桩等操作,会增加额外的... 内存安全问题已成为影响C/C++程序正确性和可靠性的主要因素。一些现有的静态代码检测工具无法识别全局变量+跨函数内存管理的内存泄露和未定义越界访问这两种缺陷,且其他动态代码检测工具,因需要在运行时进行插桩等操作,会增加额外的开销导致检测效率慢。为解决这些问题,采用LLVM 15提出一种基于中间语言数据依赖关系的内存安全性检测方法,该方法通过获取并分析LLVM中间语言中指令之间的数据依赖,从而进行判断得出结果。在软件保障参考数据集SARD上的相关测试用例集验证了该方法的有效性,相比现有方法,该方法可以检测这两种内存安全性缺陷。 展开更多

关键词 内存安全 静态检测 LLVM 中间语言 数据依赖

下载PDF 职称材料

基于函数式中间语言的XML查询并行化 被引量：3

9

作者 陈荣鑫 《重庆理工大学学报（自然科学）》 CAS 2011年第7期81-86,共6页

给出一种并行化的函数式中间语言——pFL的语义描述,通过并行原语的设计和组织,在执行层实现并行化查询。设计基于pFL的原型系统,并进行典型实例测试。初步实验结果表明,该原型系统能较好地实现多核条件下的XML并行查询。

关键词 XML查询 中间语言 语义描述 并行原语 多核计算

下载PDF 职称材料

基于中间语言的通用后置处理系统 被引量：3

10

作者 王俊龙 宁涛 郑国磊 《机械工程师》 2009年第1期64-67,共4页

通过对刀位文件和数控指令的研究,建立了适用于通用后置处理的中间语言和数控系统配置文件,提出基于中间语言的通用后置处理平台,并运用CATIA生成的刀位文件在该平台上验证其可行性。

关键词 中间语言 刀位文件 数控指令 后置处理

下载PDF 职称材料

符号执行过程的DFA和CFA 被引量：3

11

作者 陈凯明 刘宗田 +1 位作者 王武荣 叶勇 《计算机工程》 CAS CSCD 北大核心 2002年第11期95-96,122,共3页

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

关键词 符号执行过程 DFA CFA 汇编程序 逆编译 中间语言 数据流 控制流

下载PDF 职称材料

论跨文化企业中的文化差异——从翻译所使用的媒介语言的局限性说起 被引量：2

12

作者 刘成富 《上海科技翻译》 北大核心 2000年第4期11-14,共4页

随着中外经济文化交流与合作的不断深入 ,跨文化企业内部的文化冲突日益加剧。虽然翻译在认识和接受文化差异方面功不可没 ,但它所使用的媒介语言的局限性却超越了人们的想象。理性地认识、承认、接受和尊重企业内部不同的文化差异。

关键词 文化冲突 媒介语言 文化渗透与融合

原文传递

一个崭新的开发平台——.NET 被引量：2

13

作者 魏怀明 《太原师范学院学报（自然科学版）》 2003年第4期10-12,共3页

文章介绍了 .NET的意义、构成框架及其特点 ,并对 Visual.

关键词 .NET 开发平台 框架 文章 语言特点 意义

下载PDF 职称材料

论对外汉语教学中媒介手段的应用 被引量：2

14

作者 李彩霞 《宁波大学学报（教育科学版）》 2019年第4期106-110,共5页

对外汉语教学往往从零开始,目的是培养外国人运用汉语交际的能力,应用媒介手段必不可少。在教学中应用媒介手段具有有效解释知识点,强化对目的语的理解等优势,但媒介手段应用不当也会对教学造成负影响。所以合理、准确、巧妙地运用媒介... 对外汉语教学往往从零开始,目的是培养外国人运用汉语交际的能力,应用媒介手段必不可少。在教学中应用媒介手段具有有效解释知识点,强化对目的语的理解等优势,但媒介手段应用不当也会对教学造成负影响。所以合理、准确、巧妙地运用媒介语、图示法、快板等辅助教学,不仅可以避免产生语言负迁移等问题,还能够激发学生的学习兴趣,保证第二语言教学的效率和质量。 展开更多

关键词 对外汉语教学 媒介语 图示法 快板

下载PDF 职称材料

逆编译中用户自定义库函数识别技术研究 被引量：2

15

作者 张龙杰 谢晓方 +1 位作者 袁胜智 李洪周 《现代电子技术》 2009年第14期120-123,共4页

静态库函数分为系统库函数和用户自定义库函数,它的识别问题一直是反编译技术的难点,特别是对于用户自定义库函数,由于通用性低,信息获取困难,因而这方面的研究很少。分析用户自定义库函数在存储器中的存储方式和特征,提出一种用户自定... 静态库函数分为系统库函数和用户自定义库函数,它的识别问题一直是反编译技术的难点,特别是对于用户自定义库函数,由于通用性低,信息获取困难,因而这方面的研究很少。分析用户自定义库函数在存储器中的存储方式和特征,提出一种用户自定义库函数的识别方法,首次采用两级中间语言(低级中间语言和高级中间语言)的形式进行处理,对中间语言的生成、函数伪代码模块的提取、识别模板的建立等关键技术进行详细的分析研究,最后给出识别实例。实践证明具有较高的应用价值。 展开更多

关键词 用户自定义库函数 中间语言 逆编译 控制流分析 数据类型分析

下载PDF 职称材料

用于漏洞检测的中间语言表示方法

16

作者 张国栋 刘子龙 +3 位作者 靳卓 姚天宇 秦佳伟 孙东红 《计算机应用研究》 CSCD 北大核心 2023年第11期3377-3381,3393,共6页

现有Web漏洞检测方法中使用的中间语言针对特定编程语言设计,在对多种编程语言源代码进行漏洞抽象表示时,无法将多语言下的同类型漏洞用统一的中间语言表示,增加了后续漏洞分析处理的难度。针对该问题提出了一种基于污点分析的中间语言... 现有Web漏洞检测方法中使用的中间语言针对特定编程语言设计,在对多种编程语言源代码进行漏洞抽象表示时,无法将多语言下的同类型漏洞用统一的中间语言表示,增加了后续漏洞分析处理的难度。针对该问题提出了一种基于污点分析的中间语言表示方法,实现多编程语言下同类型漏洞信息的统一抽象表示。该中间语言设计过程中将漏洞发生过程抽象为三元组表示,将与三元组相关的代码元素抽象为中间语言的关键字,根据三元组间的语义关系设计了该中间语言的语法。在转义时,利用污点分析方法跟踪污染源的执行路径,对路径中的源代码进行转义得到中间语言表示。最后将该中间语言用于漏洞检测模型,实验结果表明该中间语言与对照中间语言相比对编程语言中漏洞信息的抽象表示更具普适性,对漏洞检测具有有效性。 展开更多

关键词 Web漏洞检测 漏洞语义特征 中间语言

下载PDF 职称材料

C逆编译系统的中间语言的一种优化表示方法 被引量：1

17

作者 胡荣 范明钰 +1 位作者 王光卫 宫亚峰 《计算机系统应用》 2010年第9期227-231,共5页

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

关键词 反编译 结构化语言 中间语言 自定义函数 控制流

下载PDF 职称材料

GSim:支持GPU加速软件过程仿真框架

18

作者 张备 翟健 杨秋松 《计算机工程与设计》 CSCD 北大核心 2012年第2期754-759,820,共7页

为了提高软件过程仿真的效率,提出了一种基于图形处理单元(graphic processing unit,GPU)加速的仿真框架。该框架利用图形化语言和随机参数来描述一个过程模型,将模型转换为RansomSpec字节码从而可以在GPU平台上运行,以期借助GPU平台的... 为了提高软件过程仿真的效率,提出了一种基于图形处理单元(graphic processing unit,GPU)加速的仿真框架。该框架利用图形化语言和随机参数来描述一个过程模型,将模型转换为RansomSpec字节码从而可以在GPU平台上运行,以期借助GPU平台的高并行特性提高原有仿真算法的效率。实验结果表明,通过这种框架,基于GPU的随机软件过程仿真与传统基于CPU串行的仿真算法相比在效率上提高一个数量级。 展开更多

关键词 软件过程仿真 基于图形处理单元的通用目的计算 计算统一的设备架构 中间语言

下载PDF 职称材料

基于动态程序切片的软件水印方案

19

作者 邓小鸿 孙星明 +1 位作者 孙光 拜亚萌 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第A01期193-196,共4页

针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐... 针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的;系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内.隐秘部分放在安全主机中确保水印系统的安全性,该方案适用于对移动计算与分布式软件进行保护. 展开更多

关键词 动态程序切片 软件水印 中间码 逆向工程 鲁棒性

下载PDF 职称材料

中介语理论与普通话测试——“目标参照”在普通话测试中的运用

20

作者 王玲玲 《北华大学学报（社会科学版）》 2007年第6期83-87,共5页

普通话水平测试是一种目标参照性的考试。对接近目标语的语音偏误进行评定应该有一个近于绝对值的参照点。"等"的划分主要通过失分的"量"来确定,"级"的界定则是"质"的定性评判。测试时应抓住... 普通话水平测试是一种目标参照性的考试。对接近目标语的语音偏误进行评定应该有一个近于绝对值的参照点。"等"的划分主要通过失分的"量"来确定,"级"的界定则是"质"的定性评判。测试时应抓住中介语各阶段语音、语汇、语用层面的特殊现象,按照不同方言向目标语过渡时的实际差异进行客观评分。 展开更多

关键词 普通话测试 中介语 目标参照

下载PDF 职称材料