Наука
Ключевые слова
HDL-описание1Java1Kotlin1RTL-модель1SystemVerilog1Visual Basic .NET1автоматизация фаззинг-тестирования1анализ безопасности1анализ бинарного кода2анализ потоков данных1анализ программ1анализатор Svace1анализатор SVAN1безопасность кода1большие языковые модели1большие языковые модели LLM1виртуальная машина Java1восстановление алгоритма1генерация кода2гибридный фаззинг3динамическая символьная интерпретация2динамический анализ3динамический анализ кода1дифференциальный фаззинг1ДСИ1инструментация1информационная безопасность1классификация1компиляторная инфраструктура LLVM1машинное обучение1метрики исходного кода1направленный фаззинг1настройка моделей1непрерывный фаззинг1обзор литературы1обнаружение ошибок1обратная связь от анализаторов1открытый тестовый набор1поиск ошибок2построение слайса1предупреждения1РБПО1символьное выполнение1символьное исполнение1сортировка аварийных завершений1статический анализ6статический анализ кода1тестирование файловых систем1уязвимости1фаззинг2фаззинг серого ящика1файловые системы1функциональная верификация1цикл разработки безопасного кода1язык программирования Golang1языки описания аппаратуры Verilog1языки программирования C/C++1