Алгоритм верификации работает со следующими данным:
Тип F представляет собой:
Код метода в сборке .NET представляет собой:
Программа ngen представляет собой:
Состояние нити представляет собой односвязный список состояний:
Представляет собой последовательность 128-битных глобальных идентификаторов следующий поток метаданных:
Алгоритмы верификации являются:
Каждое предложение обработки исключений представляет собой структуру, состоящую из нескольких полей, в которых записаны координаты следующих областей:
Алгоритмы верификации в общем случае имеют следующие проблемы:
Сколько известно подходов для алгоритмов верификации кода, позволяющие снизить их сложность и добиться терминируемости: