Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 диссертация)