О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью.

Некоторые методы обфускации программ предусматривают использование аппарата указателей. Это обусловлено тем, что задача анализа программ, в которых используются указатели, относится к числу алгоритмически трудных задач. Для разработки методов анализа программ, использующих динамическую память, целес...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	В.А. Захаров, К.С. Иванов
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2006-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_11_2006/isp_11_2006_61/