一种基于程序结构的程序主变元分析与确定方法研究的中期报告.docx

文档介绍：该【一种基于程序结构的程序主变元分析与确定方法研究的中期报告 】是由【niuww】上传分享，文档一共【1】页，该文档可以免费在线阅读，需要了解更多关于【一种基于程序结构的程序主变元分析与确定方法研究的中期报告 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。一种基于程序结构的程序主变元分析与确定方法研究的中期报告该中期报告旨在介绍基于程序结构的程序主变量分析与确定方法的研究进展。该方法旨在帮助程序员快速准确地确定程序中的主变量,从而提高程序可读性和维护性。首先,我们提出了一个由三个部分组成的算法框架,包括控制流图构建、程序切片和主变量识别。我们使用工具Z3作为符号执行器,以捕获程序执行的所有可能路径。我们使用此框架来分析不同的程序示例,并发现它的表现非常不错。接下来,我们详细讨论了每个部分的实现。首先,我们介绍了如何使用AST(抽象语法树)和符号执行技术来构建控制流图。其次,我们介绍了程序切片,该方法可以帮助我们快速准确地确定程序中变量的影响范围。最后,我们介绍了主变量识别,该方法使用污点分析和数据流分析来确定主要变量。我们还做了一个实验来评估我们的方法。我们使用了一些截至2021年9月的流行开源项目,。我们使用自动化测试套件来测量我们的方法在变异测试中的表现,并与现有的方法进行了比较。结果表明,我们的方法在识别主要变量方面表现优异,具有更好的准确性和覆盖率。总之,我们的研究提出了一种基于程序结构的程序主变量分析与确定方法。该方法已经在一些流行的开源项目中证明了其有效性,有望帮助程序员更好地理解程序并提高其可读性和维护性。我们将继续改进该方法,并在更广泛的应用中进行评估。