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); } }
+ method.getSignature()); this.uvdDataflow = classContext.getUnconditionalValueDerefDataflow(method);
UnconditionalValueDerefDataflow dataflow = classContext.getUnconditionalValueDerefDataflow(method);
ValueNumberDataflow valueNumberDataflow = getClassContext().getValueNumberDataflow(getMethod()); UnconditionalValueDerefDataflow unconditionalValueDerefDataflow = getClassContext() .getUnconditionalValueDerefDataflow(getMethod()); ValueNumberFrame valueNumberFact = valueNumberDataflow.getFactAtLocation(produced); IsNullValueFrame isNullFact = isNullValueDataflow.getFactAtLocation(produced);
if ("get".equals(invokedMethodName)) { UnconditionalValueDerefDataflow unconditionalValueDerefDataflow = classContext .getUnconditionalValueDerefDataflow(method);
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); } }
+ method.getSignature()); this.uvdDataflow = classContext.getUnconditionalValueDerefDataflow(method);
UnconditionalValueDerefDataflow dataflow = classContext.getUnconditionalValueDerefDataflow(method);
ValueNumberDataflow valueNumberDataflow = getClassContext().getValueNumberDataflow(getMethod()); UnconditionalValueDerefDataflow unconditionalValueDerefDataflow = getClassContext() .getUnconditionalValueDerefDataflow(getMethod()); ValueNumberFrame valueNumberFact = valueNumberDataflow.getFactAtLocation(produced); IsNullValueFrame isNullFact = isNullValueDataflow.getFactAtLocation(produced);
if ("get".equals(invokedMethodName)) { UnconditionalValueDerefDataflow unconditionalValueDerefDataflow = classContext .getUnconditionalValueDerefDataflow(method);