Abstract: 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.