动态符号执行相关论文
当今时代,软件漏洞被看作一种战略资源受到攻防双方的积极关注,因此软件漏洞挖掘已成为网络安全研究领域的焦点。二进制程序分析技......
随着计算机技术的发展,各种应用软件已经融入到社会生活的各个方面,而软件的规模也越来越大,随之而来的软件性能问题也逐渐引起人......
近年来,由于多核处理器的快速发展,多线程编程技术已经越来越受重视,并得到了广泛的应用。然而,由于多线程执行顺序的不确定性,也......
随着软件技术的不断发展,软件测试技术对于软件开发者来说越来越重要,一个软件的好坏直接影响到企业或者个人的相应方面的信息安全......
本文首先对符号执行当前的研究现状、技术挑战和解决方案进行了全面深入的研究,分析了目前主要的DSE软件,研究显示DSE技术经过近10......
软件已经成为国防建设与国计民生的重要组成部分,如何提高软件的正确性、可靠性和安全性是计算机软件领域面临的重要挑战。Clarke......
近年来,信息技术的高速发展使得网络安全问题越来越突出,安全漏洞、安全攻击事件层出不穷。为保证软件和系统的安全可靠性,各大公......
自二十世纪以来,计算机技术作为高新科技行业的代表,被应用到人类社会生产生活的各个环节,在许许多多重要的领域发挥着不可替代的......
从上个世纪至今,计算机的各个领域都取得了长足的进步,软件作为存储和管理信息的工具,已广泛深入到现实社会的各个领域,成为整个社......
随着计算机技术的发展,软件在经济、工业、军事等重要领域的应用日益广泛,人们对其安全性的需求也越来越迫切。近年来动态符号执行......
随着办公数字化、数据云端化等概念在政府、企业、高校、军队内的不断落地,针对这些目标的攻击事件层出不穷。在所有类型的攻击事......
软件质量是保证软件产品正常平稳运行的关键,因为在软件开发和软件功能更新过程中不可避免会出现软件缺陷,这些缺陷如果不及时发现......
随着信息技术日新月异的发展,网络攻击以及恶意软件日益增多。这些攻击得以实现的基础是软件存在着设计或者编码的漏洞,如果能够尽......
作为一种动态的程序分析技术,动态符号执行凭借高代码覆盖率、自动化计算输入值、分析结果准确等优点,已被广泛应用于软件测试和验......
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但......
