Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  /*
   * fb-contrib - Auxiliary detectors for Java programs
   * Copyright (C) 2005-2015 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.Map;
 
 
 
looks for usage of arrays with statically known indices where it can be determined that the index is out of bounds based on how the array was allocated. This delector is obviously limited to a small subset of out of bounds exceptions that can be statically determined, and not the large family of problems that can occur at runtime.
 
 
     private BugReporter bugReporter;
     private OpcodeStack stack;
     private BitSet initializedRegs;
     private BitSet modifyRegs;
     private Map<IntegerIntegernullStoreToLocation;
    
    
constructs an AIOB detector given the reporter to report bugs on

Parameters:
bugReporter the sync of bug reports
  
     public ArrayIndexOutOfBounds(BugReporter bugReporter) {
         this. = bugReporter;
     }
     
     @Override
     public void visitClassContext(ClassContext classContext) {
         try {
              = new OpcodeStack();
              = new BitSet();
              = new BitSet();
              = new HashMap<IntegerInteger>();
             super.visitClassContext(classContext);
         } finally {
              = null;
              = null;
              = null;
              = null;
         }
     }
     
     @Override
     public void visitCode(Code obj) {
         Method m = getMethod();
         .resetForMethodEntry(this);
         .clear();
         .clear();
         Type[] argTypes = m.getArgumentTypes();
         int arg = ((m.getAccessFlags() & .) != 0) ? 0 : 1;
         for (Type argType : argTypes) {
             String argSig = argType.getSignature();
             .set(arg);
             arg += ("J".equals(argSig) || "D".equals(argSig)) ? 2 : 1;
         }
         .clear();
         super.visitCode(obj);
         
        for (Integer pc : .values()) {
            .addClass(this)
            .addMethod(this)
            .addSourceLine(thispc.intValue()));
        }
    }
    
    @Override
    public void sawOpcode(int seen) {
        Integer size = null;
        boolean sizeSet = false;
        try {
            .precomputation(this);
            
            switch (seen) {
            case :
            case :
            case :
            case :
            case :
            case :
                size = Integer.valueOf(seen - );
                sizeSet = true;
            break;
            
            case :
            case :
            case :
            case :
            case : {
                int reg = RegisterUtils.getLoadReg(this,  seen);
                if (.get(reg)) {
                    .clear(reg);
                    sizeSet = true;
                }
            }
            break;
                
            
            case :
            case :
                size = Integer.valueOf(getIntConstant());
                sizeSet = true;
            break;
            
            case :
                .set(getRegisterOperand());
            break;
            
            case :
            case :
            case :
            case :
            case :
            case :
            case :
                sizeSet = true;
            break;
            
            case :
            case :
            case :
            case :
            case :
                if (.getStackDepth() > 0) {
                    OpcodeStack.Item item = .getStackItem(0);
                    if (item.getUserValue() == null) {
                        .set(getRegisterOperand());
                    }
                }
            break;
                
            case :
                Constant c = getConstantRefOperand();
                if (c instanceof ConstantInteger) {
                    size = Integer.valueOf(((ConstantIntegerc).getBytes());
                    sizeSet = true;
                }
            break;
            
            case :
            case :
                if (.getStackDepth() >= 1) {
                    OpcodeStack.Item item = .getStackItem(0);
                    size = (Integeritem.getUserValue();
                    sizeSet = true;
                }
                break;
            
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
                if (.getStackDepth() >= 3) {
                    OpcodeStack.Item indexItem = .getStackItem(1);
                    Number index = (NumberindexItem.getConstant();
                    if (index != null) {
                        OpcodeStack.Item arrayItem = .getStackItem(2);
                        Integer sz = (IntegerarrayItem.getUserValue();
                        if (sz != null) {
                            if (index.intValue() >= sz.intValue()) {
                                .reportBug(new BugInstance(this..name(), )
                                            .addClass(this)
                                            .addMethod(this)
                                            .addSourceLine(this));
                            }
                        }
                        
                        int reg = arrayItem.getRegisterNumber();
                        if ((reg >= 0) && !.get(reg)) {
                            .put(Integer.valueOf(reg), Integer.valueOf(getPC()));
                        }
                    }
                }
                break;
                
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
                if (.getStackDepth() >= 2) {
                    OpcodeStack.Item indexItem = .getStackItem(0);
                    Integer index = (IntegerindexItem.getConstant();
                    if (index != null) {
                        OpcodeStack.Item arrayItem = .getStackItem(1);
                        Integer sz = (IntegerarrayItem.getUserValue();
                        if (sz != null) {
                            if (index.intValue() >= sz.intValue()) {
                                .reportBug(new BugInstance(this..name(), )
                                            .addClass(this)
                                            .addMethod(this)
                                            .addSourceLine(this));
                            }
                        }
                    }
                }
                break;
                
            case :
            case :
            case :
            case :
            case :
                if (.getStackDepth() > 0) {
                    OpcodeStack.Item value = .getStackItem(0);
                    if (!value.isNull())
                        .set(getRegisterOperand());
                } else {
                    .set(getRegisterOperand());
                } 
                break;
            
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
            case :
                int branchTarget = getBranchTarget();
                Iterator<Map.Entry<IntegerInteger>> it = .entrySet().iterator();
                while (it.hasNext()) {
                    Map.Entry<IntegerIntegerentry = it.next();
                    int pc = entry.getValue().intValue();
                    if ((branchTarget < pc) && (.get(entry.getKey().intValue())))
                        it.remove();
                }
            }
  
        } finally {
            .sawOpcode(thisseen);
            if (sizeSet) {
                if (.getStackDepth() >= 1) {
                    OpcodeStack.Item item = .getStackItem(0);
                    item.setUserValue(size);
                }
            }
        }
    }
New to GrepCode? Check out our FAQ X