Package sootup.core.graph

Class DominanceFinder

java.lang.Object

sootup.core.graph.DominanceFinder

Direct Known Subclasses:

PostDominanceFinder

public class DominanceFinder
extends Object

See Also:

• https://www.researchgate.net/publication/2569680_A_Simple_Fast_Dominance_Algorithm

Constructor Summary

Constructors

Modifier	Constructor	Description
	DominanceFinder(StmtGraph<?> blockGraph)
protected	DominanceFinder(StmtGraph<?> blockGraph, BlockAnalysisDirection direction)

Method Summary

Modifier and Type	Method	Description
Map<BasicBlock<?>,Integer>	getBlockToIdx()
Set<BasicBlock<?>>	getDominanceFrontiers(BasicBlock<?> block)
List<BasicBlock<?>>	getIdxToBlock()
BasicBlock<?>	getImmediateDominator(BasicBlock<?> block)
int[]	getImmediateDominators()
void	replaceBlock(BasicBlock<?> newBlock, BasicBlock<?> oldBlock)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DominanceFinder

public DominanceFinder(StmtGraph<?> blockGraph)

DominanceFinder

protected DominanceFinder(@Nonnull
 StmtGraph<?> blockGraph,
 BlockAnalysisDirection direction)

Method Details

replaceBlock

public void replaceBlock(@Nonnull
 BasicBlock<?> newBlock,
 BasicBlock<?> oldBlock)

getImmediateDominator

public BasicBlock<?> getImmediateDominator(@Nonnull
 BasicBlock<?> block)

getDominanceFrontiers

@Nonnull
public Set<BasicBlock<?>> getDominanceFrontiers(@Nonnull
 BasicBlock<?> block)

getIdxToBlock

@Nonnull
public List<BasicBlock<?>> getIdxToBlock()

getBlockToIdx

@Nonnull
public Map<BasicBlock<?>,Integer> getBlockToIdx()

getImmediateDominators

@Nonnull
public int[] getImmediateDominators()