一个程序静态分析与可视化工具

摘要

程序的静态分析技术可以将程序源代码抽象为结构化数据。通过可视化技术将程序的内部关系图形化地直观显示，有利于软件的测试和分析，对保证软件质量起到一定作用。针对上述两方面，作者设计并实现了一个程序静态分析与可视化工具——CodeDia。CodeDia分为程序分析引擎和可视化显示前端。程序分析引擎可以直接分析Java源程序中类之间、方法之间的调用关系以及异常传播路径，生成XML格式的分析结果文件，以便进一步分析处理；可视化显示前端可以对分析结果文件中包含的程序信息进行可视化显示，实现了图形的交互显示、预览视图、树形视图以及图片的导出与程序源代码的显示。系统设计采用MVC模式，具有较高的灵活性和可扩展性。