夜雨聆风学习资料网

ARTICLE · 1036006

AI造审计工具,揪出400多处缺陷

AI造审计工具,揪出400多处缺陷

AI造审计工具,揪出400多处缺陷

AI造审计工具,揪出400多处缺陷
安全公司Trail of Bits让智能体花六个月搭建审计工具,再把它们用于一个零知识虚拟机项目。工具包括代码分析程序和执行模型,目的是检查程序行为是否符合预期。
团队报告称,静态分析定位了400多处类型验证缺陷,其中的严重程度不能一概而论。其它工具还发现了可能被用来伪造签名、盗取资金的高危漏洞。形式化验证工作产出95个由机器检查通过的正确性证明,还发现两个单元测试未捕获的问题。
#AI新闻 #网络安全 #AI编程 #软件审计

河南,8分钟前,

相关学习资料