Skip to content
史上首次自动化代码审计
blog.trailofbits.com | 博客 | #static-analysis | #mozilla | #trail-of-bits | #zlib | #crs | #automated-audit
摘要
Trail of Bits 宣布其 DARPA Cyber Grand Challenge 产物 Cyber Reasoning System 完成首例付费自动化代码审计——受 Mozilla Secure Open Source（SOS）基金委托审计 zlib，成本与覆盖深度均优于人工两周制审计，并可随每次更新自动复审。
- 发布时间
- 收录时间