registerTopOfStackSource(SourceSinkType.OTHER, location, When.UNKNOWN, false, null);
}
private void registerConstantPushSource(Location location) throws DataflowAnalysisException {
ConstantPushInstruction instruction = (ConstantPushInstruction) location.getHandle().getInstruction();
Number constantValue = instruction.getValue();
registerConstantSource(location, constantValue);
}