Страница публикации

Метод визуализации графа потоков управления

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Михайлов А.А., Хмельнов А.Е.

Журнал: Вестник Бурятского гос. ун-та. Математика, информатика

Язык публикации: russian

Номера страниц: 50-62

Количество страниц: 13

Номер: 2

Год публикации: 2018

Отчетный год: 2018

DOI: 10.18101/2304-5728-2018-2-50-62

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

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет