public override void Visit(InitializeObjectInstruction instruction)
{
var addr = instruction.TargetAddress;
ptAnalysis.ProcessObjectAllocation(State, instruction.Offset, addr);
if (addressMap.ContainsKey(addr))
{
var value = addressMap[addr];
if (value is IVariable)
{
ptAnalysis.ProcessCopy(State, value as IVariable, addr);
}
if (value is InstanceFieldAccess)
{
var fieldAccess = value as InstanceFieldAccess;
ptAnalysis.ProcessStore(State, instruction.Offset, fieldAccess.Instance, fieldAccess.Field, addr);
}
}
}
public virtual void Visit(InitializeObjectInstruction instruction)
{
}
