用户增强的反向工程

摘要

本文中公开的是用户增强的反向工程，其中在一个实施例中，在代码库、数据库、二进制等的图形表示的生成期间，可向用户提供用于“聚焦”的选项。例如，在大代码库的图形生成期间，用户可选择一个或多个物以限制图形表示生成的范围。在另一个实施例中，图形生成可遇到一个或多个预定的边界条件。在遇到边界条件后，图形表示的生成可确定在没有附加指令的情况下它不能在预定的一组要求内完成图形生成。因此，图形生成可完成然后向用户提示它已经遇到的任意边界条件的解，或者该生成可在每次遇到边界条件时暂停，并向用户提示对边界条件的解。

主权项

一种用于创建代码库的图形表示的计算机执行的交互式方法，包括：生成所述代码库的第一部分的图形表示；在生成所述第一部分的图形表示时确定一个或多个预定边界条件存在于所述代码库的所述第一部分内，其中确定所述一个或多个预定边界条件存在包括：确定没有足够的计算资源来生成所述代码库的图形表示、外部数据为所述代码库所需，或所述代码库的第二部分的图形表示具有多个可能的解；提示用户与所述一个或多个边界条件有关的输入；接收关于所述一个或多个边界条件的用户输入；以及生成所述代码库的受一个或多个边界条件限制的第二部分的图形表示，其中生成包括所述代码库的所述第二部分的静态分析或运行时分析，并创建所述代码库的显示在显示器上第二部分的图形表示。