public class StaticInitializer
extends java.lang.Object
| Constructor and Description |
|---|
StaticInitializer(CallGraph cg) |
| Modifier and Type | Method and Description |
|---|---|
TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,IClass> |
analyze()
perform the tabulation analysis and return the
TabulationResult |
TabulationDomain<IClass,BasicBlockInContext<IExplodedBasicBlock>> |
getDomain() |
java.util.Map<BasicBlockInContext<IExplodedBasicBlock>,java.util.List<IClass>> |
getInitialized() |
ISupergraph<BasicBlockInContext<IExplodedBasicBlock>,CGNode> |
getSupergraph() |
public StaticInitializer(CallGraph cg)
public final java.util.Map<BasicBlockInContext<IExplodedBasicBlock>,java.util.List<IClass>> getInitialized()
public TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,IClass> analyze()
TabulationResultpublic ISupergraph<BasicBlockInContext<IExplodedBasicBlock>,CGNode> getSupergraph()
public TabulationDomain<IClass,BasicBlockInContext<IExplodedBasicBlock>> getDomain()