"动态符号执行辅助的fuzzing技术研究与实现"

本硕士学位论文的题目是"动态符号执行辅助的fuzzing技术的研究与实现"，属于智能科学与技术专业，由梁洪亮教授指导，隶属于计算机学院。本论文的完成日期为2018年3月11日。本论文的目的是研究动态符号执行辅助的fuzzing技术，并实现相关技术，以提高软件安全性和性能。本文采用了保密级别为保密的研究资料和方法，对相关领域的研究和实践具有一定的参考价值。 随着信息技术的不断发展，软件在人们生活中的应用越来越广泛、深入，其安全性也越发受到重视。Fuzzing作为一种高效、实用的软件安全测试技术，在保障软件安全方面发挥着重要作用。动态符号执行辅助的fuzzing技术结合了符号执行的优势，可以更加高效地发现软件中存在的漏洞，提升软件的安全性和稳定性。 本论文通过对动态符号执行辅助的fuzzing技术进行深入研究，包括相关原理、实现方法、优缺点等方面的分析和探讨。同时结合具体的案例和实验，验证了该技术的有效性和实用性。论文的研究内容包括符号执行和fuzzing技术的基础知识，以及动态符号执行辅助的fuzzing技术的相关理论和算法。在实现方法上，论文介绍了基于动态符号执行的fuzzing工具的设计和开发过程，对其进行了详细的功能介绍和性能评估。在实验方面，论文通过对多个开源软件的测试和比较，验证了动态符号执行辅助的fuzzing技术在漏洞发现和软件安全性方面的优越性，为相关领域的研究和实践提供了可靠的参考。 本论文的创新点主要体现在对动态符号执行辅助的fuzzing技术进行了深入研究和实践，并在实验中取得了一定的成果。通过对该技术的分析和实验验证，论文总结了动态符号执行辅助的fuzzing技术的优势和局限性，为进一步研究和应用提供了有益的思路和经验。 总之，本硕士学位论文从理论和实践两个方面对动态符号执行辅助的fuzzing技术进行了全面的研究和探讨，对相关领域的研究和实践具有一定的参考价值。希望本论文的研究成果能够为提高软件安全性和性能，以及推动相关领域的发展和创新提供一定的帮助和启发。