PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
April 29, 20260 citationsOpen Access

AutoBaxBuilder: Bootstrapping Code Security Benchmarking

View Full Paper
TATobias Von ArxNMNiels MündlerMVMark Vero

Key Points

  • The goal is to develop a framework that automates the generation of security benchmarks for code produced by LLMs.
  • Developed AutoBaxBuilder to generate tasks and tests for code security benchmarking.
  • Implemented a pipeline with plausibility checks to assess LLM-generated code.
  • Conducted qualitative analysis and quantitative experiments comparing AutoBaxBuilder's tasks to those created by humans.
  • Successfully generated a new task in under 2 hours at a cost of less than USD 10.
  • Identified security vulnerabilities in LLM-generated code through extensive testing.

Abstract

As LLMs see wide adoption in software engineering, the reliable assessment of the correctness and security of LLM-generated code is crucial. Notably, prior work has demonstrated that security is often overlooked, exposing that LLMs are prone to generating code with security vulnerabilities. These insights were enabled by specialized benchmarks, crafted through significant manual effort by security experts. However, relying on manually-crafted benchmarks is insufficient in the long term, because benchmarks (i) naturally end up contaminating training data, (ii) must extend to new tasks to provide a more complete picture, and (iii) must increase in difficulty to challenge more capable LLMs. In this work, we address these challenges and present AutoBaxBuilder, a framework that generates tasks and tests for code security benchmarking from scratch. We introduce a robust pipeline with fine-grained plausibility checks, leveraging the code understanding capabilities of LLMs to construct functionality tests and end-to-end security-probing exploits. To confirm the quality of the generated benchmark, we conduct both a qualitative analysis and perform quantitative experiments, comparing it against tasks constructed by human experts. We use AutoBaxBuilder to construct entirely new tasks and release them to the public as AutoBaxBench, together with a thorough evaluation of the security capabilities of LLMs on these tasks. We find that a new task can be generated in under 2 hours, costing less than USD 10.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Arx et al. (2025) studied this question.

synapsesocial.com/papers/69f1547f879cb923c4944addhttps://doi.org/10.3929/ethz-c-000794951
Ask AI
Helpful
Bookmark
Share
View Full Paper