Defect detection in a software system made of multiple computer program
programs is facilitated by using information about cross-program
interactions and dependency relationships between programs to analyze the
individual programs in such a way that the behavior of the system as a
whole is accurately represented. A list of dependency relationships is
read in; these dependency relationships are used to determine an order in
which the programs should be analyzed. The programs are then analyzed in
that order. Information from the analysis of the programs is used to
inform the analysis of subsequently-analyzed programs.
