【摘 要】
：
目前,静态分析技术已被广泛用于JavaScript程序的安全性分析。但是由于JavaScript支持通过eval等方法在运行时动态生成代码,仅靠静态分析难以取得动态生成代码。一种可行的解
【机 构】
：
数据工程与知识工程教育部重点实验室（中国人民大学）,中国人民大学信息学院
【基金项目】
：
国家自然科学基金(61170240,91418206,61472429);国家科技重大专项(2012ZX01039-004)资助
论文部分内容阅读
目前,静态分析技术已被广泛用于JavaScript程序的安全性分析。但是由于JavaScript支持通过eval等方法在运行时动态生成代码,仅靠静态分析难以取得动态生成代码。一种可行的解决方法是通过动态运行目标程序取得动态生成代码,再对其进行静态分析。然而,动态运行目标程序只能覆盖有限的执行路径,会遗漏其他执行路径中的动态生成代码。针对这一问题,基于动态插桩实现了一个反事实执行方法。该方法通过修改JavaScript引擎,在其语法解析阶段动态插入反事实执行体,使条件不成立的分支路径和当前执行路径均能够得到
其他文献
急诊重症护理记录是急诊病历的重要组成部分,是急诊护理工作的重要档案资料,是护理信息管理内容之一。特别是《医疗事故处理条例》颁布以后对医疗文书提出更加严格规范的要求
龙胆泻肝汤是临床上最为常用的“苦寒直折、寒凉攻下”的代表方剂之一，具有泻肝胆实火、清下焦湿热之功效。笔者通过多年临证实践，以龙胆泻肝汤为主方巧妙化裁治疗偏头痛等多种
泌尿系统感染是临床上常见的感染性疾病，耐药菌的出现和流行为其治疗带来困难。2008年1-12月，我们共为402例泌尿系感染患者行中段尿培养和药物敏感试验，旨在为临床合理应用抗生
青藏高原对于人身体和心灵的冲击,绝非寥寥数语可以表达。蔚蓝的天空,辽阔的草地,挺拔的山峰,圣洁的白雪,悠久的历史,传奇的故事,神秘的佛教,虔诚的僧人,浓郁的藏族民风……
本实验对预处理猪血清IgG料液超滤浓缩进行了研究。选择螺旋卷式超滤设备,以截留液全循环错流方式对预处理IgG料液进行超滤浓缩。其最佳工艺参数为：样品pH值为7、温度50℃、超
马锡五审判方式出现于新中国成立前的陕北解放区,马锡五审判方式因其深入基层、调判结合、最大限度地追求公平与效率并存而被当时人们称道,并发挥了积极作用。今天,随着社会
由于JavaScript自身的语言特性,JavaScript程序中可能存在与运行时变量类型不匹配的缺陷,这类缺陷往往难以被察觉,只有在运行时报错后才能发现故障,而人工检查代码时需要开发
章学诚在《古文十弊》中提出自己对“古文”的诸多认识与理解,特别是运用了“古文辞”“古文辞义例”这样的称谓,明示其不同于传统说法的新见解。以章氏“古文辞”观的提出背
提出了一种考虑悬索结构在中支座存在滑移时的非线性计算方法,推导出关于索元无应力长度发生变化时的滑移刚度公式,并进行了实例计算.计算结果表明,本文的方法正确,计算精度
【正】 全民所有制企业对国家拨给它作为生产经营活动的国家财产以及在进行经营活动中增殖的财富,享有什么权利、所享有的权利的性质、内容和范围,与国家作为整个全民财产的