察元AI教程库 · 文章 · 大模型

利用大型语言模型与形式验证实现AI代码的自动修复

下一代人工智能系统需要具备强大的安全性保障。本报告探讨了神经网络软件实现及相关内存安全属性,包括空指针引用、越界访问、双重释放和内存泄漏。我们的目标是检测这些漏洞

作者:Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro · 语言:en

前往原址学习

简介

下一代人工智能系统需要具备强大的安全性保障。本报告探讨了神经网络软件实现及相关内存安全属性,包括空指针引用、越界访问、双重释放和内存泄漏。我们的目标是检测这些漏洞

返回教程库 · 察元AI产品家族