跳到正文
返回论文列表
cs.SE提交于 已译

CIVER: 用于可靠代码审查的因果干预验证

CIVER: Causal Intervention Verification for Reliable Code Review

Xinyuan Song · Hasibul Haque · Jay Somasundaram · Ryan Turner · Bowen Zhu · Liang Zhao

中文摘要

代码审查对识别缺陷、提升质量及支持软件演进至关重要。随着基于大语言模型(LLM)的编码代理普及,LLM 审查代理虽被广泛用于评估代码贡献,但常生成包含大量误报或证据不足问题的冗长审查,误导开发者。CIVER 提出一种基于因果干预的框架,旨在区分真实缺陷与误报。该框架集成三个模块:审查模块评估发现,干预模块生成修复导向的扰动,验证模块对审查可靠性打分。通过专家迭代进行联合优化,模块在响应针对性修复时识别真实缺陷,并在无关变更下保持稳定。在 SWE-Review-Bench 上的实验表明,CIVER 通过针对性修复正确识别了 77% 的真实缺陷。跨项目及下游修复评估进一步证明,CIVER 能跨仓库泛化并提升编码代理的任务成功率,验证了其在可靠自动化代码审查中的有效性。

关键要点

  1. 01LLM 代码审查常产生大量误报或证据不足的问题,误导开发者及下游编码代理。
  2. 02提出 CIVER 框架,集成审查、干预与验证模块,通过因果干预区分真实缺陷与误报。
  3. 03利用专家迭代进行联合优化,使模型在响应针对性修复时识别缺陷,对无关变更保持稳定。
  4. 04在 SWE-Review-Bench 上正确识别 77% 的真实缺陷,并提升下游编码代理的任务成功率。

解读

尚无解读。

原始英文摘要

arXiv:2610.36010v1 Announce Type: cross Abstract: Code review is essential for maintaining software repositories by identifying defects, improving code quality, and supporting reliable software evolution. With the growing adoption of LLM-based coding agents, an increasing number of code contributions and repository changes are generated by these agents. Consequently, LLM-based code review agents are becoming increasingly prevalent to evaluate these contributions and maintain software quality. However, LLM reviewers often generate lengthy reviews containing numerous potential issues, many of which are false positives or lack sufficient evidence. These unreliable reviews can mislead developers and downstream coding agents, motivating the need to distinguish actionable findings from unsupported claims. We propose CIVER, a causal intervention-based framework that identifies the core issues underlying code-review findings and distinguishes genuine defects from false positives. CIVER integrates three modules: a review module assesses findings, an intervention module generates repair-oriented perturbations, and a verifier module scores review reliability. Through joint optimization via expert iteration, the three modules identify genuine defects by responding to targeted repairs while remaining stable under unrelated changes. Extensive experiments on SWE-Review-Bench demonstrate that CIVER correctly identifies 77% of genuine defects through targeted repairs. Cross-project and downstream repair evaluations further demonstrate that CIVER generalizes across repositories and improves coding agents' task success rates, highlighting its effectiveness for reliable automated code review.

同方向论文 · cs.SE

查看全部 →

反向发现 · 这篇论文相关的工具与提示词

去交叉发现 →

关联提示词 · 6

编程tech.qimao.com·外部收录·

按规范检查 Go 代码改动,分析问题与服务影响并生成 Code Review 报告

``` # Code Review 规范 你是 golang 编程的专家,现在对代码进行 Code Review,请按照以下步骤进行: (若遇到 git 命令分页的情况,请加上`| cat`) ## 步骤一:代码规范检查 - [ ] 是否遵循最佳实践 @.cursor/rules/rule-code-spec.mdc - [ ] 是否存在重复代码 - [ ] 是否有充分的注释和文档 - [ ] 是否易于理解和维护 ## 步骤二:功能问题分析 - [ ] 分析本次代码改动的影响…

编程zhuanlan.zhihu.com·外部收录·

用于指导 Claude Code 按阶段规划、测试驱动实现、重构并提交代码。

### 1. 规划与分阶段 将复杂的工作分解为 3-5 个阶段。在 `IMPLEMENTATION_PLAN.md` 中记录: ```text ## 阶段 N: [Name] **目标**: [具体可交付成果] **成功标准**: [可测试的结果] **测试**: [具体的测试用例] **状态**: [未开始|进行中|已完成] ``` * 随着进展更新状态 * 所有阶段完成后删除文件 ### 2. 实现流程 1. **理解** - 研究代码库中的现有模式 2. **测试**…

编程github.com/f/awesome-chatgpt-prompts·外部收录·

Vibe Coding with Commands and Skills

Act as a Vibe Coding Expert with built-in /commands and skills. You are proficient in leveraging AI models for coding and UX/UI design tasks, using a variety of tools and frameworks to streamline the development process. Your task is to: -…

编程github.com/f/awesome-chatgpt-prompts·外部收录·

Code Review Specialist 3

Act as a Code Review Specialist. You are an experienced software developer with a keen eye for detail and a deep understanding of coding standards and best practices. Your task is to review the code provided by the user. You will: - Analyz…

编程github.com/f/awesome-chatgpt-prompts·外部收录·

Dead Code Surgeon - Phased Codebase Audit & Cleanup Roadmap

You are a senior software architect specializing in codebase health and technical debt elimination. Your task is to conduct a surgical dead-code audit — not just detect, but triage and prescribe. ──────────────────────────────────────── PH…