public override bool IsAlive(TargetAddress address) { if (info.Mode == VariableInfo.AddressMode.Dead) return false; return (address >= start_liveness) && (address <= end_liveness) && (address >= start_scope) && (address <= end_scope); }