CRAISEJan 13, 2024

Code Security Vulnerability Repair Using Reinforcement Learning with Large Language Models

arXiv:2401.07031v218 citationsh-index: 17
Originality Incremental advance
AI Analysis

This addresses code security vulnerabilities for developers using LLMs, representing an incremental improvement over supervised fine-tuning methods.

The paper tackles the problem of LLM-generated code lacking security measures by proposing a reinforcement learning method with semantic and syntactic rewards, resulting in improved security hardening without specifying concrete numbers.

With the recent advancement of Large Language Models (LLMs), generating functionally correct code has become less complicated for a wide array of developers. While using LLMs has sped up the functional development process, it poses a heavy risk to code security. Code generation with proper security measures using LLM is a significantly more challenging task than functional code generation. Security measures may include adding a pair of lines of code with the original code, consisting of null pointer checking or prepared statements for SQL injection prevention. Currently, available code repair LLMs generate code repair by supervised fine-tuning, where the model looks at cross-entropy loss. However, the original and repaired codes are mostly similar in functionality and syntactically, except for a few (1-2) lines, which act as security measures. This imbalance between the lines needed for security measures and the functional code enforces the supervised fine-tuned model to prioritize generating functional code without adding proper security measures, which also benefits the model by resulting in minimal loss. Therefore, in this work, for security hardening and strengthening of generated code from LLMs, we propose a reinforcement learning-based method for program-specific repair with the combination of semantic and syntactic reward mechanisms that focus heavily on adding security and functional measures in the code, respectively.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes