protected void |
SimpleMethodInfoFlowAnalysis.copy(FlowSet<Pair<EquivalentValue,EquivalentValue>> source,
FlowSet<Pair<EquivalentValue,EquivalentValue>> dest) |
protected void |
SimpleMethodInfoFlowAnalysis.copy(FlowSet<Pair<EquivalentValue,EquivalentValue>> source,
FlowSet<Pair<EquivalentValue,EquivalentValue>> dest) |
protected void |
SimpleMethodInfoFlowAnalysis.copy(FlowSet<Pair<EquivalentValue,EquivalentValue>> source,
FlowSet<Pair<EquivalentValue,EquivalentValue>> dest) |
protected void |
SimpleMethodInfoFlowAnalysis.copy(FlowSet<Pair<EquivalentValue,EquivalentValue>> source,
FlowSet<Pair<EquivalentValue,EquivalentValue>> dest) |
protected void |
SimpleMethodInfoFlowAnalysis.flowThrough(FlowSet<Pair<EquivalentValue,EquivalentValue>> in,
Unit unit,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.flowThrough(FlowSet<Pair<EquivalentValue,EquivalentValue>> in,
Unit unit,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.flowThrough(FlowSet<Pair<EquivalentValue,EquivalentValue>> in,
Unit unit,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.flowThrough(FlowSet<Pair<EquivalentValue,EquivalentValue>> in,
Unit unit,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base,
Value initialSource,
FlowSet<Pair<EquivalentValue,EquivalentValue>> fs) |
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base,
Value initialSource,
FlowSet<Pair<EquivalentValue,EquivalentValue>> fs) |
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToValue(Value sink,
Value initialSource,
FlowSet<Pair<EquivalentValue,EquivalentValue>> fs) |
protected void |
SimpleMethodInfoFlowAnalysis.handleFlowsToValue(Value sink,
Value initialSource,
FlowSet<Pair<EquivalentValue,EquivalentValue>> fs) |
protected List<Value> |
SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie,
Stmt is,
FlowSet<Pair<EquivalentValue,EquivalentValue>> fs) |
protected List<Value> |
SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie,
Stmt is,
FlowSet<Pair<EquivalentValue,EquivalentValue>> fs) |
protected void |
SimpleMethodInfoFlowAnalysis.merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1,
FlowSet<Pair<EquivalentValue,EquivalentValue>> in2,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1,
FlowSet<Pair<EquivalentValue,EquivalentValue>> in2,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1,
FlowSet<Pair<EquivalentValue,EquivalentValue>> in2,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1,
FlowSet<Pair<EquivalentValue,EquivalentValue>> in2,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1,
FlowSet<Pair<EquivalentValue,EquivalentValue>> in2,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |
protected void |
SimpleMethodInfoFlowAnalysis.merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1,
FlowSet<Pair<EquivalentValue,EquivalentValue>> in2,
FlowSet<Pair<EquivalentValue,EquivalentValue>> out) |