Сортировать по:
| Выпуск | Название | |
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... анализ помеченных данных. Он может быть реализован на основе статического анализа и успешно обнаруживать ..." | ||
| Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
| "... В данной работе рассматривается задача анализа помеченных данных. Для её решения предлагается ..." | ||
| Том 38, № 1: январь-февраль | Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных | Аннотация PDF (Rus) похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... методов статического анализа. Однако методы на основе анализа помеченных данных имеют ряд преимуществ ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... уязвимостей безопасности с использованием межпроцедурного статического анализа помеченных данных. Цель данного ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В статье рассматривается поиск ошибок помеченных данных в исходном коде программ, т.е. ошибок ..." | ||
| Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... Статический анализ помеченных данных может использоваться для обнаружения различных потенциальных ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Подход к анализу помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Иван Cергеевич ЧЕРЕМИСЕНОВ, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ, Михаил Вадимович ВЕЛИКАНОВ | ||
| "... подобного рода можно свести к задаче анализа помеченных данных. В нашей работе мы обсуждаем необходимые ..." | ||
| 1 - 7 из 7 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)





