paper-with-me

홈 › Papers

STELP: Secure Transpilation and Execution of LLM-Generated Programs

2026-01-09 · Swapnil Shinde, Sahil Wadhwa, Andy Luo, Akshay Gupta, Mohammad Shahed Sorower arxiv

Rapid evolution of Large Language Models (LLMs) has achieved major advances in reasoning, planning, and function-calling capabilities. Multi-agentic collaborative frameworks using such LLMs place them at the center of solving software development-related tasks such as code generation. However, direct use of LLM generated code in production software development systems is problematic. The code could be unstable or erroneous and contain vulnerabilities such as data poisoning, malicious attacks, and hallucinations that could lead to widespread system malfunctions. This prohibits the adoption of LLM generated code in production AI systems where human code reviews and traditional secure testing tools are impractical or untrustworthy. In this paper, we discuss safety and reliability problems with the execution of LLM generated code and propose a Secure Transpiler and Executor of LLM-Generated Program (STELP), capable of executing LLM-generated code in a controlled and safe manner. STELP secures autonomous production AI systems involving code generation, filling the critical void left by the impracticality or limitations of traditional secure testing methodologies and human oversight. This includes applications such as headless code generation-execution and LLMs that produce executable code snippets as an action plan to be executed in real time. We contribute a human-validated dataset of insecure code snippets and benchmark our approach on publicly available datasets for correctness, safety, and latency. Our results demonstrate that our approach outperforms an existing method by a significant margin, particularly in its ability to safely execute risky code snippets. Warning: This paper contains malicious code snippets that should be run with caution.

📄 PDF Abstract BibTeX arXiv:2601.05467

Code (0)

등록된 구현이 없습니다.

Tasks

Code Generation

Similar Papers 제목 키워드 기반

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation

2025-04-21 · Melih Sirlanci, Carter Yagemann, Zhiqiang Lin

Despite the effort in vulnerability detection over the last two decades, memory safety vulnerabilities continue to be a critical problem. Recent reports suggest that the key solution is to migrate to memory-safe language…

Vulnerability Detection

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees

2025-06-17 · Ahmed Heakl, Sarim Hashmi, Chaimaa Abi, Celine Lee 외

The hardware ecosystem is rapidly evolving, with increasing interest in translating low-level programs across different instruction set architectures (ISAs) in a quick, flexible, and correct way to enhance the portabilit…

Code TranslationHumanEvalLanguage ModelingLanguage Modelling+2

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

2025-08-11 · Pedro Orvalho, Marta Kwiatkowska arxiv

Python has become the dominant language for general-purpose programming, yet it lacks robust tools for formal verification. In contrast, programmers working in languages such as C benefit from mature model checkers, for …

Fault Diagnosis

Guess & Sketch: Language Model Guided Transpilation

2023-09-25 · Celine Lee, Abdulrahman Mahmoud, Michal Kurek, Simone Campanoni 외

Maintaining legacy software requires many software and systems engineering hours. Assembly code programs, which demand low-level control over the computer machine state and have no variable names, are particularly diffic…

Language ModelingLanguage ModellingmodelTranslation

PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust

2025-05-07 · YiFei Gao, Chengpeng Wang, Pengxiang Huang, Xuwei Liu 외

There has been a growing interest in translating C code to Rust due to Rust's robust memory and thread safety guarantees. Tools such as C2RUST enable syntax-guided transpilation from C to semantically equivalent Rust cod…

C++ code