https://blog.qife122.com/tags/%E8%87%AA%E5%8A%A8%E5%8C%96%E4%BB%A3%E7%A0%81%E5%AE%A1%E8%AE%A1/ Recent content in 自动化代码审计 on 办公AI智能小助手 Hugo zh-cn qife Sat, 13 Sep 2025 01:42:40 +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%BD%8D%E5%AE%A2%E6%88%B7mozilla-sos%E9%A1%B9%E7%9B%AE%E4%B8%8Ecrs%E6%8A%80%E6%9C%AF%E7%AA%81%E7%A0%B4/ Sat, 13 Sep 2025 01:42:40 +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%BD%8D%E5%AE%A2%E6%88%B7mozilla-sos%E9%A1%B9%E7%9B%AE%E4%B8%8Ecrs%E6%8A%80%E6%9C%AF%E7%AA%81%E7%A0%B4/ <h1 id="自动化代码审计的首位客户---trail-of-bits博客">自动化代码审计的首位客户 - Trail of Bits博客</h1> <p><strong>Dan Guido</strong><br> 2016年10月4日<br> 网络大挑战, 新闻稿, 静态分析</p> <p>上月，我们为DARPA网络大挑战开发的网络推理系统（CRS）在更短时间内以更低成本、更详细地审计了远超人类能力的代码量。</p>