@Override public LockResourceTracker getResourceTracker(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException { return new LockResourceTracker(bugReporter, classContext.getCFG(method), classContext.getValueNumberDataflow(method), classContext.getIsNullValueDataflow(method)); }
IsNullValueFrame frame = classContext.getIsNullValueDataflow(method).getFactAtLocation(location); if (!frame.isValid()) { return;
invDataflow = classContext.getIsNullValueDataflow(method);
IsNullValueDataflow isNullDataflow = classContext.getIsNullValueDataflow(method); Set<ValueNumber> paramValueNumberSet = null;
public void dumpSimpleDataflowInformation(Method method) { try { dumpDataflowInformation(method, getCFG(method), getValueNumberDataflow(method), getIsNullValueDataflow(method), null, null); } catch (DataflowAnalysisException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } catch (CFGBuilderException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } }
IsNullValueDataflow invDataflow = classContext.getIsNullValueDataflow(method); IsNullValueFrame frame = invDataflow.getFactAtLocation(location); ValueNumberFrame vnaFrame = classContext.getValueNumberDataflow(method).getFactAtLocation(location);
try { this.invDataflow = classContext.getIsNullValueDataflow(method); this.vnaDataflow = classContext.getValueNumberDataflow(method); if (findGuaranteedDerefs) {
public void dumpDataflowInformation(Method method) { try { dumpDataflowInformation(method, getCFG(method), getValueNumberDataflow(method), getIsNullValueDataflow(method), getUnconditionalValueDerefDataflow(method), getTypeDataflow(method)); } catch (DataflowAnalysisException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } catch (CFGBuilderException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } }
try { ValueNumberDataflow vnaDataflow = getClassContext().getValueNumberDataflow(getMethod()); IsNullValueDataflow invDataflow = getClassContext().getIsNullValueDataflow(getMethod()); ValueNumberFrame vFrame = vnaDataflow.getAnalysis().getFactAtPC(vnaDataflow.getCFG(), getPC()); IsNullValueFrame iFrame = invDataflow.getAnalysis().getFactAtPC(invDataflow.getCFG(), getPC()); .contains(f))) { try { IsNullValueDataflow invDataflow = getClassContext().getIsNullValueDataflow(getMethod()); IsNullValueFrame iFrame = invDataflow.getAnalysis().getFactBeforeExceptionCheck(invDataflow.getCFG(), getPC());
ClassContext.dumpDataflowInformation(method, cfg, vnaDataflow, classContext.getIsNullValueDataflow(method), dataflow, classContext.getTypeDataflow(method));
CFG cfg = classContext.getCFG(method); IsNullValueDataflow inv = classContext.getIsNullValueDataflow(method); boolean guaranteedNonNull = true; for (Iterator<Location> i = cfg.locationIterator(); i.hasNext();) {
IsNullValueDataflow nullValueDataflow = classContext.getIsNullValueDataflow(method); MethodGen methodGen = classContext.getMethodGen(method); String sourceFile = classContext.getJavaClass().getSourceFileName();
IsNullValueDataflow isNullValueDataflow = getClassContext().getIsNullValueDataflow(getMethod()); ValueNumberDataflow valueNumberDataflow = getClassContext().getValueNumberDataflow(getMethod()); UnconditionalValueDerefDataflow unconditionalValueDerefDataflow = getClassContext()
IsNullValueDataflow isNullDataflow = classContext.getIsNullValueDataflow(method); IsNullValueFrame isNullFrame = isNullDataflow.getFactAtLocation(location); BugAnnotation a = BugInstance.getSourceForTopStackValue(classContext, method, location);
@Override public LockResourceTracker getResourceTracker(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException { return new LockResourceTracker(bugReporter, classContext.getCFG(method), classContext.getValueNumberDataflow(method), classContext.getIsNullValueDataflow(method)); }
public void dumpSimpleDataflowInformation(Method method) { try { dumpDataflowInformation(method, getCFG(method), getValueNumberDataflow(method), getIsNullValueDataflow(method), null, null); } catch (DataflowAnalysisException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } catch (CFGBuilderException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } }
IsNullValueDataflow invDataflow = classContext.getIsNullValueDataflow(method); IsNullValueFrame frame = invDataflow.getFactAtLocation(location); ValueNumberFrame vnaFrame = classContext.getValueNumberDataflow(method).getFactAtLocation(location);
public void dumpDataflowInformation(Method method) { try { dumpDataflowInformation(method, getCFG(method), getValueNumberDataflow(method), getIsNullValueDataflow(method), getUnconditionalValueDerefDataflow(method), getTypeDataflow(method)); } catch (DataflowAnalysisException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } catch (CFGBuilderException e) { AnalysisContext.logError( "Could not dump data information for " + getJavaClass().getClassName() + "." + method.getName(), e); } }
try { this.invDataflow = classContext.getIsNullValueDataflow(method); this.vnaDataflow = classContext.getValueNumberDataflow(method); if (findGuaranteedDerefs) {
CFG cfg = classContext.getCFG(method); IsNullValueDataflow inv = classContext.getIsNullValueDataflow(method); boolean guaranteedNonNull = true; for (Iterator<Location> i = cfg.locationIterator(); i.hasNext();) {