当前位置: 首页 > article >正文

Sashiko:AI代码审查系统助力Linux内核发现人类遗漏的漏洞

AI正以代码审查系统的形式进入Linux内核领域而非代码提交。Google的Linux内核工程师Roman Gushchin在LinkedIn上宣布了Sashiko这是一个用Rust编写的工具专门用于发现漏洞和筛查代码。Gushchin表示根据我的测量基于1000个带有Fixes:标签的最新上游问题的完全未过滤集合Sashiko能够发现53%的漏洞使用Gemini 3.1 Pro。有些人可能认为53%并不那么令人印象深刻但这些问题100%都被人类审查员遗漏了。虽然在开源社区中使用AI进行代码提交存在争议但像Sashiko这样的工具可以在一定程度上减轻维护人员处理大量代码审查的负担。Sashiko通过从邮件列表中获取补丁来工作。它分析这些补丁然后向维护人员和开发人员提供反馈。据其作者称审查质量很高...误报率较难测量但基于有限的人工审查误报率控制在20%范围内其中大部分属于灰色地带。作者们对隐私和代码共享方面非常坦诚。Sashiko会将数据和代码发送给配置的大语言模型提供商。它已经在Gemini Pro 3.1上进行了最多测试但也应该能与Claude和其他大语言模型配合工作。然而运行它需要成本。对于Linux内核邮件列表Google正在承担费用。Gushchin说我们已经在Google内部使用它一段时间了它帮助发现了大量真实问题。Sashiko属于Linux基金会看起来是一个有用的工具——这是智能体AI的一个应用相比代码提交可能引起更少的担忧。QAQ1Sashiko是什么它有什么作用ASashiko是Google Linux内核工程师开发的AI代码审查系统用Rust编写专门用于发现Linux内核代码中的漏洞和进行代码筛查。它能够发现人类审查员遗漏的53%的漏洞。Q2Sashiko如何工作准确率如何ASashiko通过从邮件列表中获取代码补丁使用大语言模型进行分析然后向维护人员和开发人员提供反馈。误报率控制在20%范围内审查质量较高。Q3使用Sashiko需要什么成本谁在承担费用A运行Sashiko需要将数据发送给大语言模型提供商会产生相应费用。目前针对Linux内核邮件列表的使用费用由Google承担。该系统主要在Gemini Pro 3.1上测试也支持Claude等其他大语言模型。

相关文章:

Sashiko:AI代码审查系统助力Linux内核发现人类遗漏的漏洞

AI正以代码审查系统的形式进入Linux内核领域,而非代码提交。Google的Linux内核工程师Roman Gushchin在LinkedIn上宣布了Sashiko,这是一个用Rust编写的工具,专门用于发现漏洞和筛查代码。Gushchin表示:"根据我的测量&#xff…...

Quartus II时序仿真全攻略:从功能验证到实际延迟分析的技巧解析

Quartus II时序仿真全攻略:从功能验证到实际延迟分析的技巧解析 在数字电路设计领域,仿真验证是确保设计正确性的关键环节。许多初学者在使用Quartus II进行FPGA开发时,往往只关注功能仿真而忽略了时序仿真的重要性,导致实际硬件运…...

【Isaac Lab高级编程与架构设计】第三章 高级应用与Sim-to-Real:从仿真到物理世界

目录 3.1 域随机化与视觉增强 3.1.1 物理域随机化 3.1.2 视觉感知域随机化 3.2 大规模分布式训练架构 3.2.1 Population-Based Training (PBT)优化 3.2.2 集群级训练部署 3.3 仿真到现实迁移与基础模型 3.3.1 系统辨识与策略验证 3.3.2 通用人形机器人基础模型 完整可…...

PP-DocLayoutV3镜像免配置:开箱即用WebUI,省去CUDA/OpenMMLab环境配置

PP-DocLayoutV3镜像免配置:开箱即用WebUI,省去CUDA/OpenMMLab环境配置 1. 告别复杂配置:新一代文档布局分析体验 还在为CUDA驱动版本不匹配而头疼吗?还在为OpenMMLab环境依赖冲突而烦恼吗?PP-DocLayoutV3镜像带来了全…...

M2FP镜像深度体验:CPU优化版,稳定运行无报错

M2FP镜像深度体验:CPU优化版,稳定运行无报错 你是否曾为本地部署一个AI模型而焦头烂额?尤其是在没有独立显卡的电脑上,面对复杂的依赖冲突和版本不兼容问题,一个简单的“pip install”都可能变成一场灾难。最近&#…...

Flink消费Kafka数据时,如何避免重复消费?从offset配置到实战避坑

Flink消费Kafka数据时如何实现精准去重?从Offset管理到端到端一致性实战解析 在实时数据处理领域,数据重复消费问题就像房间里的大象——人人都知道存在,却常常选择视而不见。直到某天对账系统发出警报,或是下游报表出现诡异的数据…...

Windows/Mac双平台实测:SSH密钥配置避坑指南(含GitHub443端口解决方案)

Windows/Mac双平台SSH密钥配置全攻略:从生成到故障排除 SSH密钥认证是开发者与GitHub、GitLab等代码托管平台交互的安全基石。不同于密码认证的繁琐与安全隐患,密钥认证提供了更高效、更安全的身份验证方式。本文将深入探讨Windows和Mac双平台下的SSH密钥…...

OpenClaw语音交互方案:GLM-4.7-Flash对接Whisper实现语音指令

OpenClaw语音交互方案:GLM-4.7-Flash对接Whisper实现语音指令 1. 为什么需要语音交互? 作为一个长期在命令行和代码编辑器之间切换的开发者,我始终觉得键盘输入存在天然的限制。去年为一个视障朋友调试智能家居时,更让我意识到图…...

基于时间标定的卷帘门开度控制开源库Shutters

1. 项目概述Shutters 是一个面向嵌入式硬件工程师的轻量级开源控制库,专为改造传统非智能卷帘门(roller-shutters)而设计。其核心工程目标明确:在不更换原有机械执行机构的前提下,仅通过时间维度精确实现开度百分比控制…...

IDEA插件Maven Helper保姆级教程:一键解决SpringBoot3项目依赖冲突与版本管理

IDEA插件Maven Helper实战指南:SpringBoot3依赖冲突排查与版本管理精要 当你正在开发一个SpringBoot3项目时,突然遇到NoSuchMethodError或ClassNotFoundException这类运行时错误,而编译阶段一切正常——这往往意味着你正面临Maven依赖冲突的经…...

Nanbeige 4.1-3B应用场景:AI内容共创平台前端——游戏化交互提升用户停留时长

Nanbeige 4.1-3B应用场景:AI内容共创平台前端——游戏化交互提升用户停留时长 1. 项目背景与设计理念 在当今AI对话系统普遍采用极简设计的背景下,我们为Nanbeige 4.1-3B大语言模型开发了一套独特的"像素冒险"风格前端界面。这套设计源于以下…...

3种高效Android模糊效果实现方案:从基础到高级应用指南

3种高效Android模糊效果实现方案:从基础到高级应用指南 【免费下载链接】BlurView Android blur view 项目地址: https://gitcode.com/gh_mirrors/blu/BlurView 在Android应用开发中,模糊效果(毛玻璃效果)是提升UI质感的重…...

YDB-100A传动轴专用平衡机

YDB-100A传动轴专用平衡机一、用途特点:该系列为硬支承卧式动平衡机,采用滚轮支承,圈带拖动,普通型为双速电机驱动,“A"型为变频电机加变频器调速,由工业控制计算机进行数据处理,彩色屏幕实…...

人工智能应用- 预测新冠病毒传染性:04. 中国:强力措施遏制疫情

麻省理工学院(MIT)的研究团队使用机器学习模型对中国武汉疫情展开分析。他们发现,如果不采取严格封控措施,感染人数可能会呈指数级增长。图 : AI 模型预测vs 实际疫情。曲线代表如果不做控制时的预测结果,散点代表实际…...

MedGemma-X入门必看:MedGemma-X与LLaVA-Med、RadFM等竞品能力对比

MedGemma-X入门必看:MedGemma-X与LLaVA-Med、RadFM等竞品能力对比 1. 智能影像诊断的新选择 当你面对一张胸部X光片,需要快速准确地找出问题所在时,传统的方式是什么?可能是反复比对、经验判断,或者依赖那些操作复杂…...

超声波氧传感器:精准守护每一次呼吸的科技先锋

在医疗设备的高精度监测领域,在工业生产的气体分析环节,在环境监测的严苛场景中,超声波氧传感器正以独特的科技魅力,成为保障安全、提升效率、守护健康的核心力量。作为非接触式气体检测的革命性技术,它以“声速”为尺…...

Qwen2.5-Coder-1.5B实战体验:如何用它提升日常编码效率?

Qwen2.5-Coder-1.5B实战体验:如何用它提升日常编码效率? 1. 为什么选择Qwen2.5-Coder-1.5B? 在众多代码生成模型中,Qwen2.5-Coder-1.5B以其独特的优势脱颖而出。这个1.5B参数的模型专为代码任务优化,在保持轻量级的同…...

5分钟搞定YOLOv11模型部署到微信小程序(附完整前后端代码)

5分钟极速部署YOLOv11模型到微信小程序的实战指南 当目标检测遇上微信小程序,会碰撞出怎样的火花?YOLOv11作为当前最前沿的实时目标检测模型,与微信小程序的轻量化特性结合,能够为移动端用户提供即开即用的智能视觉服务。本文将带…...

解决AI绘画痛点:造相-Z-Image针对RTX 4090的BF16优化与防爆技巧

解决AI绘画痛点:造相-Z-Image针对RTX 4090的BF16优化与防爆技巧 1. RTX 4090上的AI绘画挑战与解决方案 1.1 高端显卡的隐藏痛点 RTX 4090作为消费级显卡的旗舰产品,拥有24GB显存和强大的计算能力,理论上应该能轻松应对各种AI绘画任务。但在…...

深入解析libpng的iCCP警告:sRGB profile问题的根源与高效修复方案

1. 为什么你的PNG图片会弹出iCCP警告? 最近在用OpenCV处理PNG图片时,你是不是也遇到过这个烦人的警告?"libpng warning: iCCP: known incorrect sRGB profile"。这个警告虽然不会导致程序崩溃,但每次运行都跳出来确实让…...

Leather Dress Collection实战案例:用Leather_Floral_Cheongsam生成国潮品牌主视觉

Leather Dress Collection实战案例:用Leather_Floral_Cheongsam生成国潮品牌主视觉 1. 项目背景与价值 国潮品牌近年来在时尚界掀起一股新风潮,将传统元素与现代设计完美融合。然而,高品质的视觉创作往往需要投入大量时间和成本。Leather D…...

经过几天研究,初步实现了H7-TOOL自动扫描目标芯片AP寄存器,并选择指定寄存器操作,脱机下载,LUA, RTT等均支持

【问题由来】 一般芯片都有多个AP寄存器, TOOL要操作目标芯片的寄存器,外设等,需要选择指定的寄存器【问题解决】 经历几天研究,已经实现H7-TOOL自动扫描目标芯片AP寄存器,并选择指定寄存器操作 1、RTT操作效果,MDK下载…...

CANoe软件+驱动安装详细步骤(新手零踩坑,附报错解决)

CANoe软件跟驱动的安装 哈喽,车载测试牛马们👋刚入门车载测试,第一步就栽在「CANoe安装」上的兄弟,举个手! 软件安装报错、驱动装完识别不到硬件、安装后打不开… 这些坑我全踩过,折腾大半天,…...

Qwen3-32B-Chat保姆级教程:从硬件检测(nvidia-smi)、驱动验证到服务启动

Qwen3-32B-Chat保姆级教程:从硬件检测到服务启动 1. 环境准备与硬件验证 在开始部署Qwen3-32B-Chat之前,我们需要确保硬件环境满足要求。本教程基于RTX 4090D 24GB显存显卡和CUDA 12.4环境进行优化。 1.1 硬件要求检查 首先确认您的硬件配置是否符合…...

Stable Diffusion v1.5 Archive 镜像使用教程:快速搭建个人AI绘画平台

Stable Diffusion v1.5 Archive 镜像使用教程:快速搭建个人AI绘画平台 1. 镜像概述与核心能力 Stable Diffusion v1.5 Archive 是经典的文生图模型归档版本,通过CSDN星图镜像广场提供的预置环境,您可以快速搭建个人AI绘画平台,无…...

AI短剧王炸——小云雀短剧 Agent

AI短剧王炸——小云雀短剧 Agent 大家好,我是小阳哥。 昨天,字节上了一个 AI短剧的大杀器——小云雀 短剧Agent。这玩意儿底座是 Seedance 2.0,懂行的都知道,这是目前视频模型的扛耙子。我体验了一波,生产力确实起飞&a…...

ControlNet-v1-1 FP16终极指南:如何快速部署企业级AI图像控制方案

ControlNet-v1-1 FP16终极指南:如何快速部署企业级AI图像控制方案 【免费下载链接】ControlNet-v1-1_fp16_safetensors 项目地址: https://ai.gitcode.com/hf_mirrors/comfyanonymous/ControlNet-v1-1_fp16_safetensors ControlNet-v1-1_fp16_safetensors是…...

2026年爆火的GEO行业,到底是怎么运转的?一文讲清全流程

其实很多人到现在都没搞懂,GEO 到底是个什么东西,甚至还有很多人直接把它当成了 AI 时代的 SEO,今天我就用最直白的话,把这个行业从头到尾的完整运作逻辑给大家拆明白,没有任何营销内容,纯客观的行业科普。…...

轻量级倾角开关驱动库:TiltSensor原理与嵌入式应用

1. 项目概述TiltSensor 是一个面向嵌入式平台的轻量级驱动类库,专为被动式倾角开关(Passive Tilt Switch)传感器设计,当前官方支持平台为 Arduino 框架下的 ESP32 系列微控制器。该库不依赖任何专用芯片或通信总线(如 …...

Pixel Dimension Fissioner实操手册:裂变结果AB测试与转化率验证方法

Pixel Dimension Fissioner实操手册:裂变结果AB测试与转化率验证方法 1. 工具概览与核心价值 Pixel Dimension Fissioner(像素语言维度裂变器)是一款基于MT5-Zero-Shot-Augment引擎的文本增强工具,它将传统AI文本处理转变为充满…...