예제 #1
0
        public static bool Verify(
            Context context,
            IRContext irContext,
            Method entryPoint,
            Stream serializedStream)
        {
            var deserialized = IRContext.Deserialize(
                context.TypeInformationManger,
                serializedStream,
                IRContextSerializationMode.Binary,
                IRContextSerializationFlags.None,
                out IRContextDeserializationInfo info);
            var functionHandles = info.TopLevelFunctions;

            var otherHandle = functionHandles.First();
            var verifier    = new Verifier(
                irContext,
                entryPoint,
                deserialized,
                deserialized.GetFunction(otherHandle));

            return(verifier.Verify());
        }