[SRE] Improved token fixups processing.
[mono.git] / mcs / mcs / assembly.cs
1 //
2 // assembly.cs: Assembly declaration and specifications
3 //
4 // Authors:
5 //   Miguel de Icaza (miguel@ximian.com)
6 //   Marek Safar (marek.safar@gmail.com)
7 //
8 // Copyright 2001, 2002, 2003 Ximian, Inc.
9 // Copyright 2004-2011 Novell, Inc.
10 // Copyright 2011-2013 Xamarin Inc
11 //
12
13
14 using System;
15 using System.IO;
16 using System.Collections.Generic;
17 using System.Globalization;
18 using System.Security;
19 using System.Security.Cryptography;
20 using System.Security.Permissions;
21 using Mono.Security.Cryptography;
22 using Mono.CompilerServices.SymbolWriter;
23
24 #if STATIC
25 using IKVM.Reflection;
26 using IKVM.Reflection.Emit;
27 using SecurityType = System.Collections.Generic.List<IKVM.Reflection.Emit.CustomAttributeBuilder>;
28 #else
29 using SecurityType = System.Collections.Generic.Dictionary<System.Security.Permissions.SecurityAction, System.Security.PermissionSet>;
30 using System.Reflection;
31 using System.Reflection.Emit;
32 #endif
33
34 namespace Mono.CSharp
35 {
36         public interface IAssemblyDefinition
37         {
38                 string FullName { get; }
39                 bool IsCLSCompliant { get; }
40                 bool IsMissing { get; }
41                 string Name { get; }
42
43                 byte[] GetPublicKeyToken ();
44                 bool IsFriendAssemblyTo (IAssemblyDefinition assembly);
45         }
46                 
47         public abstract class AssemblyDefinition : IAssemblyDefinition
48         {
49                 // TODO: make it private and move all builder based methods here
50                 public AssemblyBuilder Builder;
51                 protected AssemblyBuilderExtension builder_extra;
52                 MonoSymbolFile symbol_writer;
53
54                 bool is_cls_compliant;
55                 bool wrap_non_exception_throws;
56                 bool wrap_non_exception_throws_custom;
57                 bool has_user_debuggable;
58
59                 protected ModuleContainer module;
60                 readonly string name;
61                 protected readonly string file_name;
62
63                 byte[] public_key, public_key_token;
64                 bool delay_sign;
65
66                 // Holds private/public key pair when private key
67                 // was available
68                 StrongNameKeyPair private_key;  
69
70                 Attribute cls_attribute;
71                 Method entry_point;
72
73                 protected List<ImportedModuleDefinition> added_modules;
74                 SecurityType declarative_security;
75                 Dictionary<ITypeDefinition, Attribute> emitted_forwarders;
76                 AssemblyAttributesPlaceholder module_target_attrs;
77
78                 // Win32 version info values
79                 string vi_product, vi_product_version, vi_company, vi_copyright, vi_trademark;
80
81                 protected AssemblyDefinition (ModuleContainer module, string name)
82                 {
83                         this.module = module;
84                         this.name = Path.GetFileNameWithoutExtension (name);
85
86                         wrap_non_exception_throws = true;
87
88                         delay_sign = Compiler.Settings.StrongNameDelaySign;
89
90                         //
91                         // Load strong name key early enough for assembly importer to be able to
92                         // use the keys for InternalsVisibleTo
93                         // This should go somewhere close to ReferencesLoading but don't have the place yet
94                         //
95                         if (Compiler.Settings.HasKeyFileOrContainer) {
96                                 LoadPublicKey (Compiler.Settings.StrongNameKeyFile, Compiler.Settings.StrongNameKeyContainer);
97                         }
98                 }
99
100                 protected AssemblyDefinition (ModuleContainer module, string name, string fileName)
101                         : this (module, name)
102                 {
103                         this.file_name = fileName;
104                 }
105
106                 #region Properties
107
108                 public Attribute CLSCompliantAttribute {
109                         get {
110                                 return cls_attribute;
111                         }
112                 }
113
114                 public CompilerContext Compiler {
115                         get {
116                                 return module.Compiler;
117                         }
118                 }
119
120                 //
121                 // Assembly entry point, aka Main method
122                 //
123                 public Method EntryPoint {
124                         get {
125                                 return entry_point;
126                         }
127                         set {
128                                 entry_point = value;
129                         }
130                 }
131
132                 public string FullName {
133                         get {
134                                 return Builder.FullName;
135                         }
136                 }
137
138                 public bool HasCLSCompliantAttribute {
139                         get {
140                                 return cls_attribute != null;
141                         }
142                 }
143
144                 // TODO: This should not exist here but will require more changes
145                 public MetadataImporter Importer {
146                     get; set;
147                 }
148
149                 public bool IsCLSCompliant {
150                         get {
151                                 return is_cls_compliant;
152                         }
153                 }
154
155                 bool IAssemblyDefinition.IsMissing {
156                         get {
157                                 return false;
158                         }
159                 }
160
161                 public bool IsSatelliteAssembly { get; private set; }
162
163                 public string Name {
164                         get {
165                                 return name;
166                         }
167                 }
168
169                 public bool WrapNonExceptionThrows {
170                         get {
171                                 return wrap_non_exception_throws;
172                         }
173                 }
174
175                 protected Report Report {
176                         get {
177                                 return Compiler.Report;
178                         }
179                 }
180
181                 public MonoSymbolFile SymbolWriter {
182                         get {
183                                 return symbol_writer;
184                         }
185                 }
186
187                 #endregion
188
189                 public void AddModule (ImportedModuleDefinition module)
190                 {
191                         if (added_modules == null) {
192                                 added_modules = new List<ImportedModuleDefinition> ();
193                                 added_modules.Add (module);
194                         }
195                 }
196
197                 public void ApplyAttributeBuilder (Attribute a, MethodSpec ctor, byte[] cdata, PredefinedAttributes pa)
198                 {
199                         if (a.IsValidSecurityAttribute ()) {
200                                 a.ExtractSecurityPermissionSet (ctor, ref declarative_security);
201                                 return;
202                         }
203
204                         if (a.Type == pa.AssemblyCulture) {
205                                 string value = a.GetString ();
206                                 if (value == null || value.Length == 0)
207                                         return;
208
209                                 if (Compiler.Settings.Target == Target.Exe) {
210                                         Report.Error (7059, a.Location, "Executables cannot be satellite assemblies. Remove the attribute or keep it empty");
211                                         return;
212                                 }
213
214                                 if (value == "neutral")
215                                         value = "";
216
217                                 if (Compiler.Settings.Target == Target.Module) {
218                                         SetCustomAttribute (ctor, cdata);
219                                 } else {
220                                         builder_extra.SetCulture (value, a.Location);
221                                 }
222
223                                 IsSatelliteAssembly = true;
224                                 return;
225                         }
226
227                         if (a.Type == pa.AssemblyVersion) {
228                                 string value = a.GetString ();
229                                 if (value == null || value.Length == 0)
230                                         return;
231
232                                 var vinfo = IsValidAssemblyVersion (value, true);
233                                 if (vinfo == null) {
234                                         Report.Error (7034, a.Location, "The specified version string `{0}' does not conform to the required format - major[.minor[.build[.revision]]]",
235                                                 value);
236                                         return;
237                                 }
238
239                                 if (Compiler.Settings.Target == Target.Module) {
240                                         SetCustomAttribute (ctor, cdata);
241                                 } else {
242                                         builder_extra.SetVersion (vinfo, a.Location);
243                                 }
244
245                                 return;
246                         }
247
248                         if (a.Type == pa.AssemblyAlgorithmId) {
249                                 const int pos = 2; // skip CA header
250                                 uint alg = (uint) cdata [pos];
251                                 alg |= ((uint) cdata [pos + 1]) << 8;
252                                 alg |= ((uint) cdata [pos + 2]) << 16;
253                                 alg |= ((uint) cdata [pos + 3]) << 24;
254
255                                 if (Compiler.Settings.Target == Target.Module) {
256                                         SetCustomAttribute (ctor, cdata);
257                                 } else {
258                                         builder_extra.SetAlgorithmId (alg, a.Location);
259                                 }
260
261                                 return;
262                         }
263
264                         if (a.Type == pa.AssemblyFlags) {
265                                 const int pos = 2; // skip CA header
266                                 uint flags = (uint) cdata[pos];
267                                 flags |= ((uint) cdata [pos + 1]) << 8;
268                                 flags |= ((uint) cdata [pos + 2]) << 16;
269                                 flags |= ((uint) cdata [pos + 3]) << 24;
270
271                                 // Ignore set PublicKey flag if assembly is not strongnamed
272                                 if ((flags & (uint) AssemblyNameFlags.PublicKey) != 0 && public_key == null)
273                                         flags &= ~(uint) AssemblyNameFlags.PublicKey;
274
275                                 if (Compiler.Settings.Target == Target.Module) {
276                                         SetCustomAttribute (ctor, cdata);
277                                 } else {
278                                         builder_extra.SetFlags (flags, a.Location);
279                                 }
280
281                                 return;
282                         }
283
284                         if (a.Type == pa.TypeForwarder) {
285                                 TypeSpec t = a.GetArgumentType ();
286                                 if (t == null || TypeManager.HasElementType (t)) {
287                                         Report.Error (735, a.Location, "Invalid type specified as an argument for TypeForwardedTo attribute");
288                                         return;
289                                 }
290
291                                 if (emitted_forwarders == null) {
292                                         emitted_forwarders = new Dictionary<ITypeDefinition, Attribute> ();
293                                 } else if (emitted_forwarders.ContainsKey (t.MemberDefinition)) {
294                                         Report.SymbolRelatedToPreviousError (emitted_forwarders[t.MemberDefinition].Location, null);
295                                         Report.Error (739, a.Location, "A duplicate type forward of type `{0}'",
296                                                 t.GetSignatureForError ());
297                                         return;
298                                 }
299
300                                 emitted_forwarders.Add (t.MemberDefinition, a);
301
302                                 if (t.MemberDefinition.DeclaringAssembly == this) {
303                                         Report.SymbolRelatedToPreviousError (t);
304                                         Report.Error (729, a.Location, "Cannot forward type `{0}' because it is defined in this assembly",
305                                                 t.GetSignatureForError ());
306                                         return;
307                                 }
308
309                                 if (t.IsNested) {
310                                         Report.Error (730, a.Location, "Cannot forward type `{0}' because it is a nested type",
311                                                 t.GetSignatureForError ());
312                                         return;
313                                 }
314
315                                 builder_extra.AddTypeForwarder (t.GetDefinition (), a.Location);
316                                 return;
317                         }
318
319                         if (a.Type == pa.Extension) {
320                                 a.Error_MisusedExtensionAttribute ();
321                                 return;
322                         }
323
324                         if (a.Type == pa.InternalsVisibleTo) {
325                                 string assembly_name = a.GetString ();
326                                 if (assembly_name == null) {
327                                         Report.Error (7030, a.Location, "Friend assembly reference cannot have `null' value");
328                                         return;
329                                 }
330
331                                 if (assembly_name.Length == 0)
332                                         return;
333 #if STATIC
334                                 ParsedAssemblyName aname;
335                                 ParseAssemblyResult r = Fusion.ParseAssemblyName (assembly_name, out aname);
336                                 if (r != ParseAssemblyResult.OK) {
337                                         Report.Warning (1700, 3, a.Location, "Friend assembly reference `{0}' is invalid and cannot be resolved",
338                                                 assembly_name);
339                                         return;
340                                 }
341
342                                 if (aname.Version != null || aname.Culture != null || aname.ProcessorArchitecture != ProcessorArchitecture.None) {
343                                         Report.Error (1725, a.Location,
344                                                 "Friend assembly reference `{0}' is invalid. InternalsVisibleTo declarations cannot have a version, culture or processor architecture specified",
345                                                 assembly_name);
346
347                                         return;
348                                 }
349
350                                 if (public_key != null && !aname.HasPublicKey) {
351                                         Report.Error (1726, a.Location,
352                                                 "Friend assembly reference `{0}' is invalid. Strong named assemblies must specify a public key in their InternalsVisibleTo declarations",
353                                                 assembly_name);
354                                         return;
355                                 }
356 #endif
357                         } else if (a.Type == pa.RuntimeCompatibility) {
358                                 wrap_non_exception_throws_custom = true;
359                         } else if (a.Type == pa.AssemblyFileVersion) {
360                                 vi_product_version = a.GetString ();
361                                 if (string.IsNullOrEmpty (vi_product_version) || IsValidAssemblyVersion (vi_product_version, false) == null) {
362                                         Report.Warning (7035, 1, a.Location, "The specified version string `{0}' does not conform to the recommended format major.minor.build.revision",
363                                                 vi_product_version, a.Name);
364                                         return;
365                                 }
366
367                                 // File version info decoding from blob is not supported
368                                 var cab = new CustomAttributeBuilder ((ConstructorInfo) ctor.GetMetaInfo (), new object[] { vi_product_version });
369                                 Builder.SetCustomAttribute (cab);
370                                 return;
371                         } else if (a.Type == pa.AssemblyProduct) {
372                                 vi_product = a.GetString ();
373                         } else if (a.Type == pa.AssemblyCompany) {
374                                 vi_company = a.GetString ();
375                         } else if (a.Type == pa.AssemblyCopyright) {
376                                 vi_copyright = a.GetString ();
377                         } else if (a.Type == pa.AssemblyTrademark) {
378                                 vi_trademark = a.GetString ();
379                         } else if (a.Type == pa.Debuggable) {
380                                 has_user_debuggable = true;
381                         }
382
383                         //
384                         // Win32 version info attributes AssemblyDescription and AssemblyTitle cannot be
385                         // set using public API and because we have blob like attributes we need to use
386                         // special option DecodeVersionInfoAttributeBlobs to support values extraction
387                         //
388
389                         SetCustomAttribute (ctor, cdata);
390                 }
391
392                 //
393                 // When using assembly public key attributes InternalsVisibleTo key
394                 // was not checked, we have to do it later when we actually know what
395                 // our public key token is
396                 //
397                 void CheckReferencesPublicToken ()
398                 {
399                         // TODO: It should check only references assemblies but there is
400                         // no working SRE API
401                         foreach (var entry in Importer.Assemblies) {
402                                 var a = entry as ImportedAssemblyDefinition;
403                                 if (a == null || a.IsMissing)
404                                         continue;
405
406                                 if (public_key != null && !a.HasStrongName) {
407                                         Report.Error (1577, "Referenced assembly `{0}' does not have a strong name",
408                                                 a.FullName);
409                                 }
410
411                                 var ci = a.Assembly.GetName ().CultureInfo;
412                                 if (!ci.Equals (CultureInfo.InvariantCulture)) {
413                                         Report.Warning (8009, 1, "Referenced assembly `{0}' has different culture setting of `{1}'",
414                                                 a.Name, ci.Name);
415                                 }
416
417                                 if (!a.IsFriendAssemblyTo (this))
418                                         continue;
419
420                                 var attr = a.GetAssemblyVisibleToName (this);
421                                 var atoken = attr.GetPublicKeyToken ();
422
423                                 if (ArrayComparer.IsEqual (GetPublicKeyToken (), atoken))
424                                         continue;
425
426                                 Report.SymbolRelatedToPreviousError (a.Location);
427                                 Report.Error (281,
428                                         "Friend access was granted to `{0}', but the output assembly is named `{1}'. Try adding a reference to `{0}' or change the output assembly name to match it",
429                                         attr.FullName, FullName);
430                         }
431                 }
432
433                 protected AssemblyName CreateAssemblyName ()
434                 {
435                         var an = new AssemblyName (name);
436
437                         if (public_key != null && Compiler.Settings.Target != Target.Module) {
438                                 if (delay_sign) {
439                                         an.SetPublicKey (public_key);
440                                 } else {
441                                         if (public_key.Length == 16) {
442                                                 Report.Error (1606, "Could not sign the assembly. ECMA key can only be used to delay-sign assemblies");
443                                         } else if (private_key == null) {
444                                                 Error_AssemblySigning ("The specified key file does not have a private key");
445                                         } else {
446                                                 an.KeyPair = private_key;
447                                         }
448                                 }
449                         }
450
451                         return an;
452                 }
453
454                 public virtual ModuleBuilder CreateModuleBuilder ()
455                 {
456                         if (file_name == null)
457                                 throw new NotSupportedException ("transient module in static assembly");
458
459                         var module_name = Path.GetFileName (file_name);
460
461                         // Always initialize module without symbolInfo. We could be framework dependent
462                         // but returned ISymbolWriter does not have all what we need therefore some
463                         // adaptor will be needed for now we alwayas emit MDB format when generating
464                         // debug info
465                         return Builder.DefineDynamicModule (module_name, module_name, false);
466                 }
467
468                 public virtual void Emit ()
469                 {
470                         if (Compiler.Settings.Target == Target.Module) {
471                                 module_target_attrs = new AssemblyAttributesPlaceholder (module, name);
472                                 module_target_attrs.CreateContainer ();
473                                 module_target_attrs.DefineContainer ();
474                                 module_target_attrs.Define ();
475                                 module.AddCompilerGeneratedClass (module_target_attrs);
476                         } else if (added_modules != null) {
477                                 ReadModulesAssemblyAttributes ();
478                         }
479
480                         if (Compiler.Settings.GenerateDebugInfo) {
481                                 symbol_writer = new MonoSymbolFile ();
482                         }
483
484                         module.EmitContainer ();
485
486                         if (module.HasExtensionMethod) {
487                                 var pa = module.PredefinedAttributes.Extension;
488                                 if (pa.IsDefined) {
489                                         SetCustomAttribute (pa.Constructor, AttributeEncoder.Empty);
490                                 }
491                         }
492
493                         if (!IsSatelliteAssembly) {
494                                 if (!has_user_debuggable && Compiler.Settings.GenerateDebugInfo) {
495                                         var pa = module.PredefinedAttributes.Debuggable;
496                                         if (pa.IsDefined) {
497                                                 var modes = System.Diagnostics.DebuggableAttribute.DebuggingModes.IgnoreSymbolStoreSequencePoints;
498                                                 if (!Compiler.Settings.Optimize)
499                                                         modes |= System.Diagnostics.DebuggableAttribute.DebuggingModes.DisableOptimizations;
500
501                                                 pa.EmitAttribute (Builder, modes);
502                                         }
503                                 }
504
505                                 if (!wrap_non_exception_throws_custom) {
506                                         PredefinedAttribute pa = module.PredefinedAttributes.RuntimeCompatibility;
507                                         if (pa.IsDefined && pa.ResolveBuilder ()) {
508                                                 var prop = module.PredefinedMembers.RuntimeCompatibilityWrapNonExceptionThrows.Get ();
509                                                 if (prop != null) {
510                                                         AttributeEncoder encoder = new AttributeEncoder ();
511                                                         encoder.EncodeNamedPropertyArgument (prop, new BoolLiteral (Compiler.BuiltinTypes, true, Location.Null));
512                                                         SetCustomAttribute (pa.Constructor, encoder.ToArray ());
513                                                 }
514                                         }
515                                 }
516
517                                 if (declarative_security != null) {
518 #if STATIC
519                                         foreach (var entry in declarative_security) {
520                                                 Builder.__AddDeclarativeSecurity (entry);
521                                         }
522 #else
523                                         throw new NotSupportedException ("Assembly-level security");
524 #endif
525                                 }
526                         }
527
528                         CheckReferencesPublicToken ();
529
530                         SetEntryPoint ();
531                 }
532
533                 public byte[] GetPublicKeyToken ()
534                 {
535                         if (public_key == null || public_key_token != null)
536                                 return public_key_token;
537
538                         HashAlgorithm ha = SHA1.Create ();
539                         byte[] hash = ha.ComputeHash (public_key);
540                         // we need the last 8 bytes in reverse order
541                         public_key_token = new byte[8];
542                         Buffer.BlockCopy (hash, hash.Length - 8, public_key_token, 0, 8);
543                         Array.Reverse (public_key_token, 0, 8);
544                         return public_key_token;
545                 }
546
547                 //
548                 // Either keyFile or keyContainer has to be non-null
549                 //
550                 void LoadPublicKey (string keyFile, string keyContainer)
551                 {
552                         if (keyContainer != null) {
553                                 try {
554                                         private_key = new StrongNameKeyPair (keyContainer);
555                                         public_key = private_key.PublicKey;
556                                 } catch {
557                                         Error_AssemblySigning ("The specified key container `" + keyContainer + "' does not exist");
558                                 }
559
560                                 return;
561                         }
562
563                         bool key_file_exists = File.Exists (keyFile);
564
565                         //
566                         // For attribute based KeyFile do additional lookup
567                         // in output assembly path
568                         //
569                         if (!key_file_exists && Compiler.Settings.StrongNameKeyFile == null) {
570                                 //
571                                 // The key file can be relative to output assembly
572                                 //
573                                 string test_path = Path.Combine (Path.GetDirectoryName (file_name), keyFile);
574                                 key_file_exists = File.Exists (test_path);
575                                 if (key_file_exists)
576                                         keyFile = test_path;
577                         }
578
579                         if (!key_file_exists) {
580                                 Error_AssemblySigning ("The specified key file `" + keyFile + "' does not exist");
581                                 return;
582                         }
583
584                         using (FileStream fs = new FileStream (keyFile, FileMode.Open, FileAccess.Read)) {
585                                 byte[] snkeypair = new byte[fs.Length];
586                                 fs.Read (snkeypair, 0, snkeypair.Length);
587
588                                 // check for ECMA key
589                                 if (snkeypair.Length == 16) {
590                                         public_key = snkeypair;
591                                         return;
592                                 }
593
594                                 try {
595                                         // take it, with or without, a private key
596                                         RSA rsa = CryptoConvert.FromCapiKeyBlob (snkeypair);
597                                         // and make sure we only feed the public part to Sys.Ref
598                                         byte[] publickey = CryptoConvert.ToCapiPublicKeyBlob (rsa);
599
600                                         // AssemblyName.SetPublicKey requires an additional header
601                                         byte[] publicKeyHeader = new byte[8] { 0x00, 0x24, 0x00, 0x00, 0x04, 0x80, 0x00, 0x00 };
602
603                                         // Encode public key
604                                         public_key = new byte[12 + publickey.Length];
605                                         Buffer.BlockCopy (publicKeyHeader, 0, public_key, 0, publicKeyHeader.Length);
606
607                                         // Length of Public Key (in bytes)
608                                         int lastPart = public_key.Length - 12;
609                                         public_key[8] = (byte) (lastPart & 0xFF);
610                                         public_key[9] = (byte) ((lastPart >> 8) & 0xFF);
611                                         public_key[10] = (byte) ((lastPart >> 16) & 0xFF);
612                                         public_key[11] = (byte) ((lastPart >> 24) & 0xFF);
613
614                                         Buffer.BlockCopy (publickey, 0, public_key, 12, publickey.Length);
615                                 } catch {
616                                         Error_AssemblySigning ("The specified key file `" + keyFile + "' has incorrect format");
617                                         return;
618                                 }
619
620                                 if (delay_sign)
621                                         return;
622
623                                 try {
624                                         // TODO: Is there better way to test for a private key presence ?
625                                         CryptoConvert.FromCapiPrivateKeyBlob (snkeypair);
626                                         private_key = new StrongNameKeyPair (snkeypair);
627                                 } catch { }
628                         }
629                 }
630
631                 void ReadModulesAssemblyAttributes ()
632                 {
633                         foreach (var m in added_modules) {
634                                 var cattrs = m.ReadAssemblyAttributes ();
635                                 if (cattrs == null)
636                                         continue;
637
638                                 module.OptAttributes.AddAttributes (cattrs);
639                         }
640                 }
641
642                 public void Resolve ()
643                 {
644                         if (Compiler.Settings.Unsafe && module.PredefinedTypes.SecurityAction.Define ()) {
645                                 //
646                                 // Emits [assembly: SecurityPermissionAttribute (SecurityAction.RequestMinimum, SkipVerification = true)]
647                                 // when -unsafe option was specified
648                                 //
649                                 Location loc = Location.Null;
650
651                                 MemberAccess system_security_permissions = new MemberAccess (new MemberAccess (
652                                         new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "System", loc), "Security", loc), "Permissions", loc);
653
654                                 var req_min = module.PredefinedMembers.SecurityActionRequestMinimum.Resolve (loc);
655
656                                 Arguments pos = new Arguments (1);
657                                 pos.Add (new Argument (req_min.GetConstant (null)));
658
659                                 Arguments named = new Arguments (1);
660                                 named.Add (new NamedArgument ("SkipVerification", loc, new BoolLiteral (Compiler.BuiltinTypes, true, loc)));
661
662                                 Attribute g = new Attribute ("assembly",
663                                         new MemberAccess (system_security_permissions, "SecurityPermissionAttribute"),
664                                         new Arguments[] { pos, named }, loc, false);
665                                 g.AttachTo (module, module);
666
667                                 // Disable no-location warnings (e.g. obsolete) for compiler generated attribute
668                                 Compiler.Report.DisableReporting ();
669                                 try {
670                                         var ctor = g.Resolve ();
671                                         if (ctor != null) {
672                                                 g.ExtractSecurityPermissionSet (ctor, ref declarative_security);
673                                         }
674                                 } finally {
675                                         Compiler.Report.EnableReporting ();
676                                 }
677                         }
678
679                         if (module.OptAttributes == null)
680                                 return;
681
682                         // Ensure that we only have GlobalAttributes, since the Search isn't safe with other types.
683                         if (!module.OptAttributes.CheckTargets())
684                                 return;
685
686                         cls_attribute = module.ResolveAssemblyAttribute (module.PredefinedAttributes.CLSCompliant);
687
688                         if (cls_attribute != null) {
689                                 is_cls_compliant = cls_attribute.GetClsCompliantAttributeValue ();
690                         }
691
692                         if (added_modules != null && Compiler.Settings.VerifyClsCompliance && is_cls_compliant) {
693                                 foreach (var m in added_modules) {
694                                         if (!m.IsCLSCompliant) {
695                                                 Report.Error (3013,
696                                                         "Added modules must be marked with the CLSCompliant attribute to match the assembly",
697                                                         m.Name);
698                                         }
699                                 }
700                         }
701
702                         Attribute a = module.ResolveAssemblyAttribute (module.PredefinedAttributes.RuntimeCompatibility);
703                         if (a != null) {
704                                 var val = a.GetNamedValue ("WrapNonExceptionThrows") as BoolConstant;
705                                 if (val != null)
706                                         wrap_non_exception_throws = val.Value;
707                         }
708                 }
709
710                 protected void ResolveAssemblySecurityAttributes ()
711                 {
712                         string key_file = null;
713                         string key_container = null;
714
715                         if (module.OptAttributes != null) {
716                                 foreach (Attribute a in module.OptAttributes.Attrs) {
717                                         // cannot rely on any resolve-based members before you call Resolve
718                                         if (a.ExplicitTarget != "assembly")
719                                                 continue;
720
721                                         // TODO: This code is buggy: comparing Attribute name without resolving is wrong.
722                                         //       However, this is invoked by CodeGen.Init, when none of the namespaces
723                                         //       are loaded yet.
724                                         // TODO: Does not handle quoted attributes properly
725                                         switch (a.Name) {
726                                         case "AssemblyKeyFile":
727                                         case "AssemblyKeyFileAttribute":
728                                         case "System.Reflection.AssemblyKeyFileAttribute":
729                                                 if (Compiler.Settings.StrongNameKeyFile != null) {
730                                                         Report.SymbolRelatedToPreviousError (a.Location, a.GetSignatureForError ());
731                                                         Report.Warning (1616, 1, "Option `{0}' overrides attribute `{1}' given in a source file or added module",
732                                                                         "keyfile", "System.Reflection.AssemblyKeyFileAttribute");
733                                                 } else {
734                                                         string value = a.GetString ();
735                                                         if (!string.IsNullOrEmpty (value)) {
736                                                                 Error_ObsoleteSecurityAttribute (a, "keyfile");
737                                                                 key_file = value;
738                                                         }
739                                                 }
740                                                 break;
741                                         case "AssemblyKeyName":
742                                         case "AssemblyKeyNameAttribute":
743                                         case "System.Reflection.AssemblyKeyNameAttribute":
744                                                 if (Compiler.Settings.StrongNameKeyContainer != null) {
745                                                         Report.SymbolRelatedToPreviousError (a.Location, a.GetSignatureForError ());
746                                                         Report.Warning (1616, 1, "Option `{0}' overrides attribute `{1}' given in a source file or added module",
747                                                                         "keycontainer", "System.Reflection.AssemblyKeyNameAttribute");
748                                                 } else {
749                                                         string value = a.GetString ();
750                                                         if (!string.IsNullOrEmpty (value)) {
751                                                                 Error_ObsoleteSecurityAttribute (a, "keycontainer");
752                                                                 key_container = value;
753                                                         }
754                                                 }
755                                                 break;
756                                         case "AssemblyDelaySign":
757                                         case "AssemblyDelaySignAttribute":
758                                         case "System.Reflection.AssemblyDelaySignAttribute":
759                                                 bool b = a.GetBoolean ();
760                                                 if (b) {
761                                                         Error_ObsoleteSecurityAttribute (a, "delaysign");
762                                                 }
763
764                                                 delay_sign = b;
765                                                 break;
766                                         }
767                                 }
768                         }
769
770                         // We came here only to report assembly attributes warnings
771                         if (public_key != null)
772                                 return;
773
774                         //
775                         // Load the strong key file found in attributes when no
776                         // command line key was given
777                         //
778                         if (key_file != null || key_container != null) {
779                                 LoadPublicKey (key_file, key_container);
780                         } else if (delay_sign) {
781                                 Report.Warning (1607, 1, "Delay signing was requested but no key file was given");
782                         }
783                 }
784
785                 public void EmbedResources ()
786                 {
787                         //
788                         // Add Win32 resources
789                         //
790                         if (Compiler.Settings.Win32ResourceFile != null) {
791                                 Builder.DefineUnmanagedResource (Compiler.Settings.Win32ResourceFile);
792                         } else {
793                                 Builder.DefineVersionInfoResource (vi_product, vi_product_version, vi_company, vi_copyright, vi_trademark);
794                         }
795
796                         if (Compiler.Settings.Win32IconFile != null) {
797                                 builder_extra.DefineWin32IconResource (Compiler.Settings.Win32IconFile);
798                         }
799
800                         if (Compiler.Settings.Resources != null) {
801                                 if (Compiler.Settings.Target == Target.Module) {
802                                         Report.Error (1507, "Cannot link resource file when building a module");
803                                 } else {
804                                         int counter = 0;
805                                         foreach (var res in Compiler.Settings.Resources) {
806                                                 if (!File.Exists (res.FileName)) {
807                                                         Report.Error (1566, "Error reading resource file `{0}'", res.FileName);
808                                                         continue;
809                                                 }
810
811                                                 if (res.IsEmbeded) {
812                                                         Stream stream;
813                                                         if (counter++ < 10) {
814                                                                 stream = File.OpenRead (res.FileName);
815                                                         } else {
816                                                                 // TODO: SRE API requires resource stream to be available during AssemblyBuilder::Save
817                                                                 // we workaround it by reading everything into memory to compile projects with
818                                                                 // many embedded resource (over 3500) references
819                                                                 stream = new MemoryStream (File.ReadAllBytes (res.FileName));
820                                                         }
821
822                                                         module.Builder.DefineManifestResource (res.Name, stream, res.Attributes);
823                                                 } else {
824                                                         Builder.AddResourceFile (res.Name, Path.GetFileName (res.FileName), res.Attributes);
825                                                 }
826                                         }
827                                 }
828                         }
829                 }
830
831                 public void Save ()
832                 {
833                         PortableExecutableKinds pekind = PortableExecutableKinds.ILOnly;
834                         ImageFileMachine machine;
835
836                         switch (Compiler.Settings.Platform) {
837                         case Platform.X86:
838                                 pekind |= PortableExecutableKinds.Required32Bit;
839                                 machine = ImageFileMachine.I386;
840                                 break;
841                         case Platform.X64:
842                                 pekind |= PortableExecutableKinds.PE32Plus;
843                                 machine = ImageFileMachine.AMD64;
844                                 break;
845                         case Platform.IA64:
846                                 machine = ImageFileMachine.IA64;
847                                 break;
848                         case Platform.AnyCPU32Preferred:
849 #if STATIC
850                                 pekind |= PortableExecutableKinds.Preferred32Bit;
851                                 machine = ImageFileMachine.I386;
852                                 break;
853 #else
854                                 throw new NotSupportedException ();
855 #endif
856                         case Platform.Arm:
857 #if STATIC
858                                 machine = ImageFileMachine.ARM;
859                                 break;
860 #else
861                                 throw new NotSupportedException ();
862 #endif
863                         case Platform.AnyCPU:
864                         default:
865                                 machine = ImageFileMachine.I386;
866                                 break;
867                         }
868
869                         Compiler.TimeReporter.Start (TimeReporter.TimerType.OutputSave);
870                         try {
871                                 if (Compiler.Settings.Target == Target.Module) {
872                                         SaveModule (pekind, machine);
873                                 } else {
874                                         Builder.Save (module.Builder.ScopeName, pekind, machine);
875                                 }
876                         } catch (Exception e) {
877                                 Report.Error (16, "Could not write to file `" + name + "', cause: " + e.Message);
878                         }
879                         Compiler.TimeReporter.Stop (TimeReporter.TimerType.OutputSave);
880
881                         // Save debug symbols file
882                         if (symbol_writer != null && Compiler.Report.Errors == 0) {
883                                 // TODO: it should run in parallel
884                                 Compiler.TimeReporter.Start (TimeReporter.TimerType.DebugSave);
885
886                                 var filename = file_name + ".mdb";
887                                 try {
888                                         // We mmap the file, so unlink the previous version since it may be in use
889                                         File.Delete (filename);
890                                 } catch {
891                                         // We can safely ignore
892                                 }
893
894                                 module.WriteDebugSymbol (symbol_writer);
895
896                                 using (FileStream fs = new FileStream (filename, FileMode.Create, FileAccess.Write)) {
897                                         symbol_writer.CreateSymbolFile (module.Builder.ModuleVersionId, fs);
898                                 }
899
900                                 Compiler.TimeReporter.Stop (TimeReporter.TimerType.DebugSave);
901                         }
902                 }
903
904                 protected virtual void SaveModule (PortableExecutableKinds pekind, ImageFileMachine machine)
905                 {
906                         Report.RuntimeMissingSupport (Location.Null, "-target:module");
907                 }
908
909                 void SetCustomAttribute (MethodSpec ctor, byte[] data)
910                 {
911                         if (module_target_attrs != null)
912                                 module_target_attrs.AddAssemblyAttribute (ctor, data);
913                         else
914                                 Builder.SetCustomAttribute ((ConstructorInfo) ctor.GetMetaInfo (), data);
915                 }
916
917                 void SetEntryPoint ()
918                 {
919                         if (!Compiler.Settings.NeedsEntryPoint) {
920                                 if (Compiler.Settings.MainClass != null)
921                                         Report.Error (2017, "Cannot specify -main if building a module or library");
922
923                                 return;
924                         }
925
926                         PEFileKinds file_kind;
927
928                         switch (Compiler.Settings.Target) {
929                         case Target.Library:
930                         case Target.Module:
931                                 file_kind = PEFileKinds.Dll;
932                                 break;
933                         case Target.WinExe:
934                                 file_kind = PEFileKinds.WindowApplication;
935                                 break;
936                         default:
937                                 file_kind = PEFileKinds.ConsoleApplication;
938                                 break;
939                         }
940
941                         if (entry_point == null) {
942                                 string main_class = Compiler.Settings.MainClass;
943                                 if (main_class != null) {
944                                         // TODO: Handle dotted names
945                                         var texpr = module.GlobalRootNamespace.LookupType (module, main_class, 0, LookupMode.Probing, Location.Null);
946                                         if (texpr == null) {
947                                                 Report.Error (1555, "Could not find `{0}' specified for Main method", main_class);
948                                                 return;
949                                         }
950
951                                         var mtype = texpr.MemberDefinition as ClassOrStruct;
952                                         if (mtype == null) {
953                                                 Report.Error (1556, "`{0}' specified for Main method must be a valid class or struct", main_class);
954                                                 return;
955                                         }
956
957                                         Report.Error (1558, mtype.Location, "`{0}' does not have a suitable static Main method", mtype.GetSignatureForError ());
958                                 } else {
959                                         string pname = file_name == null ? name : Path.GetFileName (file_name);
960                                         Report.Error (5001, "Program `{0}' does not contain a static `Main' method suitable for an entry point",
961                                                 pname);
962                                 }
963
964                                 return;
965                         }
966
967                         Builder.SetEntryPoint (entry_point.MethodBuilder, file_kind);
968                 }
969
970                 void Error_ObsoleteSecurityAttribute (Attribute a, string option)
971                 {
972                         Report.Warning (1699, 1, a.Location,
973                                 "Use compiler option `{0}' or appropriate project settings instead of `{1}' attribute",
974                                 option, a.Name);
975                 }
976
977                 void Error_AssemblySigning (string text)
978                 {
979                         Report.Error (1548, "Error during assembly signing. " + text);
980                 }
981
982                 public bool IsFriendAssemblyTo (IAssemblyDefinition assembly)
983                 {
984                         return false;
985                 }
986
987                 static Version IsValidAssemblyVersion (string version, bool allowGenerated)
988                 {
989                         string[] parts = version.Split ('.');
990                         if (parts.Length < 1 || parts.Length > 4)
991                                 return null;
992
993                         var values = new int[4];
994                         for (int i = 0; i < parts.Length; ++i) {
995                                 if (!int.TryParse (parts[i], out values[i])) {
996                                         if (parts[i].Length == 1 && parts[i][0] == '*' && allowGenerated) {
997                                                 if (i == 2) {
998                                                         // Nothing can follow *
999                                                         if (parts.Length > 3)
1000                                                                 return null;
1001
1002                                                         // Generate Build value based on days since 1/1/2000
1003                                                         TimeSpan days = DateTime.Today - new DateTime (2000, 1, 1);
1004                                                         values[i] = System.Math.Max (days.Days, 0);
1005                                                         i = 3;
1006                                                 }
1007
1008                                                 if (i == 3) {
1009                                                         // Generate Revision value based on every other second today
1010                                                         var seconds = DateTime.Now - DateTime.Today;
1011                                                         values[i] = (int) seconds.TotalSeconds / 2;
1012                                                         continue;
1013                                                 }
1014                                         }
1015
1016                                         return null;
1017                                 }
1018
1019                                 if (values[i] > ushort.MaxValue)
1020                                         return null;
1021                         }
1022
1023                         return new Version (values[0], values[1], values[2], values[3]);
1024                 }
1025         }
1026
1027         public class AssemblyResource : IEquatable<AssemblyResource>
1028         {
1029                 public AssemblyResource (string fileName, string name)
1030                         : this (fileName, name, false)
1031                 {
1032                 }
1033
1034                 public AssemblyResource (string fileName, string name, bool isPrivate)
1035                 {
1036                         FileName = fileName;
1037                         Name = name;
1038                         Attributes = isPrivate ? ResourceAttributes.Private : ResourceAttributes.Public;
1039                 }
1040
1041                 public ResourceAttributes Attributes { get; private set; }
1042                 public string Name { get; private set; }
1043                 public string FileName { get; private set; }
1044                 public bool IsEmbeded { get; set; }
1045
1046                 #region IEquatable<AssemblyResource> Members
1047
1048                 public bool Equals (AssemblyResource other)
1049                 {
1050                         return Name == other.Name;
1051                 }
1052
1053                 #endregion
1054         }
1055
1056         //
1057         // A placeholder class for assembly attributes when emitting module
1058         //
1059         class AssemblyAttributesPlaceholder : CompilerGeneratedContainer
1060         {
1061                 static readonly string TypeNamePrefix = "<$AssemblyAttributes${0}>";
1062                 public static readonly string AssemblyFieldName = "attributes";
1063
1064                 Field assembly;
1065
1066                 public AssemblyAttributesPlaceholder (ModuleContainer parent, string outputName)
1067                         : base (parent, new MemberName (GetGeneratedName (outputName)), Modifiers.STATIC | Modifiers.INTERNAL)
1068                 {
1069                         assembly = new Field (this, new TypeExpression (parent.Compiler.BuiltinTypes.Object, Location), Modifiers.PUBLIC | Modifiers.STATIC,
1070                                 new MemberName (AssemblyFieldName), null);
1071
1072                         AddField (assembly);
1073                 }
1074
1075                 public void AddAssemblyAttribute (MethodSpec ctor, byte[] data)
1076                 {
1077                         assembly.SetCustomAttribute (ctor, data);
1078                 }
1079
1080                 public static string GetGeneratedName (string outputName)
1081                 {
1082                         return string.Format (TypeNamePrefix, outputName);
1083                 }
1084         }
1085
1086         //
1087         // Extension to System.Reflection.Emit.AssemblyBuilder to have fully compatible
1088         // compiler. This is a default implementation for framework System.Reflection.Emit
1089         // which does not implement any of the methods
1090         //
1091         public class AssemblyBuilderExtension
1092         {
1093                 readonly CompilerContext ctx;
1094
1095                 public AssemblyBuilderExtension (CompilerContext ctx)
1096                 {
1097                         this.ctx = ctx;
1098                 }
1099
1100                 public virtual System.Reflection.Module AddModule (string module)
1101                 {
1102                         ctx.Report.RuntimeMissingSupport (Location.Null, "-addmodule");
1103                         return null;
1104                 }
1105
1106                 public virtual void AddPermissionRequests (PermissionSet[] permissions)
1107                 {
1108                         ctx.Report.RuntimeMissingSupport (Location.Null, "assembly declarative security");
1109                 }
1110
1111                 public virtual void AddTypeForwarder (TypeSpec type, Location loc)
1112                 {
1113                         ctx.Report.RuntimeMissingSupport (loc, "TypeForwardedToAttribute");
1114                 }
1115
1116                 public virtual void DefineWin32IconResource (string fileName)
1117                 {
1118                         ctx.Report.RuntimeMissingSupport (Location.Null, "-win32icon");
1119                 }
1120
1121                 public virtual void SetAlgorithmId (uint value, Location loc)
1122                 {
1123                         ctx.Report.RuntimeMissingSupport (loc, "AssemblyAlgorithmIdAttribute");
1124                 }
1125
1126                 public virtual void SetCulture (string culture, Location loc)
1127                 {
1128                         ctx.Report.RuntimeMissingSupport (loc, "AssemblyCultureAttribute");
1129                 }
1130
1131                 public virtual void SetFlags (uint flags, Location loc)
1132                 {
1133                         ctx.Report.RuntimeMissingSupport (loc, "AssemblyFlagsAttribute");
1134                 }
1135
1136                 public virtual void SetVersion (Version version, Location loc)
1137                 {
1138                         ctx.Report.RuntimeMissingSupport (loc, "AssemblyVersionAttribute");
1139                 }
1140         }
1141
1142         abstract class AssemblyReferencesLoader<T> where T : class
1143         {
1144                 protected readonly CompilerContext compiler;
1145
1146                 protected readonly List<string> paths;
1147
1148                 protected AssemblyReferencesLoader (CompilerContext compiler)
1149                 {
1150                         this.compiler = compiler;
1151
1152                         paths = new List<string> ();
1153                         paths.Add (Directory.GetCurrentDirectory ());
1154                         paths.AddRange (compiler.Settings.ReferencesLookupPaths);
1155                 }
1156
1157                 public abstract bool HasObjectType (T assembly);
1158                 protected abstract string[] GetDefaultReferences ();
1159                 public abstract T LoadAssemblyFile (string fileName, bool isImplicitReference);
1160                 public abstract void LoadReferences (ModuleContainer module);
1161
1162                 protected void Error_FileNotFound (string fileName)
1163                 {
1164                         compiler.Report.Error (6, "Metadata file `{0}' could not be found", fileName);
1165                 }
1166
1167                 protected void Error_FileCorrupted (string fileName)
1168                 {
1169                         compiler.Report.Error (9, "Metadata file `{0}' does not contain valid metadata", fileName);
1170                 }
1171
1172                 protected void Error_AssemblyIsModule (string fileName)
1173                 {
1174                         compiler.Report.Error (1509,
1175                                 "Referenced assembly file `{0}' is a module. Consider using `-addmodule' option to add the module",
1176                                 fileName);
1177                 }
1178
1179                 protected void Error_ModuleIsAssembly (string fileName)
1180                 {
1181                         compiler.Report.Error (1542,
1182                                 "Added module file `{0}' is an assembly. Consider using `-r' option to reference the file",
1183                                 fileName);
1184                 }
1185
1186                 protected void LoadReferencesCore (ModuleContainer module, out T corlib_assembly, out List<Tuple<RootNamespace, T>> loaded)
1187                 {
1188                         compiler.TimeReporter.Start (TimeReporter.TimerType.ReferencesLoading);
1189
1190                         loaded = new List<Tuple<RootNamespace, T>> ();
1191
1192                         //
1193                         // Load mscorlib.dll as the first
1194                         //
1195                         if (module.Compiler.Settings.StdLib) {
1196                                 corlib_assembly = LoadAssemblyFile ("mscorlib.dll", true);
1197                         } else {
1198                                 corlib_assembly = default (T);
1199                         }
1200
1201                         T a;
1202                         foreach (string r in module.Compiler.Settings.AssemblyReferences) {
1203                                 a = LoadAssemblyFile (r, false);
1204                                 if (a == null || EqualityComparer<T>.Default.Equals (a, corlib_assembly))
1205                                         continue;
1206
1207                                 var key = Tuple.Create (module.GlobalRootNamespace, a);
1208                                 if (loaded.Contains (key))
1209                                         continue;
1210
1211                                 loaded.Add (key);
1212                         }
1213
1214                         if (corlib_assembly == null) {
1215                                 //
1216                                 // Requires second pass because HasObjectType can trigger assembly load event
1217                                 //
1218                                 for (int i = 0; i < loaded.Count; ++i) {
1219                                         var assembly = loaded [i];
1220
1221                                         //
1222                                         // corlib assembly is the first referenced assembly which contains System.Object
1223                                         //
1224                                         if (HasObjectType (assembly.Item2)) {
1225                                                 corlib_assembly = assembly.Item2;
1226                                                 loaded.RemoveAt (i);
1227                                                 break;
1228                                         }
1229                                 }
1230                         }
1231
1232                         foreach (var entry in module.Compiler.Settings.AssemblyReferencesAliases) {
1233                                 a = LoadAssemblyFile (entry.Item2, false);
1234                                 if (a == null)
1235                                         continue;
1236
1237                                 var key = Tuple.Create (module.CreateRootNamespace (entry.Item1), a);
1238                                 if (loaded.Contains (key))
1239                                         continue;
1240
1241                                 loaded.Add (key);
1242                         }
1243
1244                         if (compiler.Settings.LoadDefaultReferences) {
1245                                 foreach (string r in GetDefaultReferences ()) {
1246                                         a = LoadAssemblyFile (r, true);
1247                                         if (a == null)
1248                                                 continue;
1249
1250                                         var key = Tuple.Create (module.GlobalRootNamespace, a);
1251                                         if (loaded.Contains (key))
1252                                                 continue;
1253
1254                                         loaded.Add (key);
1255                                 }
1256                         }
1257
1258                         compiler.TimeReporter.Stop (TimeReporter.TimerType.ReferencesLoading);
1259                 }
1260         }
1261 }