Java UnconditionalValueDerefSet類代碼示例

import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefSet; //導入依賴的package包/類
/**
 * @param classContext
 * @param method
 * @param entryFact
 * @param paramVN
 * @return
 */
public boolean isCaught(ClassContext classContext, Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN) {
    boolean caught = true;

    Set<Location> dereferenceSites
      = entryFact.getDerefLocationSet(paramVN);
    if (dereferenceSites != null && !dereferenceSites.isEmpty()) {
        ConstantPool cp = classContext.getJavaClass().getConstantPool();

        for(Location loc : dereferenceSites) {
            if (!FindNullDeref.catchesNull(cp, method.getCode(), loc))
                caught = false;
        }

    }
    return caught;
}
 

import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefSet; //導入依賴的package包/類
/**
 * Get the fact that is true on the given control edge,
 * <em>after applying the edge transfer function</em> (if any).
 *
 * @param edge
 *            the edge
 * @return the fact that is true after applying the edge transfer function
 * @throws DataflowAnalysisException
 */
public/* final */Fact getFactOnEdge(Edge edge) throws DataflowAnalysisException {
    BasicBlock block = isForwards() ? edge.getSource() : edge.getTarget();

    Fact predFact = createFact();
    copy(getResultFact(block), predFact);

    edgeTransfer(edge, predFact);

    Fact result = createFact();
    makeFactTop(result);
    if (this instanceof UnconditionalValueDerefAnalysis)
        ((UnconditionalValueDerefAnalysis)this).meetInto((UnconditionalValueDerefSet)predFact,
                edge, (UnconditionalValueDerefSet)result, true);
    else
        meetInto(predFact, edge, result);


    return result;
}
 

import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefSet; //導入依賴的package包/類
/**
 * Note the locations where a known-null value is unconditionally
 * dereferenced.
 *
 * @param thisLocation
 *            TODO
 * @param bugLocations
 *            TODO
 * @param nullValueGuaranteedDerefMap
 *            map of null values to sets of Locations where they are derefed
 * @param derefSet
 *            set of values known to be unconditionally dereferenced
 * @param isNullValue
 *            the null value
 * @param valueNumber
 *            the value number of the null value
 */
private void noteUnconditionallyDereferencedNullValue(Location thisLocation,
        Map<ValueNumber, SortedSet<Location>> bugLocations,
        Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet,
        IsNullValue isNullValue, ValueNumber valueNumber) {
    if (DEBUG) {
        System.out.println("%%% HIT for value number " + valueNumber + " @ " + thisLocation);
    }
    Set<Location> unconditionalDerefLocationSet = derefSet.getUnconditionalDerefLocationSet(valueNumber);
    if (unconditionalDerefLocationSet.isEmpty()) {
        AnalysisContext.logError("empty set of unconditionally dereferenced locations at "
                + thisLocation.getHandle().getPosition() + " in " + classContext.getClassDescriptor() + "."
                + method.getName() + method.getSignature());
        return;
    }

    // OK, we have a null value that is unconditionally
    // derferenced. Make a note of the locations where it
    // will be dereferenced.
    NullValueUnconditionalDeref thisNullValueDeref = nullValueGuaranteedDerefMap.get(valueNumber);
    if (thisNullValueDeref == null) {
        thisNullValueDeref = new NullValueUnconditionalDeref();
        nullValueGuaranteedDerefMap.put(valueNumber, thisNullValueDeref);
    }
    thisNullValueDeref.add(isNullValue, unconditionalDerefLocationSet);

    if (thisLocation != null) {
        SortedSet<Location> locationsForThisBug = bugLocations.get(valueNumber);

        if (locationsForThisBug == null) {
            locationsForThisBug = new TreeSet<Location>();
            bugLocations.put(valueNumber, locationsForThisBug);
        }
        locationsForThisBug.add(thisLocation);
    }
}