Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... количественной оценки стойкости запутывания были получены метрики сложности кода модельных примеров. ..."
 
Том 27, № 2 (2015) Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Аннотация  PDF (Rus)  похожие документы
А. А. Белеванцев, Е. А. Велесевич
"... на языке Си или Си++, их метрики и связи между ними. Сущностями программы являются файлы, функции ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... В данной статье рассматриваются техника написания кода, с помощью которой можно сэкономить время ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..."
 
Том 24 (2013) Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян
"... на оценке размещения с помощью Hop-Byte метрики. Для конкретного варианта коммуникационной среды ..."
 
Том 25 (2013) Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге Аннотация  PDF (Rus)  похожие документы
Н. Г. Зельцер
"... повторяющихся фрагментов исходного кода для программ на языках C/C++. Предложена классификация программных ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... , поиск ошибок производится только в той части кода, которая была непосредственно выполнена. Используется ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... участка кода для достижения желаемого результата. Копирование кода может привести к появлению различных ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... код проблемных участков может отсутствовать. Приобретают популярность статические методы поиска ..."
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
"... этой задачи, состоящий из ряда этапов: синтаксический анализ кода CIL; формирование графа потока ..."
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
 
Том 27, № 3 (2015) Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Аннотация  PDF (Rus)  похожие документы
А. А. Цыганов
"... В работе рассматривается метод оптимизации вычисления метрики схожести изображений с помощью ..."
 
Том 27, № 4 (2015) Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Аннотация  PDF (Rus)  похожие документы
Е. А. Велесевич
"... предлагается использовать инструментацию кода и постобработку ее результатов: по наблюденным промахам кэша в ..."
 
Том 32, № 3 (2020) Моделирование библиотечных функций в промышленном статическом анализаторе кода Аннотация  похожие документы
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ
"... различных ошибок в исходном коде C#. Поскольку инструмент активно разрабатывается, ему требуется все более ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... , позволяющем разработчику QEMU получить компилируемый набор файлов с исходным Си-кодом. Разработчик задаёт ..."
 
Том 29, № 3 (2017) О представлении результатов обратной инженерии бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян
"... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода в ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... содержат достаточно информации для генерации исходного кода компонента на языке Си. Предоставляемые модели ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... эту проблему путём доказательства корректности сгенерированного машинного кода методами дедуктивной ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... новый метод инструментирования кода программы на этапе компиляции. Особенностью описываемого в статье ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... преобразования. Основная область применения - это анализ запутанного кода вредоносного программного обеспечения ..."
 
Том 23 (2012) Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской
"... В статье рассматривается подход для проведения рефакторинга исходного кода на языках Си/Си ..."
 
Том 30, № 5 (2018) Платформа межпроцедурного статического анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
А. К. Асланян
"... В рамках данной статьи описывается разработанная платформа для статического анализа бинарного кода ..."
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... этого может быть недостаточно, поскольку даже полностью верифицированный код не может гарантировать ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..."
 
Том 30, № 2 (2018) Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров
"... структурной избыточности на основе использования метода логического дополнения до равновновесного кода «2 из 4 ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... Рассматриваются проблемы анализа программы в бинарном коде для распознавания алгоритмов ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... Во многих случаях дефекты программного кода могут быть выявлены путём анализа соответствующего ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... функций объекта диагностирования до кодовых слов равновесных кодов с параллельным преобразованием функций ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
"... ), на котором доступно меньше открытого кода; мы описываем техники, позволившие достичь результата ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..."
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
"... комбинированного (статико-динамического) анализа бинарного кода. Для поиска ошибок используется символьная ..."
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... В статье описывается поиск недостижимого кода в исходном коде программ, написанных на языках Си и ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... В статье рассматриваются подходы и способы выполнения кода с использованием уязвимостей в ..."
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
"... В данной работе описывается расширение языка KAST для решения задачи трансформации исходного кода ..."
 
1 - 39 из 64 результатов 1 2 > >> 

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

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