1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Программное средствопоиска уязвимостей висходном коде сиспользованиемконечных автоматов Золотарев ВячеславВладимировичТестов Олег Викторович2017 год

Программное средство поиска уязвимостей в исходном коде с использованием конечных автоматов : регистрация программы для ЭВМ
патент

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Программное средство поиска уязвимостей в исходном коде с использованием конечных автоматов : регистрация программы для ЭВМ / В. В. Золотарев, О. В. Тестов ; патентообладатель Федеральное государственное бюджетное образовательное учреждение высшего образования «Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева» (СибГАУ). - № 2016663698 ; Заявл. 14.12.2016. - [Б. м. : б. и.], 2017. - Текст : непосредственный.
Аннотация: Программа предназначена для автоматизированной оценки наличия уязвимостей в программном коде. В программе реализовано формирование математической модели с использованием конечных автоматов для реализации возможности поиска логических ошибок в исходном коде в ходе детектирования уязвимостей. В качестве основного рабочего инструмента используется лексический анализ и грамматики. На вход поступает исходный код, производится детектирование уязвимостей с применением созданных ранее конечных автоматов. Программа может использоваться для анализа вредоносного кода, поиска уязвимостей и других задач.
Год издания: 2017
Авторы: Золотарев Вячеслав Владимирович, Тестов Олег Викторович
Авторский коллектив: Федеральное государственное бюджетное образовательное учреждение высшего образования «Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева» (СибГАУ)
Держатель оригинала документа: Федеральное государственное бюджетное образовательное учреждение высшего образования «Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева» (СибГАУ)
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Программное средствопоиска уязвимостей висходном коде методомсимвольногоисполнения Прохоров Антон ИгоревичЗолотарев ВячеславВладимирович2017 год

Программное средство поиска уязвимостей в исходном коде методом символьного исполнения : регистрация программы для ЭВМ

  • Прохоров Антон Игоревич и др.
  • 2017 год

Уязвимости в программном коде и борьба с ними

  • Ховард Майкл и др.
  • 2023 год
Программный комплексдляавтоматизированнойоценки сложностиисполняемого кода Шудрак Максим ОлеговичЗолотарев ВячеславВладимирович2015 год

Программный комплекс для автоматизированной оценки сложности исполняемого кода : регистрация программы для ЭВМ

  • Шудрак Максим Олегович и др.
  • 2015 год
Анализ изображений ипоиск ошибок втекстах исходногопрограммного кода Скуратова К. А.Шелепин Е. Ю.Малашин Р. О.2022 год

Анализ изображений и поиск ошибок в текстах исходного программного кода : статья из журнала

  • Скуратова К. А. и др.
  • 2022 год
Использование большихязыковых моделей дляклассификациинекоторых уязвимостейв программном коде Швыров Вячеслав ВладимировичКапустин Денис АлексеевичСентяй Роман Николаевич2024 год

Использование больших языковых моделей для классификации некоторых уязвимостей в программном коде : статья из журнала

  • Швыров Вячеслав Владимирович и др.
  • 2024 год
Антропоморфическийподход к описаниювзаимодействияуязвимостей впрограммном коде Буйневич Михаил ВикторовичИзраилов Константин Евгеньевич2019 год

Антропоморфический подход к описанию взаимодействия уязвимостей в программном коде : статья из журнала

  • Буйневич Михаил Викторович и др.
  • 2019 год
Сигнатурный поискуязвимостей вмашинном коде на базегенетическойдекомпиляции Буйневич Михаил ВикторовичИзраилов Константин Евгеньевич2025 год

Сигнатурный поиск уязвимостей в машинном коде на базе генетической декомпиляции : статья из журнала

  • Буйневич Михаил Викторович и др.
  • 2025 год
Антропоморфическийподход к описаниювзаимодействияуязвимостей впрограммном коде Буйневич Михаил ВикторовичИзраилов Константин Евгеньевич2019 год

Антропоморфический подход к описанию взаимодействия уязвимостей в программном коде : статья из журнала

  • Буйневич Михаил Викторович и др.
  • 2019 год

Показать ещё

Интеллектуальныйметод алгоритмизациимашинного кода винтересах поиска внем уязвимостей Буйневич Михаил ВикторовичИзраилов Константин ЕвгеньевичПокусов Виктор Владимирович2020 год

Интеллектуальный метод алгоритмизации машинного кода в интересах поиска в нем уязвимостей : статья из журнала

  • Буйневич Михаил Викторович и др.
  • 2020 год
Комплексныйстатический анализисходного кода дляпоиска ошибок Игнатьев В. Н.2025 год

Комплексный статический анализ исходного кода для поиска ошибок : статья из журнала

  • Игнатьев В. Н.
  • 2025 год
МОДЕЛЬ, АЛГОРИТМЫ ИПРОГРАММНЫЙ КОМПЛЕКСАВТОМАТИЗИРОВАННОГОПОИСКА УЯЗВИМОСТЕЙ ВИСПОЛНЯЕМОМ КОДЕ Шудрак Максим ОлеговичЗолотарев ВячеславВладимирович2015 год

МОДЕЛЬ, АЛГОРИТМЫ И ПРОГРАММНЫЙ КОМПЛЕКС АВТОМАТИЗИРОВАННОГО ПОИСКА УЯЗВИМОСТЕЙ В ИСПОЛНЯЕМОМ КОДЕ : научное издание

  • Шудрак Максим Олегович и др.
  • 2015 год
Библиотека защитыпрограммного кода(libzpk) Лубкин Иван Александрович2021 год

Библиотека защиты программного кода (libzpk) : регистрация программы для ЭВМ

  • Лубкин Иван Александрович
  • 2021 год
Алгебраический подходк формализацииуязвимостей вбинарном коде Летичевский А. А.Гринюк Я. В.Яковлев В. М.2019 год

Алгебраический подход к формализации уязвимостей в бинарном коде : статья из журнала

  • Летичевский А. А. и др.
  • 2019 год
Анализ наборов данныхи больших языковыхмоделей дляобнаруженияуязвимостей впрограммном коде наимперативных… Швыров Вячеслав ВладимировичКапустин Д. А.Сентяй Р. Н2024 год

Анализ наборов данных и больших языковых моделей для обнаружения уязвимостей в программном коде… : статья из журнала

  • Швыров Вячеслав Владимирович и др.
  • 2024 год
Метод поиска клоновпрограммного кода вбинарных исполняемыхфайлах Завадский Е. В.Булат А. В.2024 год

Метод поиска клонов программного кода в бинарных исполняемых файлах : статья из журнала

  • Завадский Е. В. и др.
  • 2024 год
Метод определенияуязвимостейпрограммного кода наоснове кластерногоанализа и контекстнойадаптации больших… Бакеев Руслан НадировичКузьмин Владимир НикифоровичМенисов Артем Бакытжанович2025 год

Метод определения уязвимостей программного кода на основе кластерного анализа и контекстной… : статья из журнала

  • Бакеев Руслан Надирович и др.
  • 2025 год