Ruijie Zhang, Huaxiao Yin, Li Hu, Fanqi Kong, Haozhe Liang, Shaoyin Cheng, Kun Zhang, Bibo Tu · 2026 · arXiv
DOI: 10.48550/arXiv.2610.29456 · open-access PDF
Policy-as-Code (PaC)는 클라우드 네이티브 시스템의 기초 패러다임으로 나타났습니다. 그러나, Rego 정책을 수리하는 것은 엄격한 구문, 선언 세마닉 및 특정 검증 요구 사항으로 인해 여전히 도전적입니다. 기존의 자동 프로그램 수리 (APR) 방법은 주류 언어를 위해 주로 설계되었으며 Rego의 독특한 정책 논리와 수리 작업 흐름을 수용하기 위해 노력합니다. 따라서, Rego 정책 수리은 시도 및 오류에 의해 구동되는 수동 프로세스입니다. 이를 해결하기 위해, 우리는 1,159 개의 실세계 결함을 포함하는 최초의 자동 Rego 정책 벤치마크인 RegoBench를 소개합니다.
Machine translation (Meta M2M100); the English original follows.
Policy-as-Code (PaC) has emerged as a foundational paradigm in cloud-native systems. However, repairing Rego policies remains challenging due to their strict syntax, declarative semantics, and specific verification requirements. Existing automated program repair (APR) methods are mainly designed for mainstream languages and struggle to accommodate the unique policy logic and repair workflows of Rego. Thus, Rego policy repair remains a manual process driven by trial and error. To address this, we introduce RegoBench, the first automated Rego policy benchmark comprising 1,159 real-world defects,
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.29456, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange