VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog

#### Контекст Правильное и прозрачное обнаружение проблем в проектах программных и аппаратных систем является ключевым фактором для их успешного развития. Одним из важнейших аспектов является обнаружение программных и технических недочетов во время раннего этапа разработки. Это позволяет существенно снизить затраты на их устранение. Одна из областей, где такая проблема стоит перед разработчиками, является обнаружение проблем в проектах верилог-кода (Verilog), используемых в микросхемах и интегральных схемах. Несмотря на развитие методов и средств проверки кода, необходимость профессионального знания и опыта является барьером для эффективного использования этих методов. Большинство существующих средств имеют ограниченную удобность использования, что приводит к повышению затрат на тренировку специалистов и работы с этими инструментами. #### Метод Мы предлагаем VerilogLAVD — первую систему, основанную на графе, для генерации правил для обнаружения проблем в коде Verilog. Наше решение основывается на создании универсального представления кода Verilog — Verilog Property Graph (VeriPG). Оно объединяет синтаксические данные из абстрактного синтаксического дерева (AST) и семантические данные из диаграммы управления потоком и зависимостей данных. Мы используем генеративные модели языка (LLM) для генерирования правил диагностики на основе описаний Common Weakness Enumeration (CWE). Эти правила используются в системе для поиска проблем в коде Verilog с помощью графовой методики. #### Результаты Мы проводили эксперименты с нашим подходом на выборке данных, состоящей из 77 проектов Verilog, покрывающих 12 типов проблем в рамках Common Weakness Enumeration. Наши результаты показали, что VerilogLAVD достигает F1-меры в 0.54. Этого значения значительно превышает результаты основных альтернативных моделей: LLM-only (F1-мера 0.23) и LLM с внешним знанием (F1-мера 0.27). Эти результаты указывают на преимущества нашего подхода в сравнении с другими методами и системами. #### Значимость VerilogLAVD предлагает новый подход к раннему обнаружению проблем в проектах Verilog, который может существенно упростить работу системы и уменьшить затраты на поиск ошибок. Мы видим применение этой системы в различных сферах разработки программного и аппаратного обеспечения, где необходима эффективная диагностика в ранних стадиях. Наш подход может повысить качество программного обеспечения и упростить процесс разработки, что может привести к выигрышу в времени и ресурсах. #### Выводы Наши результаты показывают, что VerilogLAVD является эффективным инструментом для обнаружения проблем в коде Verilog. Мы планируем продолжать рабо