【摘 要】
：
随着软件技术的快速发展,面向领域的软件系统在广泛使用的同时带来了研究与应用上的新挑战.由于领域应用对安全性、可靠性有着很高的要求,而符号执行和模糊测试等技术在保障
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系,南京大学信息管理学院
【基金项目】
：
国家自然科学基金(62032010),江苏省研究生科研与实践创新计划。
论文部分内容阅读
随着软件技术的快速发展,面向领域的软件系统在广泛使用的同时带来了研究与应用上的新挑战.由于领域应用对安全性、可靠性有着很高的要求,而符号执行和模糊测试等技术在保障软件系统的安全性、可靠性方面已经发展了数十年,许多研究和被发现的缺陷表明了它们的有效性.但是,由于两者的优劣各有不同,将这两者相结合仍是近期热门研究的话题.目前的结合方法在于两者相互协助,例如,模糊测试不可达的区域交给符号执行求解.但是,这些方法只能在模糊测试(或符号执行)运行时判定是否应该借助符号执行(或模糊测试),无法同时利用这两者的优势,从
其他文献
国家话语能力建设,是研究习近平新时代中国特色社会主义思想国际传播的一个新颖视角。从分项层面看,国家话语能力包括党和国家领导人话语能力、党和国家机构话语能力、国家媒
基于车位和充电桩协同共享建立了所有电动汽车停车充电费用最少调度模型。针对蝙蝠算法易陷入局部最优和过早收敛的问题,提出了一种局部搜索与全局搜索相结合的新型蝙蝠算法,
为了解决量子计算对公钥密码安全的威胁,后量子密码成为密码领域的前沿焦点研究问题.后量子密码通过数学理论保证了算法的安全性,但在具体实现和应用中易受侧信道攻击,这严重
目的 应用新的HBV表达载体,建立体外筛选临床抗HBV药物的方法.方法 克隆对拉米夫定耐药的CHB患者体内HBV全基因组,然后将其亚克隆到HBV真核表达载体pHY106,体外转染Huh7细胞,
目的 介绍神经内镜下寰枕减压治疗Chairi畸形的方法.方法 采用内镜下后正中2～3 cm小切口行寰枕减压治疗1例Chairi畸形脊髓空洞症患者.结果 术后患者各项症状和体征缓解或消失,
目的探究血清缺血修饰蛋白(IMA)、脂蛋白磷脂酶A2(LP-PLA2)联合检测评估缺血性脑卒中神经功能缺损的临床价值。方法选取2017年1月至2020年1月我院收治的缺血性脑卒中患者100
目的研究多层螺旋CT后处理技术在诊断四肢骨关节骨折中的临床应用效果。方法将2019年2月至2020年1月到我院就诊的128例疑似四肢骨关节骨折的患者作为研究对象,在实施常规X线
本试验以甘肃省玛曲县欧拉乡2个项目户的天然草地为试验对象,研究了青藏高寒牧区高寒草甸和沼泽化草甸地上生物量、主要营养成分及干物质消化率间的差异以及年际和月际变化规
为了探究miR-365对胃癌细胞活力、增殖的影响及作用机制,使用RT-qPCR技术检测胃癌细胞(AGS和MGC80-3)与正常胃上皮细胞(GES-1)中miR-365的内源性表达水平及临床样本中胃癌组
新时代中国特色社会主义是中国共产党领导人民进行新民主主义革命、社会主义革命和建设以及改革开放的伟大社会革命的成果和继续,伟大社会革命奠定了新时代中国特色社会主义