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
protected	DominanceFinder(@NonNull StmtGraph<?> blockGraph, BlockAnalysisDirection direction)
	DominanceFinder(StmtGraph<?> blockGraph)

Method Summary

Modifier and Type	Method	Description
@NonNull Map<BasicBlock<?>,Integer>	getBlockToIdx()
@NonNull Set<BasicBlock<?>>	getDominanceFrontiers(@NonNull BasicBlock<?> block)
@NonNull List<BasicBlock<?>>	getIdxToBlock()
BasicBlock<?>	getImmediateDominator(@NonNull BasicBlock<?> block)
@org.jspecify.annotations.NonNull int[]	getImmediateDominators()
void	replaceBlock(@NonNull 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

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

getIdxToBlock

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

getBlockToIdx

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

getImmediateDominators

public @org.jspecify.annotations.NonNull int[] getImmediateDominators()