【摘 要】
：
随着软件应用范围的不断扩大，尤其是数据库软件和Web软件的广泛应用，字符串变量在软件程序中扮演的角色日益重要．一与此同时，针对字符串变量的程序分析技术——字符串分析，也取得
【机 构】
：
高可信软件技术教育部重点实验室北京大学,北京大学信息科学技术学院软件工程研究所
【基金项目】
：
国家重点基础研究发展计划(973)(2009CB320703);国家自然科学基金(60931160444,91118004,61225007)
论文部分内容阅读
随着软件应用范围的不断扩大，尤其是数据库软件和Web软件的广泛应用，字符串变量在软件程序中扮演的角色日益重要．一与此同时，针对字符串变量的程序分析技术——字符串分析，也取得了长足的发展，并在软件工程中的很多领域中得到了成功的应用．字符串分析的基本应用模式是首先使用字符串值分析获得字符串变量的所有可能取值，然后使用字符串约束求解判断这些变量的取值是否满足一定约束，从而对程序进行正确性验证．为了使得字符串分析能够应用在安全分析和软件维护应用中，研究人员对字符串分析进行了扩展，进一步分析字符串变量的数据来源．综
其他文献
2010年安徽省初中毕业学业考试已于6月16日圆满结束，化学试题严格依据《全日制义务教育化学课程标准》和（2010年安徽省初中毕业学业考试纲要》命题，既注重考查学生基础知识和基
基于风险防范的视角,阐述高校加强经济合同管理的现实意义,分析高校经济合同管理的现状及存在的问题,结合内部控制的有关要求,提出完善制度建设、严格预算控制、确立管理部门
夏季,高温是影响鸡生产性能的重要因素,鸡由于体温高,代谢旺盛,皮肤无汗腺,最不耐热。对产蛋鸡而言,其最适宜温度为10～25℃,当气温超过25℃时,鸡群出现热应激,表现体温升高,强
黑皮质素系统来自阿片-促黑素细胞皮质素原,在中枢摄食行为和能量平衡代谢中起到重要作用,此系统生理功能的发挥主要通过与下丘脑神经元细胞上特定膜受体（黑皮质素受体）结合完
对西宁市拟建大跨人行天桥进行有限元模拟分析,得到结构的基频和最不利荷载工况下竖向最大挠度,指出其挠度满足规范要求,基频却不满足.理论推导人行天桥基频限值的计算公式,
广州海珠桥初建时的工程费用支付从1929年始,至1935年终。探讨海珠桥建设工程的费用问题,包括合同价款、支付流程、最终支付数目、支付中出现的问题及其解决等,有助于梳理海
近些年,国家十分重视农业水利工程建设,其中,大型灌区续建配套与节水改造工程是重要建设内容,对农业的可持续发展有重要的作用。论文针对大型灌区续建配套与节水改造工程的建
目的:探讨芪参胶囊(黄芪、人参、丹参、三七、水蛭等)对心绞痛的治疗效果.方法:选择诊断明确的心绞痛患者126例;随机分为两组.治疗组给予芪参胶囊,每次5粒,每日3次;对照组给
Dither技术是提高多通道模拟采集系统动态性能的有效方法。通过分析Dither技术改善采集系统无杂散动态范围(SFDR)的原理,搭建了多通道模拟采集系统测试平台,通过FPGA控制A/DC
市政道路工程开展的质量关系到社会基础设施,而道路基础设施建设的施工质量不仅影响着道路桥梁的使用周期,同时也关系到了人民群众的出行安全。由于施工管理水平的高低对于市