采用反射和开放编译技术，设计并实现了一个面向对象程序静态分析器，对开放编译器OpenC 进行了扩展与改进。通过实验研究表明，该程序静态分析器可以得到全面的系统依赖信息，可以有效地辅助程序理解。