void |
ICFGSupergraph.addEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dst) |
void |
ICFGSupergraph.addEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dst) |
void |
ICFGSupergraph.addNode(BasicBlockInContext<IExplodedBasicBlock> n) |
byte |
ICFGSupergraph.classifyEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dest) |
byte |
ICFGSupergraph.classifyEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dest) |
boolean |
ICFGSupergraph.containsNode(BasicBlockInContext<IExplodedBasicBlock> N) |
Iterator<? extends BasicBlockInContext<IExplodedBasicBlock>> |
ICFGSupergraph.getCalledNodes(BasicBlockInContext<IExplodedBasicBlock> call) |
Iterator<BasicBlockInContext<IExplodedBasicBlock>> |
ICFGSupergraph.getCallSites(BasicBlockInContext<IExplodedBasicBlock> r,
CGNode callee) |
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> |
ICFGSupergraph.getCFG(BasicBlockInContext<IExplodedBasicBlock> node) |
int |
ICFGSupergraph.getLocalBlockNumber(BasicBlockInContext<IExplodedBasicBlock> n) |
Iterator<BasicBlockInContext<IExplodedBasicBlock>> |
ICFGSupergraph.getNormalSuccessors(BasicBlockInContext<IExplodedBasicBlock> call) |
int |
ICFGSupergraph.getNumber(BasicBlockInContext<IExplodedBasicBlock> N) |
int |
ICFGSupergraph.getPredNodeCount(BasicBlockInContext<IExplodedBasicBlock> N) |
com.ibm.wala.util.intset.IntSet |
ICFGSupergraph.getPredNodeNumbers(BasicBlockInContext<IExplodedBasicBlock> node) |
Iterator<BasicBlockInContext<IExplodedBasicBlock>> |
ICFGSupergraph.getPredNodes(BasicBlockInContext<IExplodedBasicBlock> N) |
CGNode |
ICFGSupergraph.getProcOf(BasicBlockInContext<IExplodedBasicBlock> n) |
Iterator<? extends BasicBlockInContext<IExplodedBasicBlock>> |
ICFGSupergraph.getReturnSites(BasicBlockInContext<IExplodedBasicBlock> call,
CGNode callee) |
int |
ICFGSupergraph.getSuccNodeCount(BasicBlockInContext<IExplodedBasicBlock> N) |
com.ibm.wala.util.intset.IntSet |
ICFGSupergraph.getSuccNodeNumbers(BasicBlockInContext<IExplodedBasicBlock> node) |
Iterator<BasicBlockInContext<IExplodedBasicBlock>> |
ICFGSupergraph.getSuccNodes(BasicBlockInContext<IExplodedBasicBlock> N) |
boolean |
ICFGSupergraph.hasEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dst) |
boolean |
ICFGSupergraph.hasEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dst) |
boolean |
ICFGSupergraph.isCall(BasicBlockInContext<IExplodedBasicBlock> n) |
boolean |
ICFGSupergraph.isEntry(BasicBlockInContext<IExplodedBasicBlock> n) |
boolean |
ICFGSupergraph.isExit(BasicBlockInContext<IExplodedBasicBlock> n) |
boolean |
ICFGSupergraph.isReturn(BasicBlockInContext<IExplodedBasicBlock> n) |
void |
ICFGSupergraph.removeAllIncidentEdges(BasicBlockInContext<IExplodedBasicBlock> node) |
void |
ICFGSupergraph.removeEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dst) |
void |
ICFGSupergraph.removeEdge(BasicBlockInContext<IExplodedBasicBlock> src,
BasicBlockInContext<IExplodedBasicBlock> dst) |
void |
ICFGSupergraph.removeIncomingEdges(BasicBlockInContext<IExplodedBasicBlock> node) |
void |
ICFGSupergraph.removeNode(BasicBlockInContext<IExplodedBasicBlock> n) |
void |
ICFGSupergraph.removeNodeAndEdges(BasicBlockInContext<IExplodedBasicBlock> N) |
void |
ICFGSupergraph.removeOutgoingEdges(BasicBlockInContext<IExplodedBasicBlock> node) |