中间代码

作品数:32被引量:44H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:胡事民白家驹李金库邹维毛剑更多>>
相关机构:清华大学华为技术有限公司西安电子科技大学松下电器产业株式会社更多>>
相关期刊:《上海交通大学学报》《电子科技文摘》《兵工自动化》《中国科技博览》更多>>
相关基金:国家自然科学基金教育部“新世纪优秀人才支持计划”安徽省高校省级自然科学研究项目四川省科技支撑计划更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于中间表示规则替换的二进制翻译中间代码优化方法被引量:4
《国防科技大学学报》2021年第4期156-162,共7页李男 庞建民 
国家自然科学基金资助项目(61802433)。
动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚...
关键词:动态二进制翻译 中间代码 内存虚拟策略 代码膨胀 中间表示规则 寄存器映射 
基于源码变更分析的程序中间代码生成技术
《计算机与现代化》2016年第6期19-23,28,共6页黄海汇 陈雨亭 
国家自然科学基金资助项目(61572312)
当前存在很多针对程序中间代码变更进行的程序增量分析、验证技术。为更有效地在实际中应用这些技术,如何获取程序中间代码的变更信息成为一个关键研究问题。本文主要研究通过提取源码的变更,将源码变更映射至中间代码变更的新的程序中...
关键词:源码变更 中间代码生成 标记 
可编程保护测控功能通用性设计与实现被引量:11
《计算机系统应用》2016年第2期87-92,共6页余群兵 陈宏君 金震 丁力 徐舒 
介绍了保护测控装置中可编程保护测控功能的概念、应用场景及实现要求,提出适用于不同软硬件平台的可编程功能通用化设计方案.在分析可编程功能与保护测控装置标准或通用功能之间的数据接口及其描述方法的基础上阐述了编程语言的设计以...
关键词:可编程保护测控功能 中间代码 虚拟机 逆波兰符号法 控制方程 
高效而精确的锁别名分析方法
《计算机系统应用》2016年第2期212-218,共7页陈露 顾乃杰 黄理 杜云开 
安徽省自然科学基金(1408085MKL06);高等学校学科创新引智计划(B07033)
锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取...
关键词:锁别名分析 SSA 中间代码 FP_LOCK 流敏感 上下文敏感 
二进制程序整型符号转换缺陷的动态检测方法
《计算机工程与应用》2015年第18期56-61,共6页朱雪梅 王兴起 方景龙 王大全 
国家部委基础科研重点项目;国家部委技术基础科研项目
针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的...
关键词:整数符号转换缺陷 类型推断 冲突类型 二进制程序 中间代码 
基于中间代码的恶意软件检测技术研究被引量:6
《四川大学学报(自然科学版)》2013年第6期1216-1222,共7页杨洪深 赵宗渠 王俊峰 
安徽省教育厅自然科学研究项目(KJ2012Z412);国家自然科学基金项目(11102124;61102076;60939002);教育部新世纪优秀人才计划项目(NCET-10-0604);四川省科技支撑计划项目(2013SZ0002)
软件的中间代码是位于机器语言和高级程序语言之间程序语言,具有容易理解的语义信息和控制结构信息,能真实地反映软件在执行过程中的实际情况.利用中间代码的语义信息来研究恶意软件,可以发现恶意软件的具体行为信息或特点;通过多种方...
关键词:恶意软件检测 中间代码 软件特征 机器学习 
语法制导翻译程序的学习与实践
《工业和信息化教育》2013年第12期79-86,共8页陈兴宝 孙长圣 
本文介绍了语法制导翻译程序的设计与实现。语法制导翻译是指在语法分析的同时,使用与产生式所对应的语义子程序,完成源程序语义分析和翻译工作,最终获得由机器指令或者汇编语言表示的目标程序。本文工作仅限于关键的中间代码四元式表...
关键词:语法制导翻译 属性文法 语义子程序 中间代码 
语法制导翻译的学习与实践
《学术问题研究》2012年第2期49-53,共5页陈兴宝 
介绍语法制导翻译程序的设计与实现。语法制导翻译是指在语法分析的同时,使用与产生式所对应的语义子程序,完成源程序语义分析和翻译工作,最终获得由机器指令或者汇编语言表示的目标程序。
关键词:语法制导翻译 属性文法 语义子程序 中间代码 
基于嵌入式硬件平台的软PLC设计与研究
《河南科技学院学报(自然科学版)》2012年第5期90-95,共6页邹莉 
在嵌入式硬件平台上的基础上,用软件实现传统PLC的功能,从整体上设计了符合IEC61131标准的嵌入式软PLC系统.设计由开发系统和运行系统两大部分组成,其中,开发系统实现梯形图的编辑和编译,运行系统实现软PLC虚拟机的控制功能.介绍了各个...
关键词:嵌入式 软PLC 编译 中间代码 虚拟机 
嵌入式组态软件脚本解释虚拟机的设计被引量:1
《计算机工程与设计》2012年第2期830-836,共7页廖义奎 李智 李为民 韦卫星 韦方海 
广西教育厅科研基金项目(200322);广西民族大学重大基金项目(0409013)
为了增强嵌入式组态软件的功能,引入一种类似于C语言的脚本。设计一个编译器把该脚本编译成中间代码,采用中间代码的优点是可提高程序运行的速度,也减小了脚本解释程序的设计难度。提出一种仿微处理器结构的脚本虚拟机设计方案,在运行...
关键词:嵌入式组态软件 脚本解释 虚拟机 中间代码 仿微处理器结构 
检索报告 对象比较 聚类工具 使用帮助 返回顶部