Common Intermediate Language и системное программирование в Microsoft .NET - тест 9

Код программ не разрушает память, если эти программы, будучи запущенными в одном адресном пространстве:

Процесс автоматического доказательства того, что этот код не разрушает память - это:

Алгоритмы верификации являются:

Алгоритмы верификации в общем случае имеют следующие проблемы:

Алгоритмы, работающие неизвестно сколько времени и потребляющие неизвестно какое количество ресурсов, представляют скорее:

Сколько известно подходов для алгоритмов верификации кода, позволяющие снизить их сложность и добиться терминируемости:

Сколько существует подходов для ограничения задачи для верификаторов?

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

Верификаторы, способные доказать, что программа, принадлежащая некоторому классу программ, не разрушает память, служат:

Верификатор кода .NET может доказать, что сборки, генерируемые компиляторами C#, J# и Visual Basic .NET:

Отметьте верные утверждения, касающиеся разрушающего память кода:

Верификатор .NET предназначен:

Код, для которого верификатор может доказать, что он не разрушает память:

Код, для которого верификатор доказал, что он не разрушает память:

Алгоритм верификации представляет собой вариант:

Правилами совместимости типов S и T будут следующие:

Данные о количестве слотов на стеке и типы значений, лежащих в этих слотах - это:

Алгоритм верификации работает со следующими данным:

Программы, рассматривающие сборки .NET в качестве объектов анализа, генерации или преобразования - это:

Генерация новой сборки .NET осуществляется:

В составе .NET Framework SDK поставляются следующие библиотеки:

При использовании Metadata Unmanaged API метаинструмент работает:

Для того чтобы использовать Metadata Unmanaged API из программы, написанной на Visual C++, необходимо включить в программу следующие строки:

Взаимодействие с Metadata Unmanaged API осуществляется через набор:

С помощью данного кода:CoInitialize(NULL);
IMetaDataDispenser *dispenser;
HRESULT h = CoCreateInstance(
 CLSID_CorMetaDataDispenser,
 NULL,
 CLSCTX_INPROC_SERVER, 
 IID_IMetaDataDispenserEx,
 (void **)&dispenser
 );
if (h)
 printf("Error");осуществляется:

При завершении работы с Metadata Unmanaged API необходимо освободить указатели на полученные интерфейсы следующим образом:

Генерация метаданных осуществляется через методы интерфейса IMetadataEmit, которые можно условно разделить на следующие группы:

Библиотека рефлексии содержит классы для работы с метаданными на высоком уровне, которые располагаются в пространствах имен:

Метаинструмент, использующий библиотеку рефлексии, получает доступ к метаданным сборки через экземпляр класса:

Класс Module, позволяет получить набор экземпляров класса:

Библиотека рефлексии спроектирована таким образом, что создание объектов рефлексии, соответствующих элементам метаданных, осуществляется:

Информацию о любом элементе метаданных можно прочитать из свойств соответствующего ему:

Если нас интересует текущая работающая сборка, то экземпляр класса Assembly можно получить так:

Кроме чтения метаданных, библиотека рефлексии позволяет:

Для генерации метаданных и CIL-кода в библиотеке рефлексии предназначены классы:

Библиотеки Reflection API и Metadata Unmanaged API не имеет следующих возможностей: