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

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

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

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

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

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

  • Золотарев Вячеслав Владимирович и др.
  • 2017 год

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Летичевский А. А. и др.
  • 2019 год

Показать ещё

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

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

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

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

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

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

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

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

  • Буйневич Михаил Викторович и др.
  • 2019 год
Метод поиска ошибок впрограммном коде набазе фаззинга "впамяти" Самарин Н. Н.2024 год

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

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

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

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

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

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

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

  • Швыров Вячеслав Владимирович и др.
  • 2024 год