Сортировать по:
| Выпуск | Название | |
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... одного из методов обработки кода программы в рамках динамического анализа — статической инструментации ..." | ||
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
| Е. А. Велесевич | ||
| "... предлагается использовать инструментацию кода и постобработку ее результатов: по наблюденным промахам кэша ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... обзор методов инструментации и особенностей инструментации байт-кода языка Java для проведения ..." | ||
| Том 38, № 2: март-апрель | Направленный фаззинг Rust и Go с помощью LibAFL-DiFuzz | Аннотация похожие документы |
| Тимофей Павлович МЕЖУЕВ, Дарья Алексеевна ПАРЫГИНА, Даниил Олегович КУЦ | ||
| "... ориентированы на анализ C/C++ кода, растущая популярность Rust и Go вызывает потребность в точных и эффективных ..." | ||
| Том 37, № 4: часть 2. июль-август | Применение динамической символьной интерпретации в гибридном фаззинге бинарного кода для архитектур Байкал-М и RISC-V 64 | Аннотация PDF (Rus) похожие документы |
| Влада Игоревна ЛОГУНОВА | ||
| "... разработки безопасного программного обеспечения. В настоящее время доля кода программ, разрабатываемых для ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... В данной статье рассматриваются техника написания кода, с помощью которой можно сэкономить время ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... привести к нарушению стабильности и безопасности работы приложения. В ряде случаев исходный код проблемных ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Генерация кода исполняемой модели Event-B на языке Python | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН | ||
| "... поведения модели при помощи сгенерированного на основе модели программного кода. Предлагаемая методика ..." | ||
| Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. С. Кононов | ||
| "... исполняемого кода. В результате появляется возможность сократить требования к затрачиваемым ресурсам за счёт ..." | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Д. А. Максименков | ||
| "... новый метод инструментирования кода программы на этапе компиляции. Особенностью описываемого в статье ..." | ||
| Том 37, № 4: часть 1. июль-август | Определение неточностей в работе некоторых специализированных цикловых оптимизаций в компиляторе LCC для архитектуры «Эльбрус» | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ЕРМОЛИЦКИЙ, Дмитрий Николаевич ЛЕВЧЕНКО, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... support (overlap) and optimization of moving unlikely executed code into new outer loop (nesting ..." | ||
| Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
| "... При полносистемном анализе бинарного кода зачастую применяется динамический бинарный анализ, при ..." | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| "... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... , поиск ошибок производится только в той части кода, которая была непосредственно выполнена. Используется ..." | ||
| Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
| "... для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных ..." | ||
| Том 37, № 5: сентябрь-октябрь | Настройка языковой модели для безопасной генерации кода | Аннотация похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Мария Сергеевна ВАРЕЦА, Арсений Сергеевич СЁМКИН, Олег Юрьевич РОГОВ | ||
| "... Популярность использования LLM для генерации кода делает обязательной всестороннюю проверку ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... безопасного исполнения программного кода. Функциональным предназначением данной системы является проведение ..." | ||
| Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов | ||
| "... сигнатуры программного кода. Для академического изучения этих методов и кода, получаемого с их помощью ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... исполнения программного кода. Функциональным предназначением данной системы является проведение исследования ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... используется статическая инструментация байт-кода языка Java при помощи инструмента Coffee Machine, что ..." | ||
| Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
| "... эксплойтов повторного использования кода. Такие эксплойты используют код, уже содержащийся в уязвимом ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... содержат достаточно информации для генерации исходного кода компонента на языке Си. Предоставляемые модели ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... Запросы по исходному коду программ помогают разработчикам обнаруживать искомые фрагменты кода ..." | ||
| Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... кода при отсутствии исходных текстов, с целью выявления некоторых видов программных закладок. Согласно ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... генерации исполняемого кода. Результатом работы является библиотека для платформы .NET (библиотека ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... полным: базовый модуль осуществляет расшифрование, проверку кодов аутентификации сообщений и значений ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... кода целевой системы по спроектированной и верифицированной модели вложенной сети Петри обеспечивает ..." | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| "... , на базе которых возможно проведение динамической инструментации байт-кода, в статье рассмотрен подход ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... между исходным кодом программы, промежуточным представлением и большими формулами в формате ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... . Рассматривается схема внедрения модулей инструментации байт-кода системы Coffee Machine в рабочий цикл инструмента ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... низкоуровневого DSL кода. Вместе с другими возможностями, например, обобщенными DSL функциями, это делает данный ..." | ||
| Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Иванишин | ||
| "... в компиляторе GCC. Особое внимание уделяется вопросам генерации корректного и эффективного кода для прагм OpenMP ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... логики, а для описания данных (базы данных сетевого устройства, структуры данных целевого кода ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... интерпретируемого кода. Приводится описание инструментов динамического анализа, разработанных в Институте системного ..." | ||
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| "... , выполняющих анализ машинного кода (с помощью дизассемблеров). Всего построено 15 показателей: 9 показателей ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... кода, но все попытки наталкивались на ряд нерешенных вопросов. В данной работе рассматриваются ..." | ||
| Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
| Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
| "... В статье рассматривается подход к оптимизации вызовов внешних функций в позиционно-независимом коде ..." | ||
| Том 38, № 2: март-апрель | Непрерывная наблюдаемость для клиент-серверной IDE: воспроизводимый подход с низкими накладными расходами | Аннотация похожие документы |
| Владислав Игоревич МИРОШНИКОВ, Ольга Игоревна БАЧИЩЕ, Илья Александрович КУЗНЕЦОВ, Александр Андреевич ПЛАТОНОВ, Николай Владимирович ТРОПИН, Дарья Владимировна ВАСИНА, Дмитрий Владимирович КОЗНОВ | ||
| "... , в которых даже незначительные изменения исходного кода могут привести к регрессиям производительности ..." | ||
| Том 24 (2013) | Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев | ||
| "... [1]. Рассматривается методика замещения кода функций во время исполнения, реализованная в динамическом компиляторе LLVM ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... ПО. В данной статье представляется JetOS - ОСРВ с открытым исходным кодом полностью соответствующую требованиям ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... и точку реализации дефекта. С начала производится статический анализ исполняемого кода программы с целью ..." | ||
| 1 - 42 из 42 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
