Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 3 (2024) О методах извлечения алгоритмов из бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН
"... использованы и для реализации алгоритмов автоматического анализа безопасности кода. Кроме того, авторы ..."
 
Том 33, № 6 (2021) Модель и декларативный язык спецификации бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН
"... совместного анализа кода и данных. Ключевым элементом для решения всех этих задач является универсальная ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... задач анализа безопасности бинарного кода. Автоматизация решения этой задачи затруднена и требует ..."
 
Том 32, № 6 (2020) Практическая абстрактная интерпретация бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН
"... для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..."
 
1 - 5 из 5 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)