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...