Program static analyzer based on lightweight analysis
YE Hui-hua · Journal of Zhejiang University of Technology · 2007
In modern software engineering,technical procedures for program understanding is a kind of critical technique and effective approach in implementing system analysis and understanding of software.Many domestic and foreign scholars have made unremitting efforts to develop tools for program understanding.In the basis of analyzing existing tools,a program static analyzer based on lightweight analysis using incremental analysis is designed.It gains cross-index information through rapid analyzing the source codes,and improves process analysis time.