Static Analysis Database
Parsing the source code populates the database.
Rows are indexed by the functions and variables of the original (e.g., C) code;
Columns are indexed by the methods and data members of re-engineered target (e.g., C++) code;
Rows and columns are grouped into sub-matrices indexed by modules or classes that contain data items.