An extensible analyzer of subroutines in imperative languages

A lot of work has been dedicated to the analysis of sequential imperative programs. However, existing tools of analysis seem to lack for clarity and extensibility. That is to say, although some of them perform powerful context-sensitive dataflow analysis, their efforts are chiefly directed to the analysis of a particular programming language. In this paper, we propose a new analyzer for C++ and Java that can be easily extended to perform intraprocedural analysis of any imperative program. We discuss the ideas motivating the choice of one or another approach to analyzer implementation.