A unified program analysis framework that facilitates the analysis of
complex multi-language software systems, analysis reuse, and analysis
comparison, by employing techniques such as program translation and
automatic results mapping, is presented. The feasibility and
effectiveness of such a framework are demonstrated using a sample
application of the framework. The comparison yields new insights into the
effectiveness of the techniques employed in both analysis tools. These
encouraging results yield the observation that such a unified program
analysis framework will prove to be valuable both as a testbed for
examining different language analysis techniques, and as a unified
toolset for broad program analysis.