Sonar收购AI代码审查初创公司Gitar,强化代码质量治理
代码质量与安全领域的重要企业SonarSource宣布收购专注于AI原生代码审查的初创公司Gitar。此次收购旨在将Gitar的高级推理能力整合进SonarQube验证引擎,为日益依赖AI编码工具的DevOps团队提供更...
代码质量与安全领域的重要企业SonarSource宣布收购专注于AI原生代码审查的初创公司Gitar。此次收购旨在将Gitar的高级推理能力整合进SonarQube验证引擎,为日益依赖AI编码工具的DevOps团队提供更...
AI编程正在重塑软件开发角色,但传统代码行数已不再是衡量开发效率的有效指标。AI软件交付平台Harness对美英印法德五国700名开发者的调查显示,89%的受访者认为生产力指标有所提升,但81%表示花在审查AI生成代码上...
GitHub发布Stacked PRs新功能,旨在解决AI辅助编程带来的代码审查压力。该功能通过gh-stack扩展将大型代码变更拆分为多个小型、有序的拉取请求,自动处理分支变基,减少合并冲突。分析人士认为,此举将显著提...
GitHub正式预览"堆叠PR"(Stacked PRs)新功能,旨在解决大型拉取请求难以审查的痛点。该功能允许多个PR形成堆叠结构,每个PR可独立审查和合并,也可整体合并。其核心优势在于鼓励开发者提交更小、更聚焦的代码...
Linux内核维护者正式发布首个AI辅助代码贡献政策。核心规定包括:AI不得添加Signed-off-by标签,仅人类可认证开发者原创证书;所有AI辅助贡献须附加"Assisted-by"标签,注明所用模型与工具;人类提...
Meta研究人员开发了结构化提示技术,使大语言模型能够在不执行代码的情况下验证代码补丁,测试准确率高达93%。该半形式化推理方法引入结构化逻辑证书,要求模型明确陈述假设并跟踪执行路径。在补丁等价性验证、故障定位和代码问答...
随着AI编程工具每月生成数十亿行代码,确保软件按预期运行成为新瓶颈。专注AI代码审查、测试和治理的初创公司Qodo完成7000万美元B轮融资,总融资额达1.2亿美元。该公司旨在通过改善对AI生成代码的信任度来服务企业客户...
Linux内核长期维护者Greg Kroah-Hartman透露,过去一个月AI驱动的Linux安全和代码审查活动出现重大转变。此前AI生成的安全报告多为低质量"垃圾",但现在突然变成了真实有效的报告。这一变化影响了所有...
谷歌Linux内核工程师Roman Gushchin发布了名为Sashiko的AI代码审查系统,该工具用Rust编写,专门用于发现漏洞和筛选代码。测试显示,Sashiko能发现53%基于近期上游问题的漏洞,这些问题此前都...
Anthropic发布了Code Review服务,专为团队和企业客户设计,使用多个专业AI代理深度审查代码库,检测逻辑错误、安全漏洞和细微回归问题。该服务按token使用量计费,平均每次拉取请求花费15-25美元,审查...
随着AI编程工具的兴起,开发者能够快速生成大量代码,但也带来了新的漏洞和安全风险。Anthropic周一在Claude Code中推出Code Review工具,专门用于在代码合并前发现逻辑错误。该工具采用多智能体并行架...
GitHub正探索允许维护者删除拉取请求或关闭接收功能,以应对大量低质量AI生成代码带来的挑战。产品经理表示,维护者正花费大量时间审查不符合项目标准的贡献。提议包括可配置的拉取请求权限、直接删除垃圾PR的功能,以及使用A...
GitHub正面临AI生成低质量代码提交的问题。产品经理Camilla Moraes启动社区讨论,指出维护者花费大量时间审查不符合质量标准的贡献,许多是AI生成且被废弃的。GitHub正考虑多个解决方案,包括让维护者禁用...
AI编程助手Cursor背后的公司Anysphere宣布收购AI代码审查工具初创公司Graphite。据报道收购价远超Graphite今年早些时候B轮融资时2.9亿美元的估值。此次收购具有战略意义,将AI代码生成与AI代...