variablesBefore[offset].generalize(other.variablesBefore[offset], false); stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
variablesBefore[offset].generalize(other.variablesBefore[offset], false); stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
variablesBefore[offset].generalize(other.variablesBefore[offset], false); stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
generalizedVariables.generalize(tracedVariables, false); generalizedVariables.generalize(tracedVariables, false);
generalizedVariables.generalize(tracedVariables, false); generalizedVariables.generalize(tracedVariables, false);
generalizedVariables.generalize(tracedVariables, false); generalizedVariables.generalize(tracedVariables, false);
generalizedVariables.generalize(tracedVariables, false); generalizedVariables.generalize(tracedVariables, false);
variablesBefore[offset].generalize(other.variablesBefore[offset], false); stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
boolean variablesChanged = variablesBefore[instructionOffset].generalize(variables, true); boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); variables.generalize(variablesBefore[instructionOffset], false); stack.generalize(stacksBefore[instructionOffset]); variablesAfter[instructionOffset].generalize(variables, true); stacksAfter[instructionOffset].generalize(stack);
boolean variablesChanged = variablesBefore[instructionOffset].generalize(variables, true); boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); variables.generalize(variablesBefore[instructionOffset], false); stack.generalize(stacksBefore[instructionOffset]); variablesAfter[instructionOffset].generalize(variables, true); stacksAfter[instructionOffset].generalize(stack);
boolean variablesChanged = variablesBefore[instructionOffset].generalize(variables, true); boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); variables.generalize(variablesBefore[instructionOffset], false); stack.generalize(stacksBefore[instructionOffset]); variablesAfter[instructionOffset].generalize(variables, true); stacksAfter[instructionOffset].generalize(stack);
boolean variablesChanged = variablesBefore[instructionOffset].generalize(variables, true); boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); variables.generalize(variablesBefore[instructionOffset], false); stack.generalize(stacksBefore[instructionOffset]); variablesAfter[instructionOffset].generalize(variables, true); stacksAfter[instructionOffset].generalize(stack);