【摘 要】
：
为有效解决静态程序分析中函数指针指向信息获取不够准确和库函数调用信息处理不够完善的问题,提出一种在LLVM平台下静态程序信息的过程间分析方法。利用过程内分析算法迭代
【基金项目】
：
国家自然科学基金项目（61402303）,北京市教委科技面上基金项目（KM201510028016）
论文部分内容阅读
为有效解决静态程序分析中函数指针指向信息获取不够准确和库函数调用信息处理不够完善的问题,提出一种在LLVM平台下静态程序信息的过程间分析方法。利用过程内分析算法迭代获取过程内分析路径;利用过程间分析算法分析直接函数调用和函数指针,通过函数类型识别库函数调用,分析到函数指针时,进一步分析函数指针指向的真实信息,结合过程内分析形成最终的函数调用路径。用该方法解决上述问题,将实验结果与现有工具对比,验证了该方法能够更准确地获取函数指针指向信息并更好地处理库函数调用信息。
其他文献
以压缩感知理论为基础,研究物理干扰模型下的无线传感器网络数据收集问题,将其建模为转发树构建和链路调度联合问题（forwarding tree construction and scheduling,FTCS）。FTCS
资料与方法 2005年4月～2007年3月收治宫颈柱状上皮异位患者276例，应用微波综合治疗。微镜下糜烂面为完整的宫颈管单房柱状上皮所覆盖，因柱状上皮菲薄，其下间质透出，呈红色，故肉眼观似糜烂，并非上皮脱落、溃疡的真性糜烂。阴道镜下表现为原始鳞柱交接部的外移。正常宫颈间质内存在作为免疫反映的淋巴细胞，宫颈间质内淋巴细胞的浸润，并不一定意味着慢性宫颈炎。宫颈管柱状上皮抵抗力低，病原体易浸入而发
资料与方法 2006年1～7月对60例肺心病急性发作期进行临床研究，并与对照组30例进行比较。年龄：治疗组≤50岁5例，51～60岁6例，61～70岁49例；对照组≤50岁0例，51～60岁5例，61～70岁25例。性别：治疗组男25例，女35例；对照组男11例，女19例。治疗组与对照组患者一般资料比较，经统计学处理，差异无显著性，具有可比性。 诊断标准：①西医诊断标准（采用1977年
本文依据实际城轨列车项目,从列车网络控制系统构建、功能等方面进行分析,阐述了基于CAN总线的列车网络控制系统主要设备构成、智能故障诊断和列车子系统控制。
目的：通过探论超敏C-反应蛋白（HS—CRP）在2000例小儿感染性疾病的检测来提高临床可能感染的疾病分析，从而对临床是否需要使用抗生素提高一定指导意义。避免滥用抗生素。结果：P〈0．0
本文通过分析红外图像特性,提出了一种自适应金字塔的红外图像超分辨率重建算法,利用多层信息互补实现图像重建。本算法通过金字塔架构获取不同尺度字典的结构信息,并通过一个自适应均值融合计算单元,用于细节重组。实验结果表明,本文提出的算法能够获得清晰的图像,且视觉质量高。
资料与方法1998年～2009年5月收治双胎妊娠750例，占同期分娩总数20726例的3．6l％，其中并发双胎之一宫内死亡（IUFD）的10例，发生率为1．3％；孕妇年龄为24～35岁，平均29岁；孕龄为29～39周，平均35周。
目的：探讨使用微型解剖板内固定，治疗掌骨及跖骨干骺端骨折的治疗方法及临床效果。方法：对2004年7月～2009年6月各类型的掌骨及跖骨干骺端骨折患者60例，行切开复位微型解剖板内固定
我国作为世界上著名的农业大国,小麦种植在当前我国的农业种植中也占据着越来越重要的位置,正是因为这一原因,所以当前越来越多的人也开始加强了对小麦种植技术的关注和重视,
现有基于地理路由的水下无线传感器网络数据传输协议经常出现通信空闲区域,导致报文投递率较低、能耗较高等不足,为解决这一问题,提出一种基于深度调整的混合型路由协议（GEDAR