Сортировать по:
Выпуск | Название | |
Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
"... требует какой-либо отладочной информации. В основе метода лежит символьная интерпретация трасс выполнения ..." | ||
Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев | ||
"... кода, основанном на символьном выполнении. При использовании методов символьного выполнения для ..." | ||
Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
"... процессорного времени. На выполненных замерах общее время анализа увеличилось на 4%. По результатам анализа 8 ..." | ||
Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов | ||
"... развивающийся в настоящее время подход к поиску ошибок на основе динамического символьного выполнения. Главным ..." | ||
Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
"... . Метод, на основе динамического анализа и символьное выполнения, применяется к бинарным файлам программ ..." | ||
Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан | ||
"... комбинированного (статико-динамического) анализа бинарного кода. Для поиска ошибок используется символьная ..." | ||
Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
"... выполнению произвольного кода. В основе этих подходов лежит использование символьной интерпретации ..." | ||
Том 27, № 2 (2015) | Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов | ||
"... динамического анализа и символьного выполнения. Метод применяется к бинарным файлам программ без дополнительной ..." | ||
Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
А. В. Дергачёв, А. В. Сидорин | ||
Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
"... . Предлагаемый метод использует символьное выполнение и применяется к бинарным файлам программ, не требуя какой ..." | ||
Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
"... работы процессора при конкретной и абстрактной интерпретации и символьном выполнении. ..." | ||
Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
"... бинарного кода (на уровне потоков данных и управления, символьная интерпретация и др.) оказывается ..." | ||
Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
Том 22 (2012) | Планирование команд и конвейеризация циклов на современных архитектурах | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян | ||
"... команд, включая спекулятивное и условное выполнение. Компонент использования параллелизма заключается в ..." | ||
Том 21 (2011) | Поддержка команд с условным выполнением в селективном планировщике команд | Аннотация PDF (Rus) похожие документы |
Дмитрий Мельник, Александр Монаков | ||
"... Условное выполнение - аппаратная возможность, реализованная в некоторых процессорах, позволяющая ..." | ||
Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, Н. Е. Малышев | ||
"... обнаруживать ошибки, происходящие лишь на некоторых путях выполнения и не определяемые единственной точкой ..." | ||
Том 25 (2013) | Оценка эффективности минимизации ограничений запросов к СУБД | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
Е. С. Шишкин | ||
"... Ethereum методом символьной верификации модели. Описанный подход позволяет верифицировать выполнение 3х ..." | ||
Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
"... направления применения комбинированных методов анализа программ, совмещающих динамическое символьное ..." | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
"... доступа к буферу. Алгоритм использует символьное исполнение с объединением состояний и является ..." | ||
Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
И. А. Якимов, А. С. Кузнецов | ||
"... сгенерированных при помощи символьных вычислений, обеспечивая качественное снижение данной цены. Экспериментальные ..." | ||
Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
И. А. Дудина | ||
"... анализа на базе символьного исполнения с объединением состояний, который является чувствительным к путям и ..." | ||
Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
"... динамическое символьное исполнение программ и статический анализ кода программ с фаззингом для повышения ..." | ||
Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
"... корректной работы с памятью. Метод основывается на использовании символьных графов для представлении памяти ..." | ||
Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
"... программ с динамической памятью. Вводится формализм композициональной символьной памяти, который ..." | ||
Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
"... время запуска приложений за счет выполнения оптимизаций на этапе предварительной компиляции ..." | ||
Том 32, № 2 (2020) | Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта | Аннотация похожие документы |
Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР | ||
"... выполнение проекта. Изложены подходы и показан процесс решения задачи бинарной классификации проектов с ..." | ||
Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Евгений Шарыгин | ||
"... выполнения для создания машинного кода. При компиляции во время выполнения нецелесообразно выполнение сложных ..." | ||
Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
С. Н. Жук | ||
Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
"... В работе рассматриваются методы оценки времени выполнения модели параллельной программы на ..." | ||
Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
"... создания контролируемой среды выполнения до подготовки высокоуровневого описания интересующего алгоритма ..." | ||
Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
"... реляционных СУБД используется различные модели выполнения, которые отличаются характеристиками, но так или ..." | ||
Том 31, № 5 (2019) | Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid | Аннотация PDF (Rus) похожие документы |
Евгений Евгеньевич Ивашко, Валентина Степановна Литовченко | ||
Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
"... неявному вызову функций и выполнению лишних обобщенных проверок. Ситуация ухудшается тем, что для ..." | ||
Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
"... процессора. Разработанная модель позволяет оценивать время выполнения параллельной программы с явными ..." | ||
Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Д. Бейер, А. К. Петренко | ||
1 - 37 из 37 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)