Сортировать по:
| Выпуск | Название | |
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской, С. В. Сыромятников | ||
| "... transformation. Currently KAST is used for matching syntactic patterns in syntactic trees built of C/C++, Java ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... in multi-threaded Java applications. We use static Java byte-code instrumentation framework Coffee Machine ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... for unreachable code detection were described. А general scheme of static analysis that takes exception related ..." | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| "... The paper provides an overview of the first impression of the language for implementation low code ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... This article discusses the technique of writing code you can use to save time to write a particular ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... of functions written in high-level languages such as C or Java. However, this may not be enough for critical ..." | ||
| Том 30, № 3 (2018) | Применение глубокого машинного обучения к синтезу цепочки вызовов C# | Аннотация похожие документы |
| А. Е. Чебыкин, Я. А. Кириленко | ||
| "... # over Java) that has smaller open code base; we describe techniques used to achieve results close ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... This paper considers the automated unit tests generation for programs written in Java using ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... for the tools to learn how to write code. In this work we study the ability of Transformers to generate ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... structure, each node of the tree can be bound to a fragment of code. It allows one to quickly locate ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... the correctness of the generated machine code by deductive verification. To achieve this goal, it is required ..." | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... used. Such definitions as templates, classes, functions could be skipped during code parsing until ..." | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... The article describes a way of implementing static code analysis for C/C++ languages that allows ..." | ||
| Том 32, № 3 (2020) | Генерация кодов для вещественной арифметики в архитектуре MIPS | Аннотация похожие документы |
| Иван Сергеевич АРХИПОВ | ||
| "... This article is related to code generation for floating-point arithmetics in the MIPS architecture ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... During the software development developers often copy and paste fragments of code to achieve ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... that implement complex algorithms on the GPU using Vulkan. The proposed approach uses the technology of code ..." | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... The main task described in this article is automatic fixing defects in C/C++ code found ..." | ||
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян | ||
| "... This paper describes the developed platform for static analysis of binary code. The platform ..." | ||
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников | ||
| "... In many cases source code defects can be detected by analyzing the corresponding syntax trees ..." | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| "... and сonjoint code and data analysis. A key element for all of these tasks is a universal data format model ..." | ||
| Том 33, № 4 (2021) | Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки | Аннотация похожие документы |
| Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА | ||
| "... Low code development environments are gaining attention due to their potential as a development ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... in trust in the new programming code. The given paper is devoted to developing formal logical language ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... The goal of finding unreachable code is to report warnings about possible bugs in the source code ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... of automated testing framework suitable for acceptance testing of static source code analysis tools ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... на языке Си или Си++, их метрики и связи между ними. Сущностями программы являются файлы, функции ..." | ||
| Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской | ||
| "... be automatically mapped to source code changes. Automatically modifying the program’s source code, based ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... , позволяющем разработчику QEMU получить компилируемый набор файлов с исходным Си-кодом. Разработчик задаёт ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... . Usage of formal models has many benefits. Models contain enough information to generate source code in C ..." | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... # source code, that is based on static symbolic execution. The resulting detector is implemented as a part ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... The paper deals with detection of defects in a program code written in dynamic languages. At first ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... Due to huge amounts of code in modern software products, there is always a variety of subtle ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... allows to find defects and potential vulnerabilities in source code of programs written in C/C ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... This article describes the methods of code clones detection. New approach of code clones detection ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... through its address or it has been already freed. It is based on dynamic symbolic execution and code ..." | ||
| Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
| Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
| "... the protocol. This paper presents an algorithm for analyzing the source code of the C# programming language ..." | ||
| Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) похожие документы |
| Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
| "... Aggressive optimization in modern compilers may uncover vulnerabilities in program code that did ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... Querying source code helps developers to discover code fragments of interest and to determine ..." | ||
| 1 - 39 из 523 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
