О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью.
Некоторые методы обфускации программ предусматривают использование аппарата указателей. Это обусловлено тем, что задача анализа программ, в которых используются указатели, относится к числу алгоритмически трудных задач. Для разработки методов анализа программ, использующих динамическую память, целес...
| الحاوية / القاعدة: | Труды Института системного программирования РАН |
|---|---|
| المؤلفون الرئيسيون: | , |
| التنسيق: | مقال |
| اللغة: | الإنجليزية |
| منشور في: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2006-01-01
|
| الوصول للمادة أونلاين: | https://www.ispras.ru/en/proceedings/isp_11_2006/isp_11_2006_61/ |