支持局部调用图生成的指针分析

来源 :浙江大学学报:工学版 | 被引量 : 0次 | 上传用户:cntt_nj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在不分析库代码方法体的前提下,提出一种支持应用部分局部调用图生成的指针分析方法.该方法通过构建一系列规则,对应用部分和库部分的交互行为进行建模,推导库部分的指针信息.基于Soot程序分析框架实现该方法,并在14个Java基准程序上对其性能以及所生成调用图的完整性和精确性进行评估.实验结果表明:该方法的运行速度比Averroes和Spark调用图生成方法分别快4.9倍和13.7倍,并且能够创建完整且精确的局部调用图.
其他文献
YAG激光主要通过它的热效应和对组织穿透深、止血效果好,在临床上起重要治疗作用,因具有封闭小静脉、小动脉及淋巴管的作用,从而防止了癌细胞扩散转移的不良因素。 本文十三
为实现802.11a接收单元,设计一款适用于802.11a协议具有镜像抑制功能的低噪声放大器(LNA).电路采用源简并结构,对有源陷波滤波器加以优化,可极大地减小了滤波网络的功耗和芯片
本试验用 ̄(86)Rb、 ̄(14)C-示踪方法研究了中华猕猴桃对钾素营养的吸收运转规律,钾对植株光合作用的影响。试验表明,植株对钾素的吸收量无论是果实或叶片都以8月上旬至9月上旬吸收为多,在植株各器
激光辐照选育的435与1002早籼新晶系比湘早籼7号早热,高产,米质好。醋酶同工酶多2—3条带,酶活性增强,增产潜力大。
为了便捷、准确地确定工艺参数对奥氏体晶粒尺寸的影响规律,考虑热加工工艺参数间的耦合关系,基于Hodgson再结晶模型建立奥氏体晶粒尺寸对工艺参数的灵敏度方程,探讨工艺参数
为改进传统气缸驱动并联平台刚度低、难以控制的缺点,提出一种由3根气动肌肉和一个气缸混合驱动的并联平台.该平台具有横摇、纵摇、升沉3个方向上的自由度,其中由气缸控制的
针对静止海洋水色传感器(GOCI)2.1μm短波红外通道缺失和高太阳天顶角的特点,采用二流式算法,并考虑气溶胶的折射率、地球曲率等因素,重新计算地表反射率、表观反射率以及反演G
针对现代机电产品结构越来越复杂,产品设计中已有结构设计资源的可重用性和调用效率低下等情况,提出性能需求驱动的产品细分结构主动推送设计技术.研究性能需求到设计结构的
针对移动自组网(MANET)信任数据存储分散和获取困难的问题,提出一种信任数据自存储模型.采用数字签名技术保证信任数据的真实性和完整性,并提出相应的协议,确保节点诚实存储其
研究柴油机尾气中颗粒物(PM)的排放特性,探讨多层介质阻挡放电(DBD)反应器中的反应单元及放电功率对PM的去除影响.研究发现,随着柴油机输出功率的增加,排气温度和尾气中PM粒子数