Вид документа : Статья из журнала Шифр издания : Автор(ы) : Сафин, Ленар Камилевич Заглавие : Задачи статического анализа двоичных образов программ Параллельн. заглавия :Goals of Static Analysis of Binary Programs Серия: Безопасность компьютерных систем Место публикации : Защита информации. Инсайд. - 2017. - № 2. - С.58-63: ил. (Шифр zinf/2017/2) Примечания : Библиогр.: с. 63 (15 назв.) УДК : 004.45 ББК : 32.973-018.2 Предметные рубрики: Вычислительная техника Системное программное обеспечение Ключевые слова (''Своб.индексиров.''): бинарный анализ--информационная безопасность--компиляторы--статический анализ--уязвимость Аннотация: В статье рассматриваются типовые задачи анализа программных систем, для которых целесообразны методы статического анализа бинарных образов программ, в контексте исследования таких систем на соответствие требованиям информационной безопасности. |