Сортировать по:
| Выпуск | Название | |
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... components of the Svace static analyzer developed at the Institute of System Programming of the Russian ..." | ||
| Том 37, № 3 (2025) | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| "... analyzer. We lay down a set of static analysis requirements that show the philosophy behind Svace, briefly ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... . All described algorithms have been implemented in a static analysis tool Svace. ..." | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... by a static analyzer on big software projects. We describe how we solved this task for Svace static analyzer ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... by an attacker. The interprocedural static analyzer Svace was used as a basis. The analyzer searches both ..." | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| "... Svace is a static analysis tool for bug detection in C/C++/Java source code. To analyze a program ..." | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... for inter-procedural static analyzer Svace. In contrast to the analysis of other languages supported ..." | ||
| Том 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 ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... for unreachable code detection were described. А general scheme of static analysis that takes exception related ..." | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... . In this paper, we analyze the models which might be used by the static analyzer to provide its services based ..." | ||
| Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... SharpChecker is an industrial level static analyzer, which is aimed at detection of various bugs ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... The goal of finding unreachable code is to report warnings about possible bugs in the source code ..." | ||
| Том 33, № 6 (2021) | Kotlin с точки зрения разработчика статического анализатора | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... written in the Kotlin language. The analysis is implemented in the Svace static analyzer developed at ISP ..." | ||
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... into SharpChecker, enabling static code analysis for VB.NET projects. The process involved building support for VB ..." | ||
| Том 37, № 2 (2025) | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... analyzers. TSAR includes three main components: a static analyzer assessment system, a test generator based ..." | ||
| Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The paper describes a unified representation for an abstract syntax tree (AST) suitable for static ..." | ||
| Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, Н. Е. Малышев | ||
| "... of the Infer static analyzer. The basic Svace version (without string support) is on par with Infer except ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... Writing static analyzers is hard due to many equivalent transformations between program source ..." | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| "... A program representation plays an important role in static analysis of software. The article ..." | ||
| Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... for C/C++ with several other analyzers, such as Infer, Clang Static Analyzer and Svace. Irbis manages ..." | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина | ||
| "... . This approach was implemented for Svace static analyzer as the new buffer overflow detector, and it has shown 64 ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... of defects that a static analyzer is expected to uncover. Both sources are essential to understand the design ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... A static analysis tool Svace finding vulnerabilities and critical errors in the source code of C/C ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... . The presented framework is used for continuous testing of static source code analyzers for C, C++ and Python ..." | ||
| Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
| А. В. Дергачёв, А. В. Сидорин | ||
| "... in detail. A particular implementation of the approach, based on Clang Static Analyzer, is described ..." | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) похожие документы |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... and medical. We have developed static checkers to check code for compliance with MISRA C 2012 secure coding ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... The paper describes an extension to summary based static program analysis to find deadlock errors ..." | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... within the existing static analyzer infrastructure to find errors in C# programs, and compare ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... This paper describes the static analysis tool for finding program entities, their metrics ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... path and report the warning with this path. This approach was implemented for Svace static analyzer ..." | ||
| Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин | ||
| "... of static analysis Svace developed in Institute for System Programming of the Russian Academy of Sciences ..." | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... from analysis (for example, code being unpacked or decrypted at runtime), static analysis may not yield ..." | ||
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян | ||
| "... This paper describes the developed platform for static analysis of binary code. The platform ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... , overview of static analyzers for programs in Python, Ruby and JavaScript is done. After this, the paper ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... Due to huge amounts of code in modern software products, there is always a variety of subtle ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... as well as source code. Ten of thousands of variable statements and options even by the standards ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... Source code static analysis is widely used for program errors detection. Mostly it is used ..." | ||
| 1 - 39 из 366 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
