Сортировать по:
Выпуск | Название | |
Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской | ||
"... The paper describes refactoring technics used in Klocwork Insight toolkit for C/C++ programming ..." | ||
Том 25 (2013) | Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге | Аннотация PDF (Rus) похожие документы |
Н. Г. Зельцер | ||
"... . The approach described in this article has been implemented in Klocwork inSight refactoring tool. ..." | ||
Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
"... Refactoring is one of the most popular and successful techniques in improving source code ..." | ||
Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
"... with services for quick and correct code transformation. Such services can be used both for program refactoring ..." | ||
Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... _2. Two-sided unification finds some applications in software refactoring as a means for extracting ..." | ||
Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
"... of source code parser performance improvement is implemented in the Klocwork Insight static analyzer. ..." | ||
Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
"... Klocwork inSight 9.5 ..." | ||
Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
"... The paper provides an overview of the first impression of the language for implementation low code ..." | ||
Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
"... language as an unified constraint library that can be applied both on refactoring of the existing models ..." | ||
Том 28, № 2 (2016) | Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS | Аннотация похожие документы |
С. Тул, П. Г. Ларсен | ||
"... by refactoring the existing application to make it suitable for implementing functionality that takes advantage ..." | ||
Том 28, № 1 (2016) | Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, М. Н. Никитин | ||
"... ) in rectangular channel with shallow dumbbell dimples was modelled with open source Code_Saturne. An ideal gas (ρ ..." | ||
Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... This article discusses the technique of writing code you can use to save time to write a particular ..." | ||
Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
"... Many problems in software engineering such as program refactoring, deobfuscation, vulnerability ..." | ||
Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
"... for the tools to learn how to write code. In this work we study the ability of Transformers to generate ..." | ||
Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
"... Software developers often resort to borrowing code both within one project and from another. Due ..." | ||
Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
П. А. Путро | ||
"... the correctness of the generated machine code by deductive verification. To achieve this goal, it is required ..." | ||
Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
"... usage for binary code analysis faces several challenges, of both scientific and engineering nature ..." | ||
Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
"... incidents. Code-reuse attacks based on return-oriented programming are gaining more and more popularity each ..." | ||
Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
"... During the software development developers often copy and paste fragments of code to achieve ..." | ||
Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
"... and security of the application. In some cases, the source code of the problem areas may be missing ..." | ||
Том 33, № 6 (2021) | Технический долг в жизненном цикле разработки ПО: запахи кода | Аннотация PDF (Rus) похожие документы |
Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ | ||
"... This paper is dedicated to the review of the most popular code smells, which is one ..." | ||
Том 36, № 3 (2024) | О методах извлечения алгоритмов из бинарного кода | Аннотация PDF (Rus) похожие документы |
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН | ||
"... The paper proposes an iterative method for extracting algorithms from a binary code ..." | ||
Том 29, № 6 (2017) | Декомпиляция объектных файлов *.dcuil | Аннотация PDF (Rus) похожие документы |
А. А. Михайлов, А. Е. Хмельнов | ||
Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
"... that implement complex algorithms on the GPU using Vulkan. The proposed approach uses the technology of code ..." | ||
Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
М. С. Малеванный, С. С. Михалкович | ||
"... structure, each node of the tree can be bound to a fragment of code. It allows one to quickly locate ..." | ||
Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ | ||
"... of a protocol automaton and a method for projecting it onto an executing application binary code. The second ..." | ||
Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
"... This paper presents methods and tools for binary code analysis that have been developed in ISP RAS ..." | ||
Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
"... of binary code: as a machine instruction tracer, and as a smart interactive debugger. We provide ..." | ||
Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
"... In recent years, ISP RAS has been developing a system for machine (binary) code deductive ..." | ||
Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
"... in C# source code. Because the tool is actively developed, it requires more and more precise ..." | ||
Том 32, № 3 (2020) | Генерация кодов для вещественной арифметики в архитектуре MIPS | Аннотация похожие документы |
Иван Сергеевич АРХИПОВ | ||
"... This article is related to code generation for floating-point arithmetics in the MIPS architecture ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... Querying source code helps developers to discover code fragments of interest and to determine ..." | ||
Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
А. Ю. Тихонов, А. И. Аветисян | ||
"... This paper investigates the process of binary code analysis. To achieve typical goals ..." | ||
Том 27, № 2 (2015) | Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов | ||
Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
"... A lot of binary code analysis tools do not work directly with machine instructions, instead relying ..." | ||
Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
"... Not only developers require tools that work with binary code: it is impossible to achieve ..." | ||
Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
"... This paper provides a survey of methods and tools for automated code-reuse exploit generation ..." | ||
Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
"... and optimized machine code execution. This requirement can be satisfied only when the amount of data ..." | ||
1 - 39 из 309 результатов | 1 2 3 4 5 6 7 8 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)