Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 4: часть 2. июль-август Применение динамической символьной интерпретации в гибридном фаззинге бинарного кода для архитектур Байкал-М и RISC-V 64 Аннотация  PDF (Rus)  похожие документы
Влада Игоревна ЛОГУНОВА
"... Гибридный фаззинг и динамическая символьная интерпретация активно применяются в жизненном цикле ..."
 
Том 37, № 6: часть 2. ноябрь-декабрь Гибридный подход к направленному фаззингу Аннотация  похожие документы
Дарья Алексеевна ПАРЫГИНА, Тимофей Павлович МЕЖУЕВ, Даниил Олегович КУЦ
"... . Согласно результатам, гибридный подход Sydr-Fuzz к направленному фаззингу демонстрирует высокую ..."
 
Том 37, № 4: часть 2. июль-август Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ
"... на гибридном фаззинге. Его реализация – инструмент Sydr-Fuzz, в котором наш инструмент символьного выполнения ..."
 
Том 30, № 6 (2018) Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Аннотация  похожие документы
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков
"... динамическое символьное исполнение программ и статический анализ кода программ с фаззингом для повышения ..."
 
Том 34, № 4 (2022) Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... символьного выполнения для анализа IoT-систем, построенных на базе ядер Linux, описывается способ интеграции ..."
 
Том 34, № 2 (2022) Поиск ошибок в бинарном коде методами динамической символьной интерпретации Аннотация  похожие документы
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ
"... безопасного цикла разработки являются фаззинг и символьная интерпретация программ, позволяющие автоматически ..."
 
Том 34, № 3 (2022) Исследование свойств алгоритма слайсинга предиката пути Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ
"... символьную интерпретацию, показал еще большую эффективность, чем классический фаззинг. Более того, символьная ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... можно использовать различные методы. В качестве таких методов можно выделить фаззинг и активно ..."
 
1 - 8 из 8 результатов

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

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