Как в .NET 4.0 «изолировать» сборку в памяти и выполнить метод?

Хорошо, обо всем по порядку: нет реального способа использовать CSharpCodeProvider для динамической компиляции исходного кода C # полностью в памяти. Существуют методы, которые, похоже, поддерживают эту функциональность, но поскольку компилятор C # является собственным исполняемым файлом, который не может выполняться внутри процесса, исходная строка сохраняется во временном файле, компилятор вызывается для этого файла, а затем результирующая сборка сохраняется на диск, а затем загружается с помощью Assembly.Load.

Во-вторых, как вы обнаружили, вы должны иметь возможность использовать метод Compile из AppDomain для загрузки сборки и предоставления ей необходимых разрешений. Я столкнулся с таким же необычным поведением и после долгих поисков обнаружил, что это ошибка во фреймворке. Я отправил отчет о проблеме на MS Connect.

Поскольку фреймворк в любом случае уже записывает в файловую систему, обходной путь состоит в том, чтобы сборка была записана во временный файл, а затем загружена по мере необходимости. Однако при его загрузке вам необходимо временно подтвердить разрешения в домене приложений, поскольку вы запретили доступ к файловой системе. Вот пример этого:

new FileIOPermission(FileIOPermissionAccess.Read | FileIOPermissionAccess.PathDiscovery, assemblyPath).Assert();
var assembly = Assembly.LoadFile(assemblyPath);
CodeAccessPermission.RevertAssert();

Оттуда вы можете использовать сборку и отражение для вызова вашего метода. Обратите внимание, что этот метод позволяет поднять процесс компиляции за пределы изолированного домена приложения, что, на мой взгляд, является плюсом.

Для справки, вот мой класс Sandbox, созданный для облегчения запуска сборок скриптов в красивом, чистом отдельном домене приложений, который имеет ограниченные разрешения и может быть легко выгружен при необходимости:

class Sandbox : MarshalByRefObject
{
    const string BaseDirectory = "Untrusted";
    const string DomainName = "Sandbox";

    public Sandbox()
    {
    }

    public static Sandbox Create()
    {
        var setup = new AppDomainSetup()
        {
            ApplicationBase = Path.Combine(AppDomain.CurrentDomain.BaseDirectory, BaseDirectory),
            ApplicationName = DomainName,
            DisallowBindingRedirects = true,
            DisallowCodeDownload = true,
            DisallowPublisherPolicy = true
        };

        var permissions = new PermissionSet(PermissionState.None);
        permissions.AddPermission(new ReflectionPermission(ReflectionPermissionFlag.RestrictedMemberAccess));
        permissions.AddPermission(new SecurityPermission(SecurityPermissionFlag.Execution));

        var domain = AppDomain.CreateDomain(DomainName, null, setup, permissions,
            typeof(Sandbox).Assembly.Evidence.GetHostEvidence<StrongName>());

        return (Sandbox)Activator.CreateInstanceFrom(domain, typeof(Sandbox).Assembly.ManifestModule.FullyQualifiedName, typeof(Sandbox).FullName).Unwrap();
    }

    public string Execute(string assemblyPath, string scriptType, string method, params object[] parameters)
    {
        new FileIOPermission(FileIOPermissionAccess.Read | FileIOPermissionAccess.PathDiscovery, assemblyPath).Assert();
        var assembly = Assembly.LoadFile(assemblyPath);
        CodeAccessPermission.RevertAssert();

        Type type = assembly.GetType(scriptType);
        if (type == null)
            return null;

        var instance = Activator.CreateInstance(type);
        return string.Format("{0}", type.GetMethod(method).Invoke(instance, parameters));
    }
}

Краткое примечание: если вы используете этот метод для предоставления доказательств безопасности для нового домена приложения, вам необходимо подписать свою сборку, чтобы дать ей строгое имя.

Обратите внимание, что это отлично работает при запуске в процессе, но если вам действительно нужна пуленепробиваемая среда сценариев, вам нужно сделать еще один шаг и изолировать сценарий в отдельном процессе, чтобы убедиться, что сценарии, которые делают злонамеренные (или просто глупые) вещи такие как переполнение стека, разветвленные бомбы и ситуации нехватки памяти, не останавливают весь процесс приложения. Я могу дать вам дополнительную информацию об этом, если вам это нужно.