context-sensitive interprocedural points-to analysis in the presence of function pointers(上下文相关的过程间的函数指针指向的分析).pdfVIP
- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
context-sensitive interprocedural points-to analysis in the presence of function pointers(上下文相关的过程间的函数指针指向的分析)
ContextSensitive Interpro cedural Pointsto Analysis in the Presence of
Function Pointers
Maryam Emami Rakesh Ghiya Laurie J Hendren
Scho ol of Computer Science
McGill University Montreal Queb ec
Canada HA A
femamighiyahendren gcsmcg ill ca
Abstract This pap er rep orts on the design implementation
and results of a new metho d for dealing with the alias
This pap er rep orts on the design implementation
ing problem in C Our metho d called p ointsto analy
and empirical results of a new metho d for dealing with
sis estimates the relationships b etween abstract stack
the aliasing problem in C The metho d is based on ap
lo cations This metho d has b een develop ed over the
proximating the p ointsto relationships b etween acces
last two years within the framework of the McCAT
sible stack lo cations and can b e used to generate alias
optimizingparallelizing C compiler and is currently
pairs or used directly for other analyses and transfor
op erational The imp ortant facets of our approach in
mations
clude
Our met
您可能关注的文档
- certified scrummaster agreement(scrummaster认证协议).pdf
- certificate in financial accounting(财务会计证书).pdf
- certified software quality analyst (csqa) - …(认证的软件质量分析(csqa)-u2026).pdf
- certification of programs for secure information flow(认证的程序安全信息流).pdf
- certified vda6.3 process auditor compact …(认证vda6.3过程审计契约u2026).pdf
- centuries in advance of minimal set of physical …(世纪的最小集合的物理u2026).pdf
- certified management accountant cma (usa) …(注册管理会计师cma(美国)u2026).pdf
- cfpb mortgage examination procedures …(cfpb抵押贷款审查程序u2026).pdf
- cgi at a glance(cgi一眼就).pdf
- cgl insurance 2007 edition—a summary of …(#保险2007年版的总结u2026).pdf
- convergent tree-reweighted message passing for energy minimization(收敛tree-reweighted消息传递的能量最小化).pdf
- core affect and the psychological construction of emotion(核心影响和情绪的心理建设).pdf
- corporate non-financial disclosure practices and financial analyst forecast ability across three european countries(企业非财务信息披露实践和跨三个欧洲国家的金融分析师的预测能力).pdf
- corporate resistance to government-imposed internal control regulation(企业实施内部控制监管阻力).pdf
- correlation clustering(关联聚类).pdf
- correspondence the health advisory service(对应的健康咨询服务).pdf
- correspondence adventures in data citatio(通信数据citatio冒险).pdf
- coupled hidden markov models for complex action recognition(耦合隐马尔可夫模型对复杂动作识别).pdf
- crowdsourcing as a model for problem solving -- an introduction and cases(众包作为解决问题的模型u2014u2014一个介绍和案例).pdf
- c-sam analysis report - nanolabtechnologies.com(c-sam分析报告u2014u2014nanolabtechnologies.com).pdf
文档评论(0)