Чтобы определить, в какой блок входит некоторая инструкция графа, мы должны каким-то образом пройти от этой инструкции по дугам графа:
В процессе преобразования линейной последовательности инструкций в граф потока управления, на первом этапе, для каждой инструкции, входящей в массив P, мы создаем соответствующий ей узел графа, в который записываются все данные об инструкции, кроме информации о:
Количество дуг, исходящих из узла графа, зависит от:
Дуги графа потока управления изображают:
Работает на основе построения графа достижимости объектов:
Дан массив инструкций P размера N и массив предложений обработки исключений EH размера M. Этап создания узелов графа для каждой инструкции и формирования из созданных узлов массива на C#-подобном псевдоязыке можно записать так:
Прием программирования, заключающийся в том, что фрагменты кода порождаются и запускаются непосредственно во время выполнения программы - это:
Какие метаинструменты, выполняющие только анализ CIL-кода, могут непосредственно работать с линейной последовательностью инструкций:
Блок обработки исключений:
Блок входных параметров описывается структурой:
