Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  /*
   * fb-contrib - Auxiliary detectors for Java programs
   * Copyright (C) 2005-2013 Dave Brosius
   * 
   * This library is free software; you can redistribute it and/or
   * modify it under the terms of the GNU Lesser General Public
   * License as published by the Free Software Foundation; either
   * version 2.1 of the License, or (at your option) any later version.
   * 
  * This library is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  * Lesser General Public License for more details.
  * 
  * You should have received a copy of the GNU Lesser General Public
  * License along with this library; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 package com.mebigfatguy.fbcontrib.detect;
 
 import java.util.Set;
 
 import  org.apache.bcel.classfile.Code;
 import  org.apache.bcel.generic.Type;
 
 import  edu.umd.cs.findbugs.BugInstance;
 import  edu.umd.cs.findbugs.BugReporter;
 import  edu.umd.cs.findbugs.BytecodeScanningDetector;

looks for methods that use floating point indexes for loops. Since floating point math is inprecise, rounding errors will occur each time through the loop causing hard to find problems. It is usually better to use integer indexing, and calculating the correct floating point value from the index.
 
 public class FloatingPointLoops extends BytecodeScanningDetector
 {
 	enum State {SAW_LOAD, SAW_CMPX, SAW_IFX, SAW_STORE}
 	
 	BugReporter bugReporter;
 	private Set<FloatForLoopforLoops = new HashSet<FloatForLoop>();

constructs a FPL detector given the reporter to report bugs on

Parameters:
bugReporter the sync of bug reports
 
 	public FloatingPointLoops(BugReporter bugReporter) {
 		this. = bugReporter;
 	}

implements the visitor to clear the forLoops set

Parameters:
obj the context object for the currently parsed code block
 
 	public void visitCode(Code obj) {
          = new HashSet<FloatForLoop>();
         super.visitCode(obj);
          = null;
 	}

implements the visitor to find for loops using floating point indexes

Parameters:
seen the opcode of the currently parsed instruction
 
 	public void sawOpcode(int seen) {	
 		if (.size() > 0) {
 			while (ffl.hasNext()) {
 				if (!ffl.next().sawOpcode(seen))
 					ffl.remove();
 			}
 		}
 		
 		if ((seen == FLOAD) || (seen == DLOAD))
 		else if ((seen >= FLOAD_0) && (seen <= FLOAD_3))
 			.add(new FloatForLoop(seen - FLOAD_0, getPC()));
 		else if ((seen >= DLOAD_0) && (seen <= DLOAD_3))
 			.add(new FloatForLoop(seen - DLOAD_0, getPC()));
 	}

maintains the state of a previously found for loop
 
 	public class FloatForLoop
 	{
 		private State state;
 		private final int loopPC;
 		private final int loopReg;
 		private int gotoPC;
 		
 		public FloatForLoop(int regint pc) {
 			 = reg;
			 = pc;
			 = -1;
		}
		public boolean sawOpcode(final int seen) {
			switch () {
				case :
					if ((seen == FCMPG) 
					||  (seen == FCMPL)
					||  (seen == DCMPG)
					||  (seen == DCMPL)) {
						return true;
else if ((seen == INVOKEVIRTUAL) || 
							   (seen == INVOKESTATIC) ||
							   (seen == INVOKEINTERFACE) ||
							   (seen == INVOKESPECIAL)) {
						Type t = Type.getReturnType(methodSig);
						return !"V".equals(t.getSignature());
else if ((seen < ISTORE) || (seen > SASTORE)) {
						return true;
					}
				break;
				case :
					if ((seen >= IFEQ) && (seen <= IFLE)) {
						return ( > getPC());
					}
				break;
				case :
					if (getPC() < ( - 1))
						return true;
					else if (getPC() == ( - 1)) {
						int storeReg;
						if ((seen == FSTORE) || (seen == DSTORE))
							storeReg = getRegisterOperand();
						else if ((seen >= FSTORE_0) && (seen <= FSTORE_3))
							storeReg = seen - FSTORE_0;
						else if ((seen >= DSTORE_0) && (seen <= DSTORE_3))
							storeReg = seen - DSTORE_0;
						else
							return false;
						return storeReg == ;
					return false;
				case :
					if (((seen == GOTO) || (seen == GOTO_W)) && (getBranchTarget() == )) {
						.reportBug(new BugInstance(FloatingPointLoops.this"FPL_FLOATING_POINT_LOOPS", NORMAL_PRIORITY)
							.addClass(FloatingPointLoops.this)
							.addMethod(FloatingPointLoops.this)
							.addSourceLine(FloatingPointLoops.this));
					}
				break;
			}
			return false;
		}
	}
New to GrepCode? Check out our FAQ X