Exemple #1
0
  public static boolean maybeSameLocation(Value v1, Value v2) {
    if (!(v1 instanceof InstanceFieldRef && v2 instanceof InstanceFieldRef)
        && !(v1 instanceof ArrayRef && v2 instanceof ArrayRef)) {
      return v1.equivTo(v2);
    }
    if (v1 instanceof InstanceFieldRef && v2 instanceof InstanceFieldRef) {
      InstanceFieldRef ifr1 = (InstanceFieldRef) v1;
      InstanceFieldRef ifr2 = (InstanceFieldRef) v2;
      if (!ifr1.getField().getName().equals(ifr2.getField().getName())) return false;

      Local base1 = (Local) ifr1.getBase();
      Local base2 = (Local) ifr2.getBase();
      PointsToAnalysis pta = Scene.v().getPointsToAnalysis();
      PointsToSet pts1 = pta.reachingObjects(base1);
      PointsToSet pts2 = pta.reachingObjects(base2);
      return pts1.hasNonEmptyIntersection(pts2);
    } else { // v1 instanceof ArrayRef && v2 instanceof ArrayRef
      ArrayRef ar1 = (ArrayRef) v1;
      ArrayRef ar2 = (ArrayRef) v2;

      Local base1 = (Local) ar1.getBase();
      Local base2 = (Local) ar2.getBase();
      PointsToAnalysis pta = Scene.v().getPointsToAnalysis();
      PointsToSet pts1 = pta.reachingObjects(base1);
      PointsToSet pts2 = pta.reachingObjects(base2);
      return pts1.hasNonEmptyIntersection(pts2);
    }
  }
 public boolean arrayRefRedefined(ArrayRef lARef, List<ValueBox> rUseBoxes) {
   for (ValueBox rUseBox : rUseBoxes) {
     Value rBoxValue = rUseBox.getValue();
     if (rBoxValue instanceof ArrayRef) {
       ArrayRef rARef = (ArrayRef) rBoxValue;
       if (twoValueEquals(lARef.getBase(), rARef.getBase())
           && twoValueEquals(lARef.getIndex(), rARef.getIndex())) {
         return true;
       }
     }
   }
   return false;
 }
 public static Value getForwardsBase(Value val) {
   if (val instanceof ArrayRef) {
     ArrayRef arrayRef = (ArrayRef) val;
     return arrayRef.getBase();
   }
   return val;
 }
 public void caseArrayRef(ArrayRef arg0) {
   OpenCLArrayType array = new OpenCLArrayType((ArrayType) arg0.getBase().getType());
   if (isLhs()) {
     m_output.append(array.getArrayRefSetter(arg0));
     setCheckException();
   } else {
     m_output.append(array.getArrayRefGetter(arg0));
     setCheckException();
   }
 }
 /** extracts array base values from array refs and values from cast expressions */
 public static Value getBackwardsBase(Value val) {
   if (val instanceof ArrayRef) {
     ArrayRef arrayRef = (ArrayRef) val;
     return arrayRef.getBase();
   }
   if (val instanceof CastExpr) {
     CastExpr castExpr = (CastExpr) val;
     return castExpr.getOp();
   }
   return val;
 }
  @Override
  public Set<? extends IAllocNode> getPTSet(Value val, Context context) {
    // handle case for insensitive run
    if (k == 0) return getPTSetIns(val);

    final Set<AllocNode> allocNodes = new LinkedHashSet<AllocNode>();
    final Type filteringType = val.getType();

    PointsToSetInternal pts = null;

    try {
      if (val instanceof InstanceFieldRef) {
        final InstanceFieldRef ifr = (InstanceFieldRef) val;
        pts =
            (PointsToSetInternal)
                ptsProvider.reachingObjects(context, (Local) ifr.getBase(), ifr.getField());
      } else if (val instanceof ArrayRef) {
        ArrayRef arrayRef = (ArrayRef) val;
        pts =
            (PointsToSetInternal)
                ptsProvider.reachingObjectsOfArrayElement(
                    ptsProvider.reachingObjects(context, (Local) arrayRef.getBase()));
      } else if (val instanceof Local) {
        pts = (PointsToSetInternal) ptsProvider.reachingObjects(context, (Local) val);
      } else if (val instanceof StaticFieldRef) {
        SootField field = ((StaticFieldRef) val).getField();
        pts = (PointsToSetInternal) ptsProvider.reachingObjects(field);
      } else if (val instanceof NullConstant) {
        return allocNodes;
      } else {
        logger.error("Unknown reference type for insenstive search: {} {}", val, val.getClass());
        droidsafe.main.Main.exit(1);
      }

      // visit internal points to set and grab all allocnodes
      pts.forall(
          new P2SetVisitor() {
            public void visit(Node n) {
              if (typeManager.castNeverFails(n.getType(), filteringType))
                allocNodes.add((AllocNode) n);
            }
          });

    } catch (Exception e) {
      logger.info("Some sort of error getting context insensitive points to set for {}", val, e);
      // e.printStackTrace();
    }

    return allocNodes;
  }
Exemple #7
0
  /**
   * A value represents a var if it's a constant, local, field ref (for field itself), or array elem
   * ref (any element in it). Objects are *not* considered here.
   */
  public static boolean valuesEqual(Value v1, Value v2) {
    // case 1: both null refs or constants
    if (v1 == null || v2 == null) return v1 == v2;
    if (v1 instanceof Constant) {
      if (v2 instanceof Constant) return v1.equals(v2);
      return false;
    }

    // case 2: locals
    if (v1 instanceof Local) return v1 == v2;
    // case 3: field refs (base is ignored)
    if (v1 instanceof FieldRef) {
      SootFieldRef sfr1 = ((FieldRef) v1).getFieldRef();
      if (!(v2 instanceof FieldRef)) return false;
      SootFieldRef sfr2 = ((FieldRef) v2).getFieldRef();
      return sfr1.declaringClass() == sfr2.declaringClass() && sfr1.name().equals(sfr2.name());
    }
    // case 4: array elems (index compared only if constant)
    //         they are the same if elem types are equal and index values are not definitely
    // different
    assert (v1 instanceof ArrayRef);

    ArrayRef ae1 = (ArrayRef) v1;
    if (!(v2 instanceof ArrayRef)) return false;
    ArrayRef ae2 = (ArrayRef) v2;
    if (!ae1.getBase().getType().equals(ae2.getBase().getType())) return false;
    // *** FOR NOW, we avoid distinguishing array elems with constant indices as different
    // variables,
    //  because it leads to too much instrumentation at defs and uses of array elem with unknown
    // index.
    //		Value vIdx1 = ae1.getIndex();
    //		Value vIdx2 = ae2.getIndex();
    //		if (vIdx1 instanceof Constant && vIdx2 instanceof Constant && !vIdx1.equals(vIdx2))
    //			return false;
    return true;
  }
Exemple #8
0
  /**
   * Hash code for Value representing a variable if it's a constant, local, field ref (for field
   * itself), or array elem ref (for all elements of array of that type).
   */
  public static int valueHashCode(Value v) {
    // case 1: null or constant
    if (v == null) return 0;
    if (v instanceof Constant) return v.hashCode();

    // case 2: local
    if (v instanceof Local) return v.hashCode();
    // case 3: field ref (base is ignored)
    if (v instanceof FieldRef) {
      SootFieldRef sfr = ((FieldRef) v).getFieldRef();
      return sfr.resolve().hashCode();
    }
    // case 4: array elems
    assert (v instanceof ArrayRef);
    ArrayRef ae1 = (ArrayRef) v;
    // *** FOR NOW, we avoid distinguishing array elems with constant indices as different
    // variables,
    //  because it leads to too much instrumentation at defs and uses of array elem with unknown
    // index.
    return ae1.getBase()
        .getType()
        .hashCode(); // + ((ae1.getIndex() instanceof Constant)? ae1.getIndex().hashCode() : 0);
  }