【摘 要】
：
为了精确地分析软件行为,静态数据流分析工具需要将数目众多、逻辑复杂的库函数一同分析,但这也引入了显著的分析开销.摘要通过对库函数的数据流进行建模可以有效避免对库函
【机 构】
：
复旦大学软件学院,上海通用识别技术研究所
论文部分内容阅读
为了精确地分析软件行为,静态数据流分析工具需要将数目众多、逻辑复杂的库函数一同分析,但这也引入了显著的分析开销.摘要通过对库函数的数据流进行建模可以有效避免对库函数的分析而不影响分析的效果.为了避免人工对库函数进行数据流建模,StubDroid首次自动化地从库函数中提取数据流摘要并应用于静态分析工具中.本文发现StubDroid的数据流摘要缺乏对库函数中指向信息建模,制约了数据流分析的精确度和覆盖率.因此,本文提出一种融合指针分析的摘要技术Point2Droid,自动化地对库函数中的指针指向信息进行摘要,
其他文献
为了有效支持节点装备多天线的无线自组织网络的跨层协议设计。利用基于空分复用技术的物理层和接入层联合网络容量分析模型扩展NS2,构造了一个通用仿真平台,使其支持网络跨层空分复用接入协议。理论分析与仿真结果表明扩展后的NS2能够有效支持空分复用跨层协议设计。仿真证明对节点装备多天线的网络进行特别的跨层联合协议设计能够有效提高网络吞吐。
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
上海机床厂生产的 MB82 60 A曲轴磨床 ,其加工精度指标是 :轴径的圆度为 0 .0 1 mm,圆柱度为0.0 0 8mm。而目前多数曲轴的圆度、圆柱度要求都为 0 .0 0 5mm,为了满足生产精度
为解决传统流形学习方法不能有效利用人脸类间信息的问题,提出具有最大散度无关性的局部保持投影算法(Maximum-Scatter-Difference-Uncorrelated Locality Preserving Projections,M ULPP).该算法是最大类间无关性的局部保持映射算法,通过求取一组最优的无关鉴别矢量集,既达到特征映射后的类间散度保持最大、类内散度保持最小,同时又满足最佳
作战指挥控制流程是影响军队作战效能的重要因素。从作战指挥控制流程的特点出发,分析了作战指挥控制流程的基本要素,提出了基于Petri网的作战指挥控制流程建模和仿真方法,建立了相应的点火规则和冲突分析算法,设计和开发了作战指挥控制流程仿真环境。通过对作战指挥控制流程的仿真,实现了对流程的定量化分析,为流程的优化和改进提供了决策支持。
针对现有安全技术对云计算数据外包保护的不足,提出一个可以应用于不可信商业云环境的数据外包计算和存储双云安全框架,用户通过一个可信任的云(可以是一个私有云或是通过多个安全硬件模块建立的云)来通信,可信的云加密并校验不可信云中存储的数据以及执行的操作。通过分离计算,把可信的云用来处理对时间不敏感的安全设置操作,同时用商业不可信云来处理大量的计算,从而实现安全的云计算数据外包。
这里介绍分 2个阶段在厚板上冲高精度孔的方法 ,如图 1所示。在第 1阶段 ,在毛坯上用带切削刃凸模冲出环形槽 ,其外径等于被冲孔直径 ,环形槽可在板坯的一侧或两侧冲制 (深度
算术编码凭借其高效的压缩比以及适度的编码效率,在图像压缩技术标准(比如JPEG等)中有着重要的地位。该算法仅仅依赖于一个参数:信源符号出现的概率。该概率决定了压缩编码的效率,同时也决定了编码过程中信源符号的间隔。然而,经典的算术编码都没有考虑信源符号输入序列的内在结构,仅仅是考虑单个的符号。这些连续的输入组合中的某些组合若大量出现在信源符号中,就有必要考虑这些组合的出现概率了。而最终需要给哪些特定
自由立体显示器作为三维显示器中的一种,能够产生具有空间感的三维映像,但在显示虚拟的三维场景时,需要对场景进行多视角渲染,渲染和数据传输次数都数倍增加,因而实时渲染成为难题。与传统的多视角渲染方法不同,提出的加速算法改变了渲染流程,把每个视角渲染后用于合成的子图像不再存回系统主存中,而是将这些子图像传入纹理内存。同时程序中采用了多处最新的OpenGL扩展功能,通过FBO将场景直接渲染到三维纹理,极大
为实现更自然的卫星编队构型设计,采用OSG(Open Scene Graph)技术建立了卫星编队飞行轨道构型设计过程三维显示场景。虚拟现实技术使抽象的理论设计可视化,实现了虚拟环境下