【摘 要】
：
针对基于PHP语言开发的Web应用程序产生的污点型漏洞,提出一种静态代码分析检测的方法。提出的生成控制流图的算法,基于PHP内置函数解析PHP程序,生成抽象解析树,进而生成控制
【基金项目】
：
国家高技术研究发展计划(863)(No.2012AA012902)
论文部分内容阅读
针对基于PHP语言开发的Web应用程序产生的污点型漏洞,提出一种静态代码分析检测的方法。提出的生成控制流图的算法,基于PHP内置函数解析PHP程序,生成抽象解析树,进而生成控制流图;对内置特征、入口点和敏感点进行建模,精确分析数据流;提出基于有效路径的污点分析方法,提高了分析的准确性,实现了基于变量回溯的路径遍历算法。实现了该方法的原型系统,并对两个广泛使用的PHP应用程序进行测试,发现了6个未公开漏洞和11个已公开漏洞,证明了该系统具有较强的漏洞检测能力。
其他文献
现阶段,伴随着经济突飞猛进的发展速度,对于酒店业来说既是机遇又是挑战。酒店为了实现自身经营发展目标,实现企业的利润最大化,在酒店内部加强全面预算管理就具有一定的现实
以兔为研究对象,探讨电刺激法致心脏骤停模型建立的方法。结果电刺激致兔心脏骤停时血压骤降至2.36±0.92kPa,心电图600～700次/min室颤波;复苏后血压仍保持在较低水平,心电图S
新疆艾比湖卤虫是水产养殖业的重要饵料。对2013—2016年不同保存年限的艾比湖卤虫休眠卵的孵化特性及平均寿命进行测定,结果表明,2015年的孵化率最高为(49.7±6.5)%,2013年
<正>低油价导致石油行业上游投资持续降低,各类原油商生产不得不选择多种手段降本提效,力争将有限的投资实现最大化收益。低油价是检验石油企业发展质量和效益的"试金石",原
本文针对630MW机组超临界直流锅炉蒸汽吹灰器运行中存在的问题,对尾部烟道吹灰器系统提出改造和优化,减少机组高品质蒸汽的损耗,改善机组蒸汽的利用率;减少锅炉受热面的磨损,
养猪重在理念，理念决定行为，行为决定结果，养殖理念是决定养殖成败的关键。养猪人尤其是养猪企业的决策者，必须有正确、先进的养猪理念，才能使养猪业沿着正确的轨道持续发展。
【英国《每日邮报》网站11月16日报道】题：城镇空气污染使50岁以上人群的大脑变老3年 研究显示，城镇中较高水平的空气污染将使50岁以上人群的大脑变老达3年之多。 科学家已经
为验证低蛋白饲粮对肥育猪生长性能的影响，采用单因子试验设计，选择体重60kg左右的健康杜长大三元杂种母猪和去势公猪72头，随机分为3组、每组6个重复、每个重复4头，分别饲喂传统
【目的】观察胃萎Ⅰ号治疗慢性萎缩性胃炎的临床效果,并从细胞凋亡和相关基因的表达方面探讨其作用机理。【方法】120例患者均经胃镜与病理检查证实为慢性萎缩性胃炎,分成两