Program: 97673
Project: 97673
Buggy source:
@Override public View getView(int position,View convertView,ViewGroup parent){
  View view=super.getView(position,convertView,parent);
  if (convertView == null) {
    ((CheckBox)view.findViewById(R.id.checkbox)).setOnCheckedChangeListener(new OnCheckedChangeListener(){
      @Override public void onCheckedChanged(      CompoundButton buttonView,      boolean isChecked){
        String packageName=(String)buttonView.getTag();
        boolean changed=mModuleUtil.isModuleEnabled(packageName) ^ isChecked;
        if (changed) {
          mModuleUtil.setModuleEnabled(packageName,isChecked);
          mModuleUtil.updateModulesList(true);
        }
      }
    }
);
  }
  InstalledModule item=getItem(position);
  TextView version=(TextView)view.findViewById(R.id.version_name);
  version.setText(item.versionName);
  view.findViewById(R.id.checkbox).setTag(item.packageName);
  view.setTag(item.packageName);
  ((ImageView)view.findViewById(R.id.icon)).setImageDrawable(item.getIcon());
  TextView descriptionText=(TextView)view.findViewById(R.id.description);
  if (!item.getDescription().isEmpty()) {
    descriptionText.setText(item.getDescription());
    descriptionText.setTextColor(ThemeUtil.getThemeColor(getContext(),android.R.attr.textColorSecondary));
  }
 else {
    descriptionText.setText(getString(R.string.module_empty_description));
    descriptionText.setTextColor(getResources().getColor(R.color.warning));
  }
  CheckBox checkbox=(CheckBox)view.findViewById(R.id.checkbox);
  checkbox.setChecked(mModuleUtil.isModuleEnabled(item.packageName));
  TextView warningText=(TextView)view.findViewById(R.id.warning);
  if (item.minVersion == 0) {
    checkbox.setEnabled(false);
    warningText.setText(getString(R.string.no_min_version_specified));
    warningText.setVisibility(View.VISIBLE);
  }
 else   if (installedXposedVersion != 0 && item.minVersion > installedXposedVersion) {
    checkbox.setEnabled(false);
    warningText.setText(String.format(getString(R.string.warning_xposed_min_version),item.minVersion));
    warningText.setVisibility(View.VISIBLE);
  }
 else   if (item.minVersion < ModuleUtil.MIN_MODULE_VERSION) {
    checkbox.setEnabled(false);
    warningText.setText(String.format(getString(R.string.warning_min_version_too_low),item.minVersion,ModuleUtil.MIN_MODULE_VERSION));
    warningText.setVisibility(View.VISIBLE);
  }
 else   if (item.isInstalledOnExternalStorage()) {
    checkbox.setEnabled(false);
    warningText.setText(getString(R.string.warning_installed_on_external_storage));
    warningText.setVisibility(View.VISIBLE);
  }
 else   if (item.isForwardLocked()) {
    checkbox.setEnabled(false);
    warningText.setText(getString(R.string.warning_forward_locked));
    warningText.setVisibility(View.VISIBLE);
    warningText.setVisibility(View.VISIBLE);
  }
 else {
    checkbox.setEnabled(true);
    warningText.setVisibility(View.GONE);
  }
  return view;
}

Fixed version (ground truth):
@Override public View getView(int position,View convertView,ViewGroup parent){
  View view=super.getView(position,convertView,parent);
  if (convertView == null) {
    ((CheckBox)view.findViewById(R.id.checkbox)).setOnCheckedChangeListener(new OnCheckedChangeListener(){
      @Override public void onCheckedChanged(      CompoundButton buttonView,      boolean isChecked){
        String packageName=(String)buttonView.getTag();
        boolean changed=mModuleUtil.isModuleEnabled(packageName) ^ isChecked;
        if (changed) {
          mModuleUtil.setModuleEnabled(packageName,isChecked);
          mModuleUtil.updateModulesList(true);
        }
      }
    }
);
  }
  InstalledModule item=getItem(position);
  TextView version=(TextView)view.findViewById(R.id.version_name);
  version.setText(item.versionName);
  view.findViewById(R.id.checkbox).setTag(item.packageName);
  view.setTag(item.packageName);
  ((ImageView)view.findViewById(R.id.icon)).setImageDrawable(item.getIcon());
  TextView descriptionText=(TextView)view.findViewById(R.id.description);
  if (!item.getDescription().isEmpty()) {
    descriptionText.setText(item.getDescription());
    descriptionText.setTextColor(ThemeUtil.getThemeColor(getContext(),android.R.attr.textColorSecondary));
  }
 else {
    descriptionText.setText(getString(R.string.module_empty_description));
    descriptionText.setTextColor(getResources().getColor(R.color.warning));
  }
  CheckBox checkbox=(CheckBox)view.findViewById(R.id.checkbox);
  checkbox.setChecked(mModuleUtil.isModuleEnabled(item.packageName));
  TextView warningText=(TextView)view.findViewById(R.id.warning);
  if (item.minVersion == 0) {
    checkbox.setEnabled(false);
    warningText.setText(getString(R.string.no_min_version_specified));
    warningText.setVisibility(View.VISIBLE);
  }
 else   if (installedXposedVersion != 0 && item.minVersion > installedXposedVersion) {
    checkbox.setEnabled(false);
    warningText.setText(String.format(getString(R.string.warning_xposed_min_version),item.minVersion));
    warningText.setVisibility(View.VISIBLE);
  }
 else   if (item.minVersion < ModuleUtil.MIN_MODULE_VERSION) {
    checkbox.setEnabled(false);
    warningText.setText(String.format(getString(R.string.warning_min_version_too_low),item.minVersion,ModuleUtil.MIN_MODULE_VERSION));
    warningText.setVisibility(View.VISIBLE);
  }
 else   if (item.isInstalledOnExternalStorage()) {
    checkbox.setEnabled(false);
    warningText.setText(getString(R.string.warning_installed_on_external_storage));
    warningText.setVisibility(View.VISIBLE);
  }
 else {
    checkbox.setEnabled(true);
    warningText.setVisibility(View.GONE);
  }
  return view;
}