https://blog.qife122.com/tags/%E8%87%AA%E5%8A%A8%E5%8C%96%E5%AE%89%E5%85%A8%E5%AE%A1%E8%AE%A1/ Recent content in 自动化安全审计 on 办公AI智能小助手 Hugo zh-cn qife Fri, 05 Sep 2025 03:45:07 +0800 https://blog.qife122.com/p/%E8%87%AA%E5%8A%A8%E5%8C%96%E4%BB%A3%E7%A0%81%E5%AE%A1%E8%AE%A1%E7%9A%84%E9%A6%96%E4%B8%AA%E5%AE%A2%E6%88%B7mozilla-sos%E5%9F%BA%E9%87%91%E4%B8%8Ezlib%E6%BC%8F%E6%B4%9E%E6%8C%96%E6%8E%98/ Fri, 05 Sep 2025 03:45:07 +0800 https://blog.qife122.com/p/%E8%87%AA%E5%8A%A8%E5%8C%96%E4%BB%A3%E7%A0%81%E5%AE%A1%E8%AE%A1%E7%9A%84%E9%A6%96%E4%B8%AA%E5%AE%A2%E6%88%B7mozilla-sos%E5%9F%BA%E9%87%91%E4%B8%8Ezlib%E6%BC%8F%E6%B4%9E%E6%8C%96%E6%8E%98/ <h1 id="自动化代码审计的首个客户---trail-of-bits博客">自动化代码审计的首个客户 - Trail of Bits博客</h1> <p><strong>Dan Guido</strong><br> 2016年10月4日<br> 网络大挑战，新闻发布，静态分析</p> <p>上月，我们为DARPA网络大挑战开发的网络推理系统（CRS）以更短时间、更详细程度和更低成本审计了远超人类能力的代码量。我们的CRS为Mozilla安全开源（SOS）基金审计了zlib。据我们所知，这是CRS执行付费自动化安全审计的首个案例。</p>