Abstract: An analyzer for maintaining and analyzing source code is disclosed. The analyzer includes a software translator for converting conventional source code into an intermediate language, slicing capability based upon weakest precondition determination, dual direction flow analysis and incorporation of a computational model to facilitate iterative code.
Type:
Grant
Filed:
November 13, 1995
Date of Patent:
February 22, 2000
Assignee:
Peritus Software Services, Inc.
Inventors:
Ashraf Afifi, Dominic Chan, Joseph J. Comuzzi, Johnson M. Hart, Antonio Pizzarello
Abstract: A process and tool for scalable, almost automatic, modification of interacting computer program units comprising the identification of variables affected by seed variables of known with attributes in equivalence classes and the modification of those variables identified with the target attributes.
Type:
Grant
Filed:
October 31, 1995
Date of Patent:
November 17, 1998
Assignee:
Peritus Software Services, Inc.
Inventors:
Johnson M. Hart, Ashraf Afifi, Antonio Pizzarello, Dominic Chan