Improved weakest condition analysis. In one embodiment, a computer-implemented method including first identifying a set of candidates of a computer program that are potentially defective, via a predetermined data flow analysis. In one embodiment, the predetermined data flow analysis may be a static single assignment analysis, or a partial redundancy analysis. Next, each of these candidates is examine via a weakest precondition analysis to determine whether the candidate actually is defective. The end result is a faster analysis, because the weakest precondition analysis is only performed on those candidates that are deemed potentially defective by the initial predetermined data flow analysis performed.

Verbesserte schwächste Bedingunganalyse. In einer Verkörperung Datenfluß eine Computer-eingeführte Methode einschließlich einen Satz Anwärter eines Computerprogramms, die, über möglicherweise defekt sind, vorbestimmtes zuerst kennzeichnen Analyse. In einer Verkörperung vorbestimmten Datenfluß Analyse können eine statische einzelne Aufgabenanalyse oder eine teilweise Redundanzanalyse sein. Zunächst ist jeder dieser Anwärter überprüfen über eine schwächste Vorbedingunganalyse, um festzustellen, ob der Anwärter wirklich defekt ist. Das Ende Resultat ist eine schnellere Analyse, weil die schwächste Vorbedingunganalyse nur an jenen Anwärtern durchgeführt wird, die möglicherweise defekt durch vorbestimmten Ausgangs Datenfluß die durchgeführte Analyse gemeint werden.