Сортировать по:
| Выпуск | Название | |
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| "... динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция ..." | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... динамического анализа Avalanche, для направленной генерации входных данных программы с целью достижения заранее ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... анализа. В данной статье мы предлагаем комбинированный подход, заключающийся в применении динамического ..." | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| "... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... кода, но все попытки наталкивались на ряд нерешенных вопросов. В данной работе рассматриваются ..." | ||
| Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
| "... динамического анализа приложений в рамках платформы Android. Приводится теоретический обзор существующих методов ..." | ||
| Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
| А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
| "... практикой в наши дни. Одним из видов динамического анализа является анализ трасс выполнения программ. В то ..." | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| "... В данной статье приводятся результаты экспериментального исследования по восстановлению графа ..." | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан | ||
| "... комбинированного (статико-динамического) анализа бинарного кода. Для поиска ошибок используется символьная ..." | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
| В. Ю. Трифанов | ||
| "... Состояния гонки (data race) возникает в многопоточной программе при одновременном обращении ..." | ||
| Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
| "... . Метод, на основе динамического анализа и символьное выполнения, применяется к бинарным файлам программ ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... В статье рассматриваются подходы и способы выполнения кода с использованием уязвимостей в ..." | ||
| Том 27, № 2 (2015) | Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов | ||
| "... динамического анализа и символьного выполнения. Метод применяется к бинарным файлам программ без дополнительной ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..." | ||
| Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
| И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
| "... В статье рассматривается метод поиска уязвимостей форматной строки в исполняемом бинарном коде ..." | ||
| Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
| "... предлагается метод автоматизированного восстановления формата данных, базирующийся на динамическом анализе ..." | ||
| Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) похожие документы |
| И. И. Каретин, В. А. Макаров | ||
| "... предлагается метод автоматизированного восстановления формата данных, базирующийся на динамическом анализе ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... с промежуточными представлениями, в которые этот код транслируется. В статье рассмотрены различные ..." | ||
| 1 - 18 из 18 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
