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) { }