Information extracted from an accurate static analysis framework can guide the executions during the dynamic stage. 1, for static generation of UML sequence diagrams Footnote 1 together with a query system to guide the user to the most interesting interactions in the (unobfuscated) source code Footnote 2 Given an existing object-oriented code base as input, our technique involves three distinct steps as shown in Fig.