【摘 要】
：
采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体地,每条对链状数据结构
【机 构】
：
中国科学技术大学计算机科学与技术学院,合肥,230027中国科学技术大学苏州研究院软件安全实验室,江苏苏州,215123;
论文部分内容阅读
采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体地,每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结构的语句的集合.该算法将被整合到我们设计和开发的并行语言mini-SPC中,指导对操作动态链状数据结构的并行程序的正确分析和程序变换.实验表明基于本文的算法能保证操作动态链状数据结构的指针定值引用链的分析精度,提高分析的效率.
其他文献
针对工业过程中多变量非方系统存在的扰动,基于等价传递函数理论,研究其PI控制器设计问题.为避免直接求取非方被控过程广义逆的复杂运算,通过求取相应的等价传递函数来代替广
针对控制器存在部分失效的情形,研究混沌系统的广义投影同步切换控制问题.基于切换的思想,将伴有控制器部分失效的广义投影同步误差系统转化为一类广义投影同步切换误差系统.
为科学地简化茶蔗属植物果实品质的评价指标,采用主成分分析方法,以茶藨属植物不同种间的果实为材料,对测得的果实维生素C、可溶性固形物、可溶性糖、有机酸、色价、出汁率等
近年来,随着社会的高速发展,市场经济不断增长,推动了城市化进程的加快,促进了建筑行业的进步,为经济发展提供了重要的支撑.造价管理作为建筑工程的重要组成部分,直接影响着
注塑成型是一种典型的批次生产过程,保压压力是保证其产品质量的关键因素.已有注塑机保压压力迭代学习控制方法,是在数据传输完美情况下给出的.但在实际网络运行环境下,由于
在网络盛行的今天，许多商业化软件通过互联网进行销售。同时，许多软件都被盗版、破解、滥用，致使软件开发者的劳动成果遭受巨大的损害。论文从应用的角度出发，提出了非对称加密技
一个工程项目的建设,需要大量的投资和较长的施工期,并且要求较长的建筑使用年限.只有工程项目合乎质量标准,才能投入和交付使用,从而发挥其投资效益,满足社会的需要.由此可
目前我国社会经济得到了快速的发展,水利水电工程建设在经济发展中发挥着重要的作用,这是一个国家的基础性设施建设,在未来有着非常大的发展空间.它的建设,不仅仅是为了防止
机场特种车辆的高效运行是保障航班正常运行中重要的一环.针对机场特种车辆任务多、时间要求高和能耗大的问题,提出了一种基于改进KCM和磷虾群算法的调度优化方法,建立了以最
工程监理制度在我国工程领域已实行了近二十年,随着工程项目管理的新变化,安全管理问题已是工程监理重要组成部分.本文就监理单位与监理的安全责任与目标进行探讨,并对加强工