public InterproceduralManager(Host host)
{
this.host = host;
this.CFGCache = new MethodCFGCache(host);
this.stackDepth = 0;
this.callStack = new Stack <MethodDefinition>();
this.dataflowCache = new Dictionary <MethodDefinition, DataFlowAnalysisResult <DependencyPTGDomain>[]>();
this.previousResult = new Dictionary <IInstruction, DependencyPTGDomain>();
}
public InterproceduralManager(MyLoader loader)
{
this.loader = loader;
this.host = loader.Host;
this.CFGCache = new MethodCFGCache(loader);
this.stackDepth = 0;
this.callStack = new Stack <IMethodDefinition>();
this.dataflowCache = new Dictionary <IMethodDefinition, DataFlowAnalysisResult <DependencyPTGDomain>[]>();
this.previousResult = new Dictionary <InterProceduralCallInfo, DependencyPTGDomain>();
}
