diff options
Diffstat (limited to 'src/ILVerification/src/Verifier.cs')
-rw-r--r-- | src/ILVerification/src/Verifier.cs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/ILVerification/src/Verifier.cs b/src/ILVerification/src/Verifier.cs index 9341ef395..ef9374f14 100644 --- a/src/ILVerification/src/Verifier.cs +++ b/src/ILVerification/src/Verifier.cs @@ -34,7 +34,12 @@ namespace ILVerify public void SetSystemModuleName(AssemblyName name) { - _typeSystemContext.SetSystemModule(_typeSystemContext.GetModule(_typeSystemContext._resolver.Resolve(name))); + PEReader peReader = _typeSystemContext._resolver.Resolve(name.Name); + if (peReader is null) + { + throw new VerifierException("Assembly or module not found: " + name.FullName); + } + _typeSystemContext.SetSystemModule(_typeSystemContext.GetModule(peReader)); } internal EcmaModule GetModule(PEReader peReader) @@ -161,7 +166,7 @@ namespace ILVerify private IEnumerable<VerificationResult> VerifyMethod(EcmaModule module, MethodIL methodIL, MethodDefinitionHandle methodHandle) { var builder = new ArrayBuilder<VerificationResult>(); - MethodDesc method = methodIL.OwningMethod; + MethodDesc method = methodIL.OwningMethod; try { |