Method for determining the set of variables that may be ambiguously defined at a point in a computer program
First Claim
1. A computer implemented method of determining the set of variables that may be ambiguously defined at a point in a computer program, the method comprising:
- (a) placing all variables contained in at least a portion of the computer program into the set;
(b) locating a definition of a variable in at least a portion of the computer program;
(c) if the definition unambiguously defines the variable, then removing the variable from the set; and
(d) if the definition is an ambiguous definition, then placing all the variables contained in the at least a portion of the computer program into the set.
1 Assignment
0 Petitions
Accused Products
Abstract
A computer implemented method for determining the set of variables that may be ambiguously defined at a point in a computer program includes first placing all variables contained in at least a portion of the computer program into the set. Next, a definition of a variable in at least a portion of the computer program is located. Then, if the definition unambiguously defines the variable, then the variable is removed from the set. Otherwise, if the definition is an ambiguous definition, then all the variables contained in the portion of the computer program are placed into the set.
34 Citations
44 Claims
-
1. A computer implemented method of determining the set of variables that may be ambiguously defined at a point in a computer program, the method comprising:
-
(a) placing all variables contained in at least a portion of the computer program into the set; (b) locating a definition of a variable in at least a portion of the computer program; (c) if the definition unambiguously defines the variable, then removing the variable from the set; and (d) if the definition is an ambiguous definition, then placing all the variables contained in the at least a portion of the computer program into the set. - View Dependent Claims (2, 3, 4, 5, 6)
-
-
7. A computer implemented method of determining the set of variables that may be ambiguously defined at a point just after a specified definition in a computer program, the method comprising:
-
(a) placing all variables contained in at least a portion of a computer program into the set; (b) locating a definition of a variable in the at least a portion of a computer program; (c) if the definition unambiguously defines the variable, then removing the variable from the set; (d) if the definition is an ambiguous definition, then placing all variables contained in the at least a portion of the computer program into the set; and (e) repeating acts (b) through (d) until the definition is the specified definition. - View Dependent Claims (8, 9, 10, 11, 12)
-
-
13. A computer implemented method of determining the set of variables that may be ambiguously defined at a point just before a specified definition in a computer program, the method comprising:
-
(a) placing all variables contained in at least a portion of a computer program into the set; (b) locating a definition of a variable in the at least a portion of a computer program; (c) if the definition is not the specified definition, then (i) if the definition unambiguously defines the variable, then removing the variable from the set; (ii) if the definition is an ambiguous definition, then placing all variables contained in the at least a portion of the computer program into the set; and (d) repeating acts (b) and (c) until the definition is the specified definition. - View Dependent Claims (14, 15, 16, 17, 18)
-
-
19. A computer implemented method of determining a first set of variables that may be ambiguously defined at a point just prior to the first statement in a basic block of a computer program, the method comprising:
-
(a) determining a second set of variables that may be ambiguously defined at a point just after the last statement in the basic block; (b) determining a third set of variables that are unambiguously defined at a point just after the last statement in the basic block; (c) setting a fourth set of variables that may be ambiguously defined at a point just after the basic block equal to the second set; and (d) iteratively solving for the first set and the fourth set. - View Dependent Claims (20)
-
-
21. A computer implemented method of determining a first set of variables that may be ambiguously defined at a point just prior to the first statement in a basic block or a computer program, the method comprising:
-
(a) determining a second set of variables that may be ambiguously defined at a point just after the last statement in the basic block; (b) setting a third set of variables that may be ambiguously defined at a point just after a basic block equal to the second set; and (c) iteratively solving for the first set and the third set. - View Dependent Claims (22)
-
-
23. A program storage device readable by a general purpose computer, the program storage device encoding statements for a method for determining the set of variables that may be ambiguously defined at a point in a computer program, the method comprising:
-
(a) placing all variables contained in at least a portion of the computer program into the set; (b) locating a definition of a variable in at least a portion of the computer program; (c) if the definition unambiguously defines the variable, then removing the variable from the set; and (d) if the definition is an ambiguous definition, then placing all the variables contained in the at least a portion of the computer program into the set. - View Dependent Claims (24, 25, 26, 27, 28)
-
-
29. A program storage device readable by a general purpose computer, the program storage device encoding statements for a method of determining the set of variables that may be ambiguously defined at a point just after a specified definition in a computer program, the method comprising:
-
(a) placing all variables contained in at least a portion of a computer program into the set; (b) locating a definition of a variable in the at least a portion of a computer program; (c) if the definition unambiguously defines the variable, then removing the variable from the set; (d) if the definition is an ambiguous definition, then placing all variables contained in the at least a portion of the computer program into the set; and (e) repeating acts (b) through (d) until the definition is the specified definition. - View Dependent Claims (30, 31, 32, 33, 34)
-
-
35. A program storage device readable by a general purpose computer, the program storage device encoding a method of determining the set of variables that may be ambiguously defined at a point just before a specified definition in a computer program, the method comprising:
-
(a) placing all variables contained in at least a portion of a computer program into the set; (b) locating a definition of a variable in the at least a portion of a computer program; (c) if the definition is not the specified definition, then (i) if the definition unambiguously defines the variable, then removing the variable from the set; (ii) if the definition is an ambiguous definition, then placing all variables contained in the at least a portion of the computer program into the set; and (d) repeating acts (b) and (c) until the definition is the specified definition. - View Dependent Claims (36, 37, 38, 39, 40)
-
-
41. A program storage device readable by a general purpose computer, the program storage device encoding statements for a method of determining a first set of variables that may be ambiguously defined at a point just prior to the first statement in a basic block of a computer program, the method comprising:
-
(a) determining a second set of variables that may be ambiguously defined at a point just after the last statement in the basic block; (b) determining a third set of variables that are unambiguously defined at a point just after the last statement in the basic block; (c) setting a fourth set of variables that may be ambiguously defined at a point just after the basic block equal to the second set; and (d) iteratively solving for the first set and the fourth set. - View Dependent Claims (42)
-
-
43. A program storage device readable by a general purpose computer, the program storage device encoding a method of determining a first set of variables that may be ambiguously defined at a point just prior to the first statement in a basic block or a computer program, the method comprising:
-
(a) determining a second set of variables that may be ambiguously defined at a point just after the last statement in the basic block; (b) setting a third set of variables that may be ambiguously defined at a point just after a basic block equal to the second set; and (c) iteratively solving for the first set and the third set. - View Dependent Claims (44)
-
Specification