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
Política-como-Código (PaC) surgiu como um paradigma fundamental em sistemas nativos da nuvem. No entanto, a reparação de políticas Rego permanece desafiadora devido à sua sintaxe rigorosa, semântica declarativa e requisitos específicos de verificação. Os métodos de reparação de programas automatizados (APR) existentes são projetados principalmente para línguas mainstream e lutam para acomodar a lógica de política única e fluxos de trabalho de reparação do Rego. Assim, a reparação de políticas Rego continua a ser um processo manual impulsionado por tentativa e erro. Para abordar isso, apresentamos o RegoBench, o primeiro benchmark de política automatizado do Rego que inclui 1.159 defeitos do mundo real,
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