← 返回蜂巢洞察

谷歌利用人工智能与差分模糊测试技术,将那些在C语言中编写的关键代码组件重新实现了为Rust语言版本。

谷歌的安全团队开发了一种方法,用于将giflib图像处理库中原有的C语言代码替换为Rust语言代码,从而消除其中存在的内存安全漏洞。他们采用了自动化迁移流程来确保代码的兼容性,并有效解决了零日漏洞问题。这个项目在成功提升代码运行效率的同时,也证明了人工智能在进行代码翻译时仍需要人类持续进行监督和调整。 作者:Olimpiu Pop

谷歌的安全团队开发了一种方法,用于将giflib图像处理库中原有的C语言代码替换为Rust语言代码,从而消除其中存在的内存安全漏洞。他们采用了自动化迁移流程来确保代码的兼容性,并有效解决了零日漏洞问题。这个项目在成功提升代码运行效率的同时,也证明了人工智能在进行代码翻译时仍需要人类持续进行监督和调整。

作者:Olimpiu Pop

相关文章

技术实践

如何利用“政策即代码”与开放隐私框架来管理由人工智能生成的基础设施【完整手册】

现代模型在近100%的情况下都能生成语法正确的代码。Veracode在2026年发布的报告明确指出:“语法问题已经基本得到解决。” 这听起来像是一个里程碑,但实际上正是这个原因导致了当前存在的问题。 同一份报告测试了上百种模型,发现它们的平均安全通过率仅为56%,“与第一份报告中的55%几乎没有变化”;大约44%的代码生成任务会引入安全隐患。 功能正确性与安全性其实是两个不同的问题,而目前只有其中一个问题接近得到解决。 这个结果既不是个特例,也不是什么新鲜事。2022年,在IEEE安全与隐私会议上,纽约大学坦登分校的一个团队让GitHub Copilot在89种与安全相关的场景中运行,生成了1

阅读全文
技术实践

iOS NFC使用指南:如何使用React Native读取、写入NFC标签以及锁定这些标签

将iPhone靠近贴纸,就会发生一些奇妙的事情:名片会自动添加到联系人列表中,某个聚焦操作会结束,或者某扇门会自动打开。这种芯片的成本大约为20便士,其存储容量约为130字节。 读取一条NFC信息需要执行两次函数调用;而要获得执行这些调用的权限,则需要花费更长的时间。之后,CoreNFC还会要求你再次完成这个流程。 第一个障碍来自苹果公司:你需要拥有一个付费开发者账户,在某个网站平台上注册应用ID,勾选相关选项,并重新生成配置文件。如果其中任何一步出错,构建过程就会因为代码签名错误而失败,而这些错误信息中根本不会提到“NFC”这个词。 第二个障碍则来自CoreNFC本身,而且没有人会提醒你注意

阅读全文
技术实践

如何区分操作意图与执行者

在 我之前的文章中 ,我认为软件自动化需要在操作意图和执行环节之间添加一个中间层。 原因很简单:规范应该明确什么是成功,而执行者则负责决定如何实现这一目标。 这种分离带来了一种重要的可能性: 如果操作规范与执行机制相互独立,那么多个执行者都应该能够满足同样的规范要求。 这听起来很直观,但实际上却会引发一些复杂的问题: 两种不同的执行器能否达到相同的结果? 我们该如何对它们进行比较? 当执行器发生变化时,哪些部分必须保持稳定? 哪些差异是可以接受的? 每个执行器应该提供什么样的证据来证明自己的结果? 我们如何判断执行器的独立性是真实的还是仅仅理论上的? 这些问题非常重要,因为现代软件系统很少会长

阅读全文
技术实践

如何向英国税务海关总署的“数字化纳税”API提交季度更新报告

每年有四次,所有参与“税收数字化”计划的个体经营者和房东都必须向英国税务海关总署提交一份收入与支出的汇总报表。 2026-27纳税年度的第一个截止日期是8月7日,这个期限已经过去;第二个截止日期则是11月7日。每份汇总报表都需要通过软件向英国税务海关总署发送一次API请求,而本教程正是专门讲解如何正确完成这些请求操作的。 您无需事先阅读任何其他资料即可跟随本教程进行操作。每次进行“税收数字化”集成时所需的一次性设置信息(包括沙箱应用程序、OAuth 2.0访问令牌以及防欺诈相关配置)已在下方的简要总结中列出,同时每段代码示例中也都会使用到一些辅助函数。 如果您想深入了解这些设置步骤,我曾在 之

阅读全文