Сортировать по:
| Выпуск | Название | |
| Том 33, № 6 (2021) | Технический долг в жизненном цикле разработки ПО: запахи кода | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ | ||
| "... a comparative analysis of multiple instruments such as DesigniteJava, PMD, SonarQube. We apply existing tools ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... ought to evolve as well. One of the key principles of new generation of instruments for software ..." | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... platform. These crawlers identified style smells in repositories using the features we proposed ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... исходного кода программ. Представленная среда используется для непрерывного тестирования инструментов ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... бинарного кода и приводится описание разработанного нами инструмента обнаружения клонов в бинарном коде ..." | ||
| Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской | ||
| "... В статье рассматривается подход для проведения рефакторинга исходного кода на языках Си/Си ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... втором этапе производится анализ поиска клонов кода в построенных графах. В инструменте существует ..." | ||
| Том 26, № 1 (2014) | Инструменты анализа и разработки эффективного кода для параллельных архитектур | Аннотация PDF (Rus) похожие документы |
| Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич | ||
| "... программиста, занимающегося распараллеливанием существующего кода, либо для поиска неэффективного использования ..." | ||
| Том 25 (2013) | Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге | Аннотация PDF (Rus) похожие документы |
| Н. Г. Зельцер | ||
| "... повторяющихся фрагментов исходного кода для программ на языках C/C++. Предложена классификация программных ..." | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... approach is the inability to access dynamic data at run-time and instrument a set of system class methods ..." | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... В данной статье рассматривается задача автоматического исправления дефектов кода на языках C/C ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... and Maven tools. We achieve this goal with implementing our custom Java agent that instruments all calls ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... инструментах повышения стабильности и безопасности их продукта. Используемые разработчиками закрытые библиотеки ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... .п.) уровня исходного кода для верификации машинного кода. Инструмент основан на формальной спецификации ..." | ||
| Том 36, № 3 (2024) | О методах извлечения алгоритмов из бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН | ||
| "... выполнили обзор подходов к извлечению алгоритмов из бинарного кода и способов их представления инструментами ..." | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| "... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... основе анализа записанных сетевых трасс и путем анализа бинарного кода программы, реализующего ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... эту проблему путём доказательства корректности сгенерированного машинного кода методами дедуктивной ..." | ||
| Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
| А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
| "... внимание анализу инцидентов информационной безопасности. Атаки повторного использования кода, основанные на ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... найденном недостижимом коде. Описанные алгоритмы реализованы в статическом инструменте Svace ..." | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| "... анализа бинарного кода: как трассировщика уровня машинных команд и как развитого инструмента интерактивной ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... . Суммарный объём сгенерированного кода заготовок составил от ¼ до ¾. Исходный код разработанного инструмента ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... инструменты статического анализа кода программ используются для проверки кода программ на соответствие ..." | ||
| Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... различных ошибок в исходном коде C#. Поскольку инструмент активно разрабатывается, ему требуется все более ..." | ||
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... промышленном инструменте SharpChecker. Используя фреймворк компилятора Roslyn, анализ VB.NET был интегрирован в ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..." | ||
| Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов | ||
| "... сигнатуры программного кода. Для академического изучения этих методов и кода, получаемого с их помощью ..." | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан | ||
| "... расширения покрытия кода. С помощью инструмента, разработанного на основе предложенных методов, были найдены ..." | ||
| Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
| "... В работе приводится обзор существующих методов и инструментов автоматизированной генерации ..." | ||
| Том 24 (2013) | О методах деобфускации программ | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин | ||
| "... преобразования. Основная область применения - это анализ запутанного кода вредоносного программного обеспечения ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... Существующие на сегодняшний день инструменты дедуктивной верификации позволяют успешно доказывать ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... раннем этапе его разработки. Особое внимание уделяется статическому анализу кода, который является ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а ..." | ||
| Том 36, № 4 (2024) | GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... исключением: Github заверяют, что уже около 30% кода написано при помощи Copilot. Этот инструмент основан на ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... В данной статье описывается подход к упрощению работы со сквозной функциональностью в исходном коде ..." | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян | ||
| "... копировании исходного кода в процессе разработки ПО. Метод состоит из двух основных этапов. На первом этапе ..." | ||
| 1 - 39 из 456 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
