Program: 24323
Project: 24323
Buggy source:
@Override public View getView(int pos,View convertView,ViewGroup parent){
  final int position=total - pos - 1;
  if (first) {
    listview=(ListView)parent;
    listview.setOnScrollListener(new AbsListView.OnScrollListener(){
      @Override public void onScroll(      AbsListView view,      int firstVisibleItem,      int visibleItemCount,      int totalItemCount){
      }
      @Override public void onScrollStateChanged(      AbsListView view,      int scrollState){
        if (!touched && listview.getVisibility() == View.VISIBLE)         touched=true;
        if (listview.getChildAt(0).getTop() < sixteen && listview.getChildAt(0).getTop() >= eight)         read_items.add(content_links.get(content_links.size() - 1));
        if (scrollState == AbsListView.OnScrollListener.SCROLL_STATE_IDLE)         main.update_navigation_data(null,false);
      }
    }
);
    first=false;
  }
  ViewHolder holder;
  if (convertView == null) {
    convertView=inflater.inflate(R.layout.card_layout,parent,false);
    holder=new ViewHolder();
    holder.title_view=(TextView)convertView.findViewById(R.id.title);
    holder.time_view=(TextView)convertView.findViewById(R.id.time);
    holder.description_view=(TextView)convertView.findViewById(R.id.description);
    holder.image_view=(ImageView)convertView.findViewById(R.id.image);
    holder.left=(ImageView)convertView.findViewById(R.id.white_left_shadow);
    holder.right=(ImageView)convertView.findViewById(R.id.white_right_shadow);
    convertView.setOnClickListener(new webview_mode());
    convertView.setOnLongClickListener(new long_press());
    convertView.setTag(holder);
  }
 else   holder=(ViewHolder)convertView.getTag();
  final String link=content_links.get(position);
  final int height=content_height.get(position);
  final int width=content_width.get(position);
  boolean image_exists=false;
  if (width == 0)   holder.image_view.setVisibility(View.GONE);
 else   image_exists=true;
  if (image_exists) {
    holder.image_view.setImageDrawable(new ColorDrawable(Color.WHITE));
    holder.image_view.setVisibility(View.VISIBLE);
    holder.left.setVisibility(View.GONE);
    holder.right.setVisibility(View.GONE);
    ViewGroup.LayoutParams iv=holder.image_view.getLayoutParams();
    iv.height=(int)((((double)screen_width) / (width)) * (height));
    iv.width=LayoutParams.MATCH_PARENT;
    holder.image_view.setLayoutParams(iv);
    holder.image_view.setPadding(0,four,0,0);
    holder.image_view.setTag(position);
    if (android.os.Build.VERSION.SDK_INT < android.os.Build.VERSION_CODES.HONEYCOMB)     (new image()).execute(holder,holder.image_view,holder.image_view.getTag());
 else     (new image()).executeOnExecutor(AsyncTask.THREAD_POOL_EXECUTOR,holder.image_view,holder.image_view.getTag());
  }
  if (read_items.contains(content_links.get(position))) {
    holder.title_view.setAlpha(0.6f);
    holder.description_view.setAlpha(0.6f);
    holder.time_view.setAlpha(0.6f);
    holder.image_view.setAlpha(0.6f);
  }
 else   if (holder.title_view.getAlpha() == 0.6f) {
    holder.title_view.setAlpha(1.0f);
    holder.description_view.setAlpha(1.0f);
    holder.time_view.setAlpha(1.0f);
    holder.image_view.setAlpha(1.0f);
  }
  if (touched && position - 1 >= 0)   read_items.add(content_links.get(position - 1));
  String title=content_titles.get(position);
  String description=content_des.get(position);
  if (!description.equals("String_Node_Str")) {
    holder.description_view.setVisibility(View.VISIBLE);
    if (image_exists) {
      holder.left.setVisibility(View.VISIBLE);
      holder.right.setVisibility(View.VISIBLE);
      holder.description_view.setPadding(eight,four,eight,eight);
      holder.image_view.setPadding(0,four,0,four);
    }
 else     holder.description_view.setPadding(eight,two,eight,eight);
    holder.description_view.setText(description);
  }
 else {
    holder.description_view.setVisibility(View.GONE);
    if (!image_exists) {
      holder.time_view.setPadding(eight,0,eight,eight);
    }
  }
  holder.title_view.setText(title);
  holder.time_view.setText(link);
  return convertView;
}

Fixed version (ground truth):
@Override public View getView(int pos,View convertView,ViewGroup parent){
  final int position=total - pos - 1;
  if (first) {
    listview=(ListView)parent;
    listview.setOnScrollListener(new AbsListView.OnScrollListener(){
      @Override public void onScroll(      AbsListView view,      int firstVisibleItem,      int visibleItemCount,      int totalItemCount){
      }
      @Override public void onScrollStateChanged(      AbsListView view,      int scrollState){
        if (listview.getChildAt(0).getTop() == eight) {
          utilities.log(main.storage,"String_Node_Str");
          read_items.add(content_links.get(content_links.size() - 1));
        }
        if (scrollState == AbsListView.OnScrollListener.SCROLL_STATE_IDLE)         main.update_navigation_data(null,false);
      }
    }
);
    first=false;
  }
  ViewHolder holder;
  if (convertView == null) {
    convertView=inflater.inflate(R.layout.card_layout,parent,false);
    holder=new ViewHolder();
    holder.title_view=(TextView)convertView.findViewById(R.id.title);
    holder.time_view=(TextView)convertView.findViewById(R.id.time);
    holder.description_view=(TextView)convertView.findViewById(R.id.description);
    holder.image_view=(ImageView)convertView.findViewById(R.id.image);
    holder.left=(ImageView)convertView.findViewById(R.id.white_left_shadow);
    holder.right=(ImageView)convertView.findViewById(R.id.white_right_shadow);
    convertView.setOnClickListener(new webview_mode());
    convertView.setOnLongClickListener(new long_press());
    convertView.setTag(holder);
  }
 else   holder=(ViewHolder)convertView.getTag();
  final String link=content_links.get(position);
  final int height=content_height.get(position);
  final int width=content_width.get(position);
  boolean image_exists=false;
  if (width == 0)   holder.image_view.setVisibility(View.GONE);
 else   image_exists=true;
  if (image_exists) {
    holder.image_view.setImageDrawable(new ColorDrawable(Color.WHITE));
    holder.image_view.setVisibility(View.VISIBLE);
    holder.left.setVisibility(View.GONE);
    holder.right.setVisibility(View.GONE);
    ViewGroup.LayoutParams iv=holder.image_view.getLayoutParams();
    iv.height=(int)((((double)screen_width) / (width)) * (height));
    iv.width=LayoutParams.MATCH_PARENT;
    holder.image_view.setLayoutParams(iv);
    holder.image_view.setPadding(0,four,0,0);
    holder.image_view.setTag(position);
    if (android.os.Build.VERSION.SDK_INT < android.os.Build.VERSION_CODES.HONEYCOMB)     (new image()).execute(holder,holder.image_view,holder.image_view.getTag());
 else     (new image()).executeOnExecutor(AsyncTask.THREAD_POOL_EXECUTOR,holder.image_view,holder.image_view.getTag());
  }
  if (read_items.contains(content_links.get(position))) {
    holder.title_view.setAlpha(0.6f);
    holder.description_view.setAlpha(0.6f);
    holder.time_view.setAlpha(0.6f);
    holder.image_view.setAlpha(0.6f);
  }
 else   if (holder.title_view.getAlpha() == 0.6f) {
    holder.title_view.setAlpha(1.0f);
    holder.description_view.setAlpha(1.0f);
    holder.time_view.setAlpha(1.0f);
    holder.image_view.setAlpha(1.0f);
  }
  if (listview.getVisibility() == View.VISIBLE) {
    if (position - 1 >= 0)     read_items.add(content_links.get(position - 1));
  }
  String title=content_titles.get(position);
  String description=content_des.get(position);
  if (!description.equals("String_Node_Str")) {
    holder.description_view.setVisibility(View.VISIBLE);
    if (image_exists) {
      holder.left.setVisibility(View.VISIBLE);
      holder.right.setVisibility(View.VISIBLE);
      holder.description_view.setPadding(eight,four,eight,eight);
      holder.image_view.setPadding(0,four,0,four);
    }
 else     holder.description_view.setPadding(eight,two,eight,eight);
    holder.description_view.setText(description);
  }
 else {
    holder.description_view.setVisibility(View.GONE);
    if (!image_exists) {
      holder.time_view.setPadding(eight,0,eight,eight);
    }
  }
  holder.title_view.setText(title);
  holder.time_view.setText(link);
  return convertView;
}