An improved system and method of automating the identification, remediation and verification of computer program code fragments which have no specific search criteria using an iterative dynamic self propagating global symbol table. Computer code is input and then decomposed into predefined table entries. This is used to verify that all of the source code is present and to provide forward and backward linking to related code fragments containing various levels of dynamically modified confidence factors. Global computer program changes can then be made regardless of the initial state of the code fragment or number of redefinition's in a swap-by-propagation fashion. Remediations are logged to provide verification data and to insure complete testing.

Ein verbessertes System und eine Methode des Automatisierens der Kennzeichnung, des Remediation und der Überprüfung des Computerprogramms kodieren Fragmente, die keine spezifischen Suchkriterien mit einem wiederholenden dynamischen Selbst haben, der globale Zuordnungstabelle fortpflanzt. Computercode wird eingegeben und zerlegt dann in vorbestimmte Tabelle Eintragungen. Dieses wird, um zu überprüfen verwendet, daß das ganzes Quellenprogramm anwesend ist und und rückwärts verbinden zu den in Verbindung stehenden Codefragmenten vorwärts zur Verfügung zu stellen, die verschiedene Niveaus der dynamisch geänderten Vertrauen Faktoren enthalten. Globale Computerprogrammänderungen können unabhängig davon den Ausgangszustand des Codefragments oder der Zahl der Neudefinition dann vorgenommen werden in einer Austauschen-durchausbreitung Art und Weise. Remediations werden, um Überprüfung Daten zur Verfügung zu stellen geloggt und die komplette Prüfung zu versichern.