中间语言

作品数：87被引量：167H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：史建琦马金鑫李舟军忽朝俭魏强更多>>
相关机构：华东师范大学微软公司解放军信息工程大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于中间语言的PHP注入漏洞检测方法研究
《信息安全学报》2024年第6期114-128,共15页张国栋 刘子龙 姚天宇 靳卓 孙东红 秦佳伟 
国家重点研发计划项目(No.2022YFB3103901);中关村实验室项目(No.ZGC-02-20220211)资助。
Web应用数量快速增长并广泛用于各领域,所存在的漏洞数量也随之增长。注入漏洞是Web应用漏洞中最具广泛性和破坏性的,漏洞检测工具所提取的信息中会缺失部分与漏洞相关的语义信息,且包含大量与漏洞信息无关的噪声数据,导致误报和漏报。...
关键词：注入漏洞检测 深度学习 漏洞语义特征 代码切片 
一种基于数据依赖关系的内存安全性检测方法
《湖北大学学报（自然科学版）》2024年第3期402-410,共9页蒙世满 符祥 
内存安全问题已成为影响C/C++程序正确性和可靠性的主要因素。一些现有的静态代码检测工具无法识别全局变量+跨函数内存管理的内存泄露和未定义越界访问这两种缺陷,且其他动态代码检测工具,因需要在运行时进行插桩等操作,会增加额外的...
关键词：内存安全 静态检测 LLVM 中间语言 数据依赖 
用于漏洞检测的中间语言表示方法
《计算机应用研究》2023年第11期3377-3381,3393,共6页张国栋 刘子龙 靳卓 姚天宇 秦佳伟 孙东红 
航空科学基金资助项目(2019ZE054009);辽宁省自然科学基金资助项目(2020-MS-239,2019-ZD-0234);辽宁省教育厅科技基金资助项目(LJKZ0210,JYT19053,JYT19040)。
现有Web漏洞检测方法中使用的中间语言针对特定编程语言设计,在对多种编程语言源代码进行漏洞抽象表示时,无法将多语言下的同类型漏洞用统一的中间语言表示,增加了后续漏洞分析处理的难度。针对该问题提出了一种基于污点分析的中间语言...
关键词：Web漏洞检测 漏洞语义特征 中间语言 
LLVM中间语言的控制流混淆方案被引量：1
《计算机工程与应用》2023年第8期263-269,共7页李成扬 黄天波 陈夏润 文伟平 
软件安全问题在后疫情时代越发突出,代码混淆作为一种成熟的保护方案,借助于LLVM提供了跨平台使用的可能性,但基于LLVM的控制流混淆算法在保护力度上有所局限,一方面是现有的算法模式固定,缺乏结构上的创新性,另一方面是混淆处理时,未...
关键词：软件保护 代码混淆 控制流混淆 
以太坊中间语言的可执行语义被引量：5
《软件学报》2021年第6期1717-1732,共16页韩宁 李希萌 张倩颖 王国辉 施智平 关永 
国家自然科学基金(61572331,61602325,61802375,61876111,61877040,62002246);北京市教育委员会科技计划(KM20190028005,KM202010028010);中国科学院计算技术研究所计算机体系结构国家重点实验室开放课题(CARCH201920)。
智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台(Ethereum)上的智能合约暴露出大量错误和安全隐患,在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果,智能合约程序语言的形式化必不可少.对以...
关键词：智能合约 Yul语言 Isabelle/HOL 形式化语义 以太坊 
基于深度学习的漏洞检测中样本集预处理的方法研究
《无线互联科技》2020年第9期123-125,共3页王于叶 张皓天 许泽遥 
国家大学生创新训练计划支持项目,项目编号:201810293024。
基于深度学习的二进制程序漏洞检测是漏洞检测研究的一种新趋势。目前基于深度学习的漏洞检测技术主要选用源代码或二进制代码作为样本进行分析处理。文章提出一种用Valgrind框架对二进制程序进行处理,从而得到中间语言代码作为深度学...
关键词：深度学习 漏洞挖掘 中间语言 
一种基于词素媒介的汉蒙统计机器翻译方法被引量：2
《中文信息学报》2017年第4期57-62,69,共7页杨振新 李淼 陈雷 卫林钰 陈晟 孙凯 
国家自然科学基金(61502445;61572462);中国科学院信息化专项(XXH12504-1-10)
汉蒙语形态差异性及平行语料库规模小制约了汉蒙统计机器翻译性能的提升。该文将蒙古语形态信息引入汉蒙统计机器翻译中,通过将蒙古语切分成词素的形式,构造汉语词和蒙古语词素,以及蒙古语词素和蒙古语的映射关系,弥补汉蒙形态结构上的...
关键词：中间语言 词素 统计机器翻译 短语翻译表 调序模型 
稀缺资源机器翻译中改进的语料级和短语级中间语言方法研究被引量：10
《计算机学报》2017年第4期925-938,共14页李强 王强 肖桐 朱靖波 
中央高校基本科研业务专项资金(N140406003);国家留学基金;国家自然科学基金(61272376;61300097)资助~~
该文以英语作为中间语言的方式对在没有直接的外国语至汉语平行训练数据条件下构建统计机器翻译系统的问题进行研究.文中将基于中间语言的机器翻译方法分为系统级、语料级以及短语级中间语3种方法.在文中提出的改进的语料级中间语方法中...
关键词：自然语言处理 统计机器翻译 外国语翻译 中间语言 语料构建 
国内日语习得中间语言理论研究
《江苏外语教学研究》2016年第2期75-77,共3页王强 王洪磊 
在二语习得过程中,中间语言所起到的作用已然成为学习者和研究者重点关注的对象,对中间语言的定义、特征、内涵与外延的分析和研究势必会进一步推动二语习得相关研究的进展,也会为学习者提供更好、更准确的学习指导。
关键词：二语习得 中间语言 中国人日语学习者 
基于中间语言和可比语料库的双语词表构建被引量：2
《北京化工大学学报（自然科学版）》2016年第2期98-102,共5页师光达 李芳 
中央高校基本科研业务费(JD1502)
将第三方中间语言和基于可比较语料库两类方法相结合提出了新的构建双语词表方法并且通过实验对新方法进行了验证。实验将中文和瑞典文分别作为源语言和目标语言,英语作为中间语言并使用金融主题的可比语料库,构建了一个中文-瑞典文双...
关键词：双语词表构建 可比语料库 第三方中间语言 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部