Code Query Technology Based on Program Analysis
Jianhua Zhao · 2012
A new code query technology based on program analysis was presented.It gives aid in several scenarios of software engineering and research,such as code review,program automated instrumentation and so on.By means of static analysis,program elements is gathered by an extractor,which is responsible for mapping sources to an intermediate structure used in process of query.Query language proposed in this paper depicts query condition in the formalism of predicate logic expression.On the basis of this technology,a tool for querying code in C/C++ language was implemented as an Eclipse plug-in.