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...http://www.google.de/patents/US7406685?utm_source=gb-gplus-sharePatent US7406685 - System and method for whole-system program analysis