使用SLICITO结合静态分析技术进行程序理解
软件工程
2025-03-21 v1
摘要
虽然程序理解工具通常使用静态程序分析技术来获取有用信息，但它们通常只适用于足够可扩展但精度有限的技术。这种方法的一种改进方式是让开发者交互式地缩小被分析代码的范围，然后对缩小后的范围应用更精确的分析技术。本文展示了SLICITO工具的新版本，允许开发者在Visual Studio中对C#代码进行此类探索。SLICITO的常见用法是使用过程间数据流分析来识别与给定任务最相关的代码部分，然后应用符号执行来推理这些部分的精确行为。受可塑开发的启发，SLICITO提供了一套程序分析和可视化构建块，可用于在Visual Studio中直接创建专门的程序理解工具。我们在一个真实的工业示例上展示了全部功能范围，包括文本和以下视频：https://www.slicito.com/icpc2025video.mp4
引用
@article{arxiv.2503.15675,
title = {Combining Static Analysis Techniques for Program Comprehension Using Slicito},
author = {Robert Husák and Jan Kofroň and Filip Zavoral},
journal= {arXiv preprint arXiv:2503.15675},
year = {2025}
}