1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
// Copyright (c) .NET Foundation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
using System.Collections.Generic;
using System.Diagnostics.CodeAnalysis;
using System.IO;
using System.Linq;
using System.Reflection;
using System.Reflection.PortableExecutable;
using System.Runtime.Loader;
using ILVerify;
using Mono.Linker.Tests.Extensions;
#nullable enable
namespace Mono.Linker.Tests.TestCasesRunner
{
class ILVerifier : ILVerify.IResolver
{
Verifier _verifier;
NPath _assemblyFolder;
NPath _frameworkFolder;
Dictionary<string, PEReader> _assemblyCache;
AssemblyLoadContext _alc;
public IEnumerable<VerificationResult> Results { get; private set; }
public ILVerifier (NPath assemblyPath)
{
var assemblyName = assemblyPath.FileNameWithoutExtension;
_assemblyFolder = assemblyPath.Parent;
_assemblyCache = new Dictionary<string, PEReader> ();
_frameworkFolder = typeof (object).Assembly.Location.ToNPath ().Parent;
_alc = new AssemblyLoadContext (_assemblyFolder.FileName);
LoadAssembly ("mscorlib");
LoadAssembly ("System.Private.CoreLib");
LoadAssemblyFromPath (assemblyName, assemblyPath);
_verifier = new ILVerify.Verifier (
this,
new ILVerify.VerifierOptions {
SanityChecks = true,
IncludeMetadataTokensInErrorMessages = true
});
_verifier.SetSystemModuleName (new AssemblyName ("mscorlib"));
var allResults = _verifier.Verify (Resolve (assemblyName))
?? Enumerable.Empty<VerificationResult> ();
Results = allResults.Where (r => r.Code switch {
ILVerify.VerifierError.None
// Static interface methods cause this warning
or ILVerify.VerifierError.CallAbstract
// "Missing callVirt after constrained prefix - static interface methods cause this warning
or ILVerify.VerifierError.Constrained
// ex. localloc cannot be statically verified by ILVerify
or ILVerify.VerifierError.Unverifiable
// ref returning a ref local causes this warning but is okay
or VerifierError.ReturnPtrToStack
// Span indexing with indexer (ex. span[^4]) causes this warning
or VerifierError.InitOnly
=> false,
_ => true
});
}
PEReader LoadAssembly (string assemblyName)
{
if (_assemblyCache.TryGetValue (assemblyName, out PEReader? reader))
return reader;
var assembly = _alc.LoadFromAssemblyName (new AssemblyName (assemblyName));
reader = new PEReader (File.OpenRead (assembly.Location));
_assemblyCache.Add (assemblyName, reader);
return reader;
}
PEReader LoadAssemblyFromPath (string assemblyName, NPath pathToAssembly)
{
if (_assemblyCache.TryGetValue (assemblyName, out PEReader? reader))
return reader;
var assembly = _alc.LoadFromAssemblyPath (pathToAssembly);
reader = new PEReader (File.OpenRead (assembly.Location));
_assemblyCache.Add (assemblyName, reader);
return reader;
}
bool TryLoadAssemblyFromFolder (string assemblyName, NPath folder, [NotNullWhen (true)] out PEReader? peReader)
{
Assembly? assembly = null;
string assemblyPath = Path.Join (folder.ToString (), assemblyName);
if (File.Exists (assemblyPath + ".dll"))
assembly = _alc.LoadFromAssemblyPath (assemblyPath + ".dll");
else if (File.Exists (assemblyPath + ".exe"))
assembly = _alc.LoadFromAssemblyPath (assemblyPath + ".exe");
if (assembly is not null) {
peReader = new PEReader (File.OpenRead (assembly.Location));
_assemblyCache.Add (assemblyName, peReader);
return true;
}
peReader = null;
return false;
}
PEReader? Resolve (string assemblyName)
{
PEReader? reader;
if (_assemblyCache.TryGetValue (assemblyName, out reader)) {
return reader;
}
if (TryLoadAssemblyFromFolder (assemblyName, _frameworkFolder, out reader))
return reader;
if (TryLoadAssemblyFromFolder (assemblyName, _assemblyFolder, out reader))
return reader;
return null;
}
PEReader? ILVerify.IResolver.ResolveAssembly (AssemblyName assemblyName)
=> Resolve (assemblyName.Name ?? assemblyName.FullName);
PEReader? ILVerify.IResolver.ResolveModule (AssemblyName referencingModule, string fileName)
=> Resolve (Path.GetFileNameWithoutExtension (fileName));
public string GetErrorMessage (VerificationResult result)
{
return $"IL Verification error:\n{result.Message}";
}
}
}
#nullable restore
|
