● 摘要
静态分析是软件白盒测试、逆向工程以及再工程等工具的核心基础支撑技术。长期以来，由于C++语言语法十分复杂，导致构造一个完整的C++分析器十分困难，静态语言分析技术一直是C++语言相关CASE工具开发的瓶颈。 本文的研究基于北航软件所开发的C++静态分析工具JLparser，主要的研究工作是在原分析器的基础上继续增强它的语法分析能力，提高分析器的性能，改善分析器设计，提高分析器的重用能力。 本文围绕“C++静态分析器的改进和优化”这一课题，结合目前国外研究现状以及北航软件所原有C++静态分析器存在的问题，讨论了如何提高现有分析器的可用性、实用性和重用性。 论文首先简要介绍了国内外相关领域的研究现状，讨论了原分析器的主要不足之处，说明了本课题的主要研究内容和主要难点。 接下来论文结合分析器原有的问题，提出了从三个方面改进目前的分析器。首先论文围绕提高分析器的语法分析能力，详细说明了目前分析器面临的语法分析难点，并给出了相应的解决方法。接下来围绕分析器的性能问题，重点突出速度性能和内存性能，提出了一系列方法来改善上述性能。最后介绍了分析器的重用性问题，围绕可维护性和可重用性两个话题，介绍了目前在这方面所做的一系列工作。最后论文从系统层次总结了本论文做的主要工作，并给出了具体的应用情况。论文结尾总结了现有工作并给出了进一步工作展望。关键词：静态分析 C++ 改进 优化 重用
相关内容
相关标签