切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
流敏感的跨过程指针别名分析
流敏感的跨过程指针别名分析
来源 :计算机应用 | 被引量 : 0次 | 上传用户:zzfivy
【摘 要】
:
对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法,算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。
【作 者】
:
李健
刘坚
【机 构】
:
西安电子科技大学软件工程研究所
【出 处】
:
计算机应用
【发表日期】
:
2004年03期
【关键词】
:
指针剐名
流敏感
跨过程
程序分析
pointer alias
flow-sensitive
interprocedural
program analysis
【基金项目】
:
武器装备预研基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法,算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。
其他文献
直肠癌组织CDX2蛋白表达及其临床意义
目的探讨直肠癌患者尾型同源盒基因-2(CDX2)蛋白的表达情况及临床意义。方法采用Western Blot检测50例直肠癌组织及癌旁组织CDX2蛋白的表达,以20例健康人的正常直肠组织作为对
期刊
直肠癌
尾型同源盒基因-2蛋白
预后
基于UML的面向方面的实时系统建模方法
利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明
期刊
统一建模语言
面向方面
关注分离
实时系统
<Keyword>UML
aspect-orientation
separation of conc
包头市东河区城市绿化现状评价
本文以包头市东河区内的市区、农村、飞机场、南海子湿地、人工苗圃五个区域内的公园、行道树、游园、住宅小区、农田、湿地、绿化带和防护带等景观类型为调查对象,采用典型抽样法选取了32个有代表性的样带进行调查,并结合城市生态学和景观生态学原理,利用均匀度指数、丰富度指数、多样性指数、重要值、自然度等指标对东河区城市绿化现状做出具体规划和评价.结果表明:包头市城市绿化采用的树种较单一;城市绿地盖度较小且分布
期刊
包头市东河区
城市绿地
植物配置
Donghe distinct in Baotou city
urban green space
plant design
剖宫产术后再次妊娠356例分娩方式的分析
目的探讨剖宫产术后再次妊娠分娩方式及时机的选择.方法回顾性分析剖宫产术后再次妊娠的356例产妇的临床资料,了解其分娩方式、分娩时机及分娩结果.结果阴道试产62例,阴道分
期刊
剖宫产术
再次妊娠
分娩方式
分娩时机
标准化手术方案减少脑室-腹腔分流术后感染的临床研究
目的制订脑室-腹腔分流术标准化手术方案,观察其术后感染率。方法参考相关文献并结合本科室经验,制订标准化脑室-腹腔分流术手术方案治疗脑积水235例次(研究组),采用常规脑室-
期刊
脑积水
脑室腹腔分流术
感染率
标准化手术方案
Hydrocephalus
Ventriculoperitoneal shunt
Infection rat
存储空间约束下物化视图的选择
介绍一种进化算法 ,通过利用并改进随机排列算法来实现在存储空间约束下物化视图的选择和物化视图维护代价的总和最小。该改进算法能有效地得到一个近似最优解的解决方案。最后介绍了该算法在公安数据仓库设计中的应用
期刊
数据仓库
物化视图
进化算法
随机排列算法
data warehouse
materialized view
evolutionary algorithm
st
自治区卫生厅与泰国卫生部疾控司签署技术交流项目合作协议
2013年7月22日,自治区卫生厅与泰国卫生部疾控司在南宁正式签订《中国广西卫生厅与泰国卫生部疾病控制司技术交流项目协议》,自治区卫生厅副厅长梁远,泰国卫生部疾控司司长Pornt
期刊
卫生部疾病控制司
卫生厅副厅长
合作协议
技术交流
泰国
疾控
自治
现场流行病学培训项目
Internet视频传输中的自适应刷新方法
包丢失是影响Internet视频通信质量的一个重要问题。文中提出了一种自适应刷新方法 ,能及时准确地刷新受损的图像区域 ,并能根据视频序列的活动性和信道特性自适应地调节刷新比率 ,从而有效提高视频传输的抗包丢失能力。模拟实验表明该方法与非自适应方法如随机刷新相比 ,信噪比 (PSNR)有明显提高 (2dB左右 ) ,同时计算复杂度较低 ,有利于实时实现。
期刊
INTERNET
视频传输
自适应刷新方法
包丢失
图像序列
视频通信
服务质量
packet loss
adaptive intra update
video
荧光原位杂交技术对骨髓增生异常综合征7号染色体核型异常的诊断价值
目的探讨荧光原位杂交技术( FISH )对骨髓增生异常综合征( MDS )7号染色体核型异常的诊断价值。方法84例MDS患者骨髓标本,分别采用间期FISH和常规染色体核型分析( CCA )法对染色体核
期刊
骨髓增生异常综合征
7号染色体核型异常
荧光原位杂交
Myelodysplastic syndrome
Abnormality in chromosome 7
尤瑞克林治疗进展性脑梗死的疗效观察
目的观察尤瑞克林治疗进展性脑梗死的疗效。方法进展性脑梗死患者126例,按照随机数字表法分为治疗组63例(实际完成61例)和对照组63例(实际完成60例),两组给予相同的基础治疗,治疗组
期刊
进展性脑梗死
尤瑞克林
疗效
与本文相关的学术论文