动态符号执行相关论文
当今时代,软件漏洞被看作一种战略资源受到攻防双方的积极关注,因此软件漏洞挖掘已成为网络安全研究领域的焦点。二进制程序分析技......
随着计算机技术的发展,各种应用软件已经融入到社会生活的各个方面,而软件的规模也越来越大,随之而来的软件性能问题也逐渐引起人......
软件测试作为保证软件质量和可靠性的一种重要技术，在整个软件开发成本中占有重大比例，提高软件测试的效率对于降低软件维护成本具有......
随着软件技术的发展和对软件可靠性要求的提高,人们越来越重视软件质量。软件测试作为保证软件质量的一种重要技术,在整个软件开发......
软件测试是软件开发周期中重要的一环，用于检测软件存在的故障和缺陷，是保证软件健壮性和安全性的主要途径之一。随着软件的复杂性和......
近年来,由于多核处理器的快速发展,多线程编程技术已经越来越受重视,并得到了广泛的应用。然而,由于多线程执行顺序的不确定性,也......
随着软件技术的不断发展,软件测试技术对于软件开发者来说越来越重要,一个软件的好坏直接影响到企业或者个人的相应方面的信息安全......
随着软件技术的普及发展,软件系统被应用到我们生活的各个方面,在带来极大便利的同时我们也承受着由软件漏洞所带来的巨大风险。如......
本文首先对符号执行当前的研究现状、技术挑战和解决方案进行了全面深入的研究,分析了目前主要的DSE软件,研究显示DSE技术经过近10......
软件已经成为国防建设与国计民生的重要组成部分,如何提高软件的正确性、可靠性和安全性是计算机软件领域面临的重要挑战。Clarke......
近年来,信息技术的高速发展使得网络安全问题越来越突出,安全漏洞、安全攻击事件层出不穷。为保证软件和系统的安全可靠性,各大公......
自二十世纪以来,计算机技术作为高新科技行业的代表,被应用到人类社会生产生活的各个环节,在许许多多重要的领域发挥着不可替代的......
从上个世纪至今,计算机的各个领域都取得了长足的进步,软件作为存储和管理信息的工具,已广泛深入到现实社会的各个领域,成为整个社......
随着计算机技术的发展,软件在经济、工业、军事等重要领域的应用日益广泛,人们对其安全性的需求也越来越迫切。近年来动态符号执行......
随着办公数字化、数据云端化等概念在政府、企业、高校、军队内的不断落地,针对这些目标的攻击事件层出不穷。在所有类型的攻击事......
软件质量是保证软件产品正常平稳运行的关键,因为在软件开发和软件功能更新过程中不可避免会出现软件缺陷,这些缺陷如果不及时发现......
随着信息技术日新月异的发展,网络攻击以及恶意软件日益增多。这些攻击得以实现的基础是软件存在着设计或者编码的漏洞,如果能够尽......
随着软件的演化,借助补丁以修复程序中存在的缺陷是提升软件质量和可信程度的重要手段。然而程序补丁可能会引入新的问题,现有的软......
作为一种动态的程序分析技术,动态符号执行凭借高代码覆盖率、自动化计算输入值、分析结果准确等优点,已被广泛应用于软件测试和验......
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但......
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深......
以对二进制程序进行自动化缺陷发现为目标,基于软件虚拟机的动态二进制翻译机制和污点传播机制,对符号计算需要关注的程序运行时语......
恶意软件、漏洞利用程序等层出不穷,这些程序通常会利用代码混淆来增加其分析难度,以此来延长生存周期。不透明谓词混淆是代码混淆......
介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用......
为了更高效地进行代码安全检测,文章基于动态符号执行技术,针对其存在的执行路径空间爆炸、高效约束求解开销以及程序设计语言兼容......
恶意代码在运行时会采取多种方法探测沙箱环境,从而避免自身恶意行为暴露。通过对常见沙箱检测方法的研究,在具有动态符号执行功能......
目前网络上有海量的攻击流量时刻威胁着Web应用的安全。要想直接对攻击流量进行有效搜集并分析难度很大,而要想通过搭建靶机的方式......
安全套接层或传输层安全(Secure Sockets Layer or Transport Layer Security,SSL/TLS)协议是国际互联网上广泛使用的超文本传输安......
为了缓解动态符号执行不可避免的路径爆炸等问题,提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定......
随着互联网规模的日益扩大,拓扑结构的日益复杂,网络安全挑战也变得日益严峻,为了应对这种挑战,需要真实再现网络攻击的场景,才能......
代码安全在软件开发过程中日益受到重视,人们总是期望在软件正式发布前发现并解决所有潜在的缺陷,为此提出许多软件安全测试技术,......
未知协议是指协议格式规范等相关信息资料不公开的通信协议。出于保密性需求的考虑,目前越来越多的通信过程选择制定和采用未知协......
现如今的计算机系统在人们日常生活以及工作中起到的作用是不可或缺的,在提供便利的同时也极大地提高了生产效率。随着计算机系统......
网络空间安全中的各种博弈行为,漏洞挖掘、恶意代码检测、模型提取与分析作为一种战略资源而被各方积极关注。如何快速有效地发现......
随着装有安卓系统的设备越来越普遍,以及安卓应用市场的应用数量越来越多,种类越来越丰富,如何在一定的时间内有效且充分地对上传......
随着我国科学技术与信息技术的快速发展，人们对网络安全问题也提高了重视。软件漏洞是网络安全问题的主要根源之一，也成为相关研究人......
随着互联网的发展,软件已经渗透到人们生活的方方面面。由于软件功能的多样化,代码量和复杂度也逐渐变高。随之而来的安全问题引起......
符号执行介于程序验证和程序调试之间,是一种静态分析方法。但是符号执行不能全面的对软件可靠性进行检测。因此在符号执行的基础......
程序分析是程序优化、程序安全缺陷检测以及恶意代码检测领域的重要技术手段。程序分析分为静态程序分析、动态程序分析以及混合程......
针对C语言白盒测试用例自动生成问题，提出一套基于过程间的动态符号执行框架，建立基于Def-Use链和函数执行树的模型。以函数为单位进......
针对目前因勒索软件造成网络安全事故的问题,在对大量勒索软件样本进行分析的基础上,提出一种基于动态符号执行的勒索软件检测与分......
在软件开发过程中,软件缺陷始终威胁着软件的安全性以及可靠性,并且随着软件规模越发庞大、程序设计越发复杂,这一问题也将变得越......
随着信息技术的快速发展,软件在人们生活中的应用越加广泛、深入,其安全性也越发受到重视。Fuzzing作为一种高效、实用的软件测试......
动态符号执行是一种有效的软件测试方法,但由于受到约束求解器求解能力的限制,在面对较为复杂的程序和路径条件时,动态符号执行的......
测试用例集扩充问题（Test Suite Augmentation）是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充......
随着互联网和Web2.0的发展,Web应用越来越普遍,深入人们的生活。但在给我们带来便利的同时,Web应用也伴随着巨大的风险。各种Web漏......
现代社会,软件已经成为最重要的基础设施之一,在很多行业中发挥着不可或缺的作用。同时,软件的安全性也越来越受人们的重视。软件......
