- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
一种源码级的上下文敏感性检测算法.pdf
第34卷第5期 计算机应用研究 V01.34No.5
2017年5月 Researchof Mav2017
Application Computers
一种源码级的上下文敏感性检测算法水
单征,王洋+,孟曦,闫丽景
(数学工程与先进计算国家重点实验室,郑州450002)
摘要:上下文敏感性是程序分析中的一个重要属性,可用来提高函数调用上下文的分析精度,且有利于编译
器优化及程序验证。基于Open64开源高性能编译器,实现了一种源代码级上下文敏感性检测算法。通过给出
上下文敏感性的分析结果,指导有源代码的建模采用何种上下文敏感性模型,使建立的模型的准确性更高。在
基准测试集SPEC2006和NPB3.3.1的实验结果表明,该算法可有效检测源代码级的上下文敏感性,为相关的软
件建模工作提供了理论借鉴。
关键词:行为建模;函数调用图;上下文敏感性;过程间分析
中图分类号:TP31I.5文献标志码:A 文章编号:1001-3695(2017)05—1388—05
doi:10.3969/j.issn.1001.3695.2017.05.025
levelcontext
Sourcecode sensitivityexplorationalgorithm
Shah Xi,YanLijing
Zheng,WangYang’,Meng
Mathematical
(State of Computing,Zhengzhou450002,China)
KeyLaboratory Engineering&Advanced
isan in canbeusedto with
Abstract:Contextsensitivity analysis.It improveanalysisprecision
importantpropertyprogram
for and verification.This acontext
tofunctioncallcontextandisbenefit program paperproposed
respect compileroptimization
was on source
implementedopen highperformancecompiler.Thealgorithmgave
sensitivityanalysisalgorithm,which Open64
a ac—
thecontext whichkindofcontextsensitive achieved
results,to model,SO higher
sensitivityanalysis guidemodelin
您可能关注的文档
- VoLTE关键技术实现及应用方案.pdf
- “七化”联动-做大做强高原特色现代农业.pdf
- “中缅第一寨”——勐景来.pdf
- “辅导”加“告知”巧解再婚老人婚姻难题.pdf
- “靶向式”施策缓解“因病致贫”.pdf
- 《党委会的工作方法》充满了唯物辩证法的精神魅力.pdf
- 《关于依法处理监护人侵害未成年人权益行为若干问题的意见》相关问题的应对思考.pdf
- 《民法总则》第185条的核心要义是维护社会公共利益.pdf
- 《物联网系统安装与部署》的项目化教学研究.pdf
- 『一带一路』引领经济全球化健康发展.pdf
- 分析let s单元56ago2卷纸zheng unit56.pdf
- 塑胶材料其它分类原料pa9t 12.pdf
- md16x16数字媒体切换器设备.pdf
- 者参考项目发起人学科类型单位序列承包商修订页代码顺序典型.pdf
- 届世界天然气大会阿姆斯特丹2006add10288.pdf
- 期测试记录表每周weekly g1g6 journeys tests level 6 lesson26.pdf
- modernize-whitepaper现代化您应用程序白皮书.pdf
- anybackup产品典型案例分析.pdf
- 约克金融工程课程tfeslide32.pdf
- 广州市妇女儿童医疗中心历份教学药历01tjy.pdf
文档评论(0)