符号执行相关论文
软件漏洞是网络安全事件产生的主要根源,已经成为网络空间博弈的重要战略资源,受到了国家、企业和研究机构的高度关注。面向二进制......
符号执行是一种程序分析技术，通过收集程序路径上约束条件并利用约束求解器生成高覆盖率的测试用例，能发现深层次程序错误的优势。首......
作为区块链2.0时代的重要标志,智能合约具有数据透明、不可篡改、永久运行等特点,这就使得其在解决“信用”问题方面具有天然的优......
随着计算机技术的快速发展和普及,软件系统的规模和复杂性急剧增大。程序中不仅存在指针、数组、结构体等复杂的数据结构,而且还有......
随着软件规模和复杂度的不断提高,软件缺陷问题不断出现。如何提高软件的可靠性已经成为软件工程领域的一个重要研究问题。程序验......
随着漏洞挖掘技术的进步,漏洞被发现的速度越来越快。对于安全从业者或者软件供应商来说,漏洞利用生成能够帮助他们根据严重程度对......
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上......
程序的最坏执行路径是计算程序复杂度的一项重要指标,有助于发现系统可能存在的复杂性漏洞.近年来将符号执行应用于程序复杂度分析......
软件测试是提高软件可靠性的重要手段。在软件测试方法中,覆盖测试是一种基本的白盒测试方法,为满足测试充分性,覆盖测试需要测试......
随着指挥信息系统软件规模的扩大,如何检测指挥信息系统软件当中存在的缺陷已经成为保证指挥信息系统软件质量的一个关键问题,本文......
符号执行技术出现较早,近些年在软件脆弱性分析领域得到了更多的关注和应用.从介绍符号执行技术的基本原理入手,给出了符号执行的......
当前漏洞检测存在测试数据有效性低的问题.本文提出一种基于程序内部危险函数覆盖的漏洞测试技术,依据漏洞污点传播模型,主要研究......
本文提出的类数据流测试模型,通过类范围的数据流分析、方法范围内的符号执行和自动演绎三个步骤来产生测试用例,即对象的方法激活......
格式化字符串漏洞是一种常见的危害较大的软件漏洞。现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情......
随着软件技术的发展，程序的规模逐渐增大，复杂度也逐渐增加。在软件的开发过程中，完全依靠人力进行分析测试效率太低，而且不能保证软件......
本文的工作主要是进行数据相关性测试的研究，作者首先回顾了数据相关性研究的传统方法，以及并行编程与数据相关性的关系。进而提出了......
如今，软件在人们的社会生活中占据越来越重要的地位，软件的正确性也受到人们越来越多的重视。特别是随着敏捷开发、开源软件等快速迭......
软件测试是保证软件产品质量的重要手段。其中，如何生成最少的测试输入数据而能对程序进行最全面的测试，成为了人们研究的一个重要课......
软件测试作为保证软件质量的重要手段，一直是计算机工程领域科学界关注的一个重要问题，已经成为软件生命周期中的重要组成部分。其中......
软件漏洞作为一种战略资源被人们所积极关注，并且每年新增的漏洞数量一直居高不下。漏洞一旦被攻击者利用，往往会造成严重的后果。因......
现代化社会，计算机与日常工作生活密不可分。然而伴随着社会的快速发展，计算机的安全问题日趋严重，一个威胁计算机安全的重要因素就是......
正确并高效地进行补丁验证对提高软件质量及程序员生产效率至关重要。使用静态分析的方法可以在程序不执行的情况下检测出程序中可......
软件测试能够检测软件中的错误并保障软件质量,是软件开发周期中最重要的环节之一。随着软件规模的不断扩大,软件测试中的各项费用......
随着软件技术的不断发展,软件测试技术对于软件开发者来说越来越重要,一个软件的好坏直接影响到企业或者个人的相应方面的信息安全......
随着计算机软件深入到生活的方方面面，人们对计算机软件质量的要求不断提高。软件测试技术作为一种有效的软件质量保证手段，已成为软......
随着信息共享的普及,各种应用软件相继出现。软件功能越来越多样,代码的控制结构也越来越复杂。随之而来的安全问题也引起社会各方......
C语言以其对底层机器操控的灵活性，在操作系统、嵌入式软件、底层驱动等要求高效的软件设计领域得到广泛应用。然而出于灵活性和效......
随着“互联网+”概念的提出,计算机相关技术的应用逐渐与传统的行业结合在一起,为其在现代化的发展道路上创造了新的契机。然而在......
代码安全缺陷一直是困扰IT产业发展的一颗绊脚石,究其缘由主要是安全缺陷检查的成本高,效率低下。目前主要靠手工或者工具两种方式......
代码安全在计算机系统中占有重要的地位,针对软件源代码进行安全性分析的工具和方法大量出现,对加强软件的代码安全起到了很好的作......
软件的规模和复杂度越来越高,大大提高了软件漏洞挖掘的难度。人们知道软件的版本更新指示了旧版本中存在某些缺陷或修改,如何开发......
加壳技术是保护软件知识产权的常用方法，但是常被恶意代码用来躲避杀毒软件的检测，因此对脱壳技术的研究是恶意代码分析的重要部分。......
软件测试是软件可靠性保障方法中必不可失的一个重要环节。在软件测试过程中,开发人员期望通过不断提高对待测程序模块的测试覆盖......
摘要：随着软件技术的飞速发展,软件的质量一直是软件行业关注的主题。软件测试作为保证软件质量的重要手段,在软件开发过程中发挥着......
随着互联网的普及，Web已经应用的各个领域，但针对于Web应用程序漏洞的攻击也越来越多，其危害程度也越来越大，虽然采取了多层的安全措施......
符号执行在辅助挖掘软件漏洞和软件去混淆等领域取得了很大的进展,作为保护软件安全最有效手段之一的代码混淆系统如今几乎无法对......
软件测试技术是保障软件质量和可靠性最重要的手段,测试用例的自动生成技术可以有效降低测试开销,提高测试效率,是近年来软件工程......
嵌入式系统是一种专用的计算机系统,通过裁剪、结合软硬件的资源,可以满足用户各项性能指标的要求,包括功能需求、可靠性、成本、......
软件安全漏洞问题是当前网络空间安全的重要研究方向之一,软件安全漏洞一旦被恶意攻击,会导致用户的财产损失和信息泄露。模糊测试......
由于区块链不可窜改的特性,部署到区块链上的智能合约不可更改。为了提高合约的安全性,防止智能合约出现整数溢出、短地址攻击、伪......
伴随Android系统的发展和Android设备的普及,Android应用程序变的丰富化和多样化。与此同时,Android应用程序漏洞种类越来越多,对......
在自动化漏洞挖掘领域中,符号执行是一种经常被采用的方法,目标一般是对软件进行全面的测试和及时准确地发现漏洞。符号执行包括两......
随着信息技术的高速发展与广泛应用,互联网与计算机已完全融入人们的生活。但是相应的,网络入侵的风险也急剧增加。IDS作为重要的......
随着移动互联网的发展,应用软件的数量在不断增长,同时针对软件程序的逆向攻击也越来越多。目前基于符号执行的程序分析技术能够对......
程序规约在软件工程中具有重要作用,它是对程序性质的形式化描述,可以帮助程序分析工具理解复杂程序的语义。随着程序库在软件开发......
数值计算程序在科研及应用中都有着广泛的使用,它的计算准确和高效都是软件正确运行的重要保证,尤其是在安全要求条件高和计算资源......
