Сортировать по:
| Выпуск | Название | |
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... The main task described in this article is automatic fixing defects in C/C++ code found ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... by an attacker. The interprocedural static analyzer Svace was used as a basis. The analyzer searches both ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... static analysis. This approach allows missing some of the defects. The goal is to find as many defects ..." | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... . Because of limited resources, bug fixing is time consuming and needs prioritization. It should ..." | ||
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской, С. В. Сыромятников | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| "... Svace is a static analysis tool for bug detection in C/C++/Java source code. To analyze a program ..." | ||
| Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
| "... from fixing commits, as analyzing their text can help identify the most common types of errors ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... Svace for C++, Java and Kotlin languages. ..." | ||
| Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The paper describes a static analyzer for finding defects in Scala programs. The proposed analysis ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... . The algorithms are implemented in the Svace tool that is developed by ISP RAS. The results are evaluated for open ..." | ||
| Том 36, № 2 (2024) | Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них | Аннотация похожие документы |
| Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| "... обсуждаем выявленные сильные ключевые слова и обобщенные сообщения об исправлениях, которые способны ..." | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... implementation of these techniques for automatic software defect detection. The paper focuses on program dynamic ..." | ||
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников | ||
| "... In many cases source code defects can be detected by analyzing the corresponding syntax trees ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... defects. We analyzed different approaches and tools that address this issue to discern common practices ..." | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| Том 25 (2013) | Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... such as generating a defect trace, i.e. description that specifies how expression got its incorrect types. ..." | ||
| Том 33, № 6 (2021) | Kotlin с точки зрения разработчика статического анализатора | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The paper describes a static analysis for finding defects and computing metrics for programs ..." | ||
| Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... for the developer to help fix the defect. Such information is: OS distribution version, package version, process ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... The paper deals with detection of defects in a program code written in dynamic languages. At first ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... reachability for defects found by static program analysis techniques through applying dynamic symbolic ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... defects, the use of which by an attacker or by a user may lead to a violation of the stability ..." | ||
| Том 36, № 6 (2024) | Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения | Аннотация похожие документы |
| Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА | ||
| "... Addressing software defects is an ongoing challenge in software development, and effectively ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... to improve its quality and for quick fixing of syntax errors in source code. This paper presents the method ..." | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| "... information about errors that occur in systems, defects and failures for subsequent changes. Then we consider ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
| Том 37, № 3 (2025) | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| "... The paper presents an approach to detecting memory and other resource leaks in the Svace static ..." | ||
| Том 35, № 4 (2023) | Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ | Аннотация PDF (Rus) похожие документы |
| Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ | ||
| "... Some modern approaches to detecting defects in printed circuit boards based on automatic optical ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... in the Svace tool. ..." | ||
| Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
| "... to errors, defects and failures are defined. The definition of reliability and safety of technical systems ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| "... software defects. For potentially exploitable bugs corresponding exploit generation algorithm is chosen ..." | ||
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| "... , as well as a list of newly discovered defects. ..." | ||
| Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, Н. Е. Малышев | ||
| "... to eliminate such defects in the course of program development is static analysis. Existing static analysis ..." | ||
| Том 36, № 3 (2024) | Статический анализ ассоциативных массивов в Go | Аннотация PDF (Rus) похожие документы |
| Даниил Николаевич СУББОТИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА | ||
| "... when extracting a key from a map. The work has been done within the Svace static analyzer. We begin ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... components of the Svace static analyzer developed at the Institute of System Programming of the Russian ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... for finding critical issues like security vulnerabilities, critical program defects leading to runtime errors ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... path and report the warning with this path. This approach was implemented for Svace static analyzer ..." | ||
| 1 - 39 из 92 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
