https://blog.qife122.com/tags/%E7%A8%8B%E5%BA%8F%E9%AA%8C%E8%AF%81/ Recent content in 程序验证 on 办公AI智能小助手 Hugo zh-cn qife Wed, 17 Sep 2025 19:10:36 +0800 https://blog.qife122.com/p/%E7%BA%BD%E7%BA%A6%E5%85%A8%E6%96%B0%E5%AE%89%E5%85%A8%E6%8A%80%E6%9C%AF%E8%81%9A%E4%BC%9Aempire-hacking%E6%B7%B1%E5%BA%A6%E8%A7%A3%E6%9E%90/ Wed, 17 Sep 2025 19:10:36 +0800 https://blog.qife122.com/p/%E7%BA%BD%E7%BA%A6%E5%85%A8%E6%96%B0%E5%AE%89%E5%85%A8%E6%8A%80%E6%9C%AF%E8%81%9A%E4%BC%9Aempire-hacking%E6%B7%B1%E5%BA%A6%E8%A7%A3%E6%9E%90/ <h1 id="empire-hacking纽约全新安全技术聚会">Empire Hacking：纽约全新安全技术聚会</h1> <p>今天我们将启动Empire Hacking——一个双月举办的技术聚会，专注于实用的安全研究以及在攻击和防御领域的新发现。</p> https://blog.qife122.com/p/%E7%BA%BD%E7%BA%A6%E6%96%B0%E8%81%9A%E4%BC%9Aempire-hacking-%E8%81%9A%E7%84%A6%E5%AE%9E%E6%88%98%E5%AE%89%E5%85%A8%E7%A0%94%E7%A9%B6/ Sat, 13 Sep 2025 07:15:45 +0800 https://blog.qife122.com/p/%E7%BA%BD%E7%BA%A6%E6%96%B0%E8%81%9A%E4%BC%9Aempire-hacking-%E8%81%9A%E7%84%A6%E5%AE%9E%E6%88%98%E5%AE%89%E5%85%A8%E7%A0%94%E7%A9%B6/ <h1 id="empire-hacking纽约的新安全技术聚会">Empire Hacking：纽约的新安全技术聚会</h1> <p>今天，我们推出 <strong>Empire Hacking</strong>——一个双月聚会，专注于实用的安全研究以及攻击和防御领域的新发现。</p> <p>这基本上是一场安全技术的“诗歌即兴会”。</p> https://blog.qife122.com/p/%E6%8E%A2%E7%B4%A2differ%E9%9D%A9%E6%96%B0%E7%A8%8B%E5%BA%8F%E8%BD%AC%E6%8D%A2%E9%AA%8C%E8%AF%81%E7%9A%84%E6%99%BA%E8%83%BD%E6%B5%8B%E8%AF%95%E5%B7%A5%E5%85%B7/ Wed, 10 Sep 2025 05:30:47 +0800 https://blog.qife122.com/p/%E6%8E%A2%E7%B4%A2differ%E9%9D%A9%E6%96%B0%E7%A8%8B%E5%BA%8F%E8%BD%AC%E6%8D%A2%E9%AA%8C%E8%AF%81%E7%9A%84%E6%99%BA%E8%83%BD%E6%B5%8B%E8%AF%95%E5%B7%A5%E5%85%B7/ <h1 id="介绍differ用于测试和验证转换后程序的新工具">介绍DIFFER：用于测试和验证转换后程序的新工具</h1> <p>我们最近发布了一款名为DIFFER的新型差分测试工具，用于发现转换后程序中的错误和健全性违规。DIFFER结合了差分测试、回归测试和模糊测试的元素，帮助用户发现经过软件重写、精简和加固工具修改后的程序中的错误。我们使用DIFFER评估了10个软件精简工具，发现这些工具产生的转换程序中，71%存在精简失败或健全性违规问题。</p> https://blog.qife122.com/p/differ%E9%9D%A9%E6%96%B0%E7%A8%8B%E5%BA%8F%E5%8F%98%E6%8D%A2%E9%AA%8C%E8%AF%81%E7%9A%84%E5%B7%AE%E5%88%86%E6%B5%8B%E8%AF%95%E5%B7%A5%E5%85%B7/ Sat, 06 Sep 2025 17:17:51 +0800 https://blog.qife122.com/p/differ%E9%9D%A9%E6%96%B0%E7%A8%8B%E5%BA%8F%E5%8F%98%E6%8D%A2%E9%AA%8C%E8%AF%81%E7%9A%84%E5%B7%AE%E5%88%86%E6%B5%8B%E8%AF%95%E5%B7%A5%E5%85%B7/ <h1 id="介绍differ用于测试和验证变换程序的新工具">介绍DIFFER：用于测试和验证变换程序的新工具</h1> <p>我们最近发布了一款名为DIFFER的新型差分测试工具，用于发现变换程序中的错误和健全性违规。DIFFER结合了差分测试、回归测试和模糊测试的元素，帮助用户发现经过软件重写、精简和加固工具修改后的程序中的错误。我们使用DIFFER评估了10个软件精简工具，发现这些工具产生的变换程序中，71%存在精简失败或健全性违规问题。</p> https://blog.qife122.com/p/%E7%BA%BD%E7%BA%A6%E5%85%A8%E6%96%B0%E6%8A%80%E6%9C%AF%E8%81%9A%E4%BC%9Aempire-hacking%E8%81%9A%E7%84%A6%E5%AE%9E%E6%88%98%E5%AE%89%E5%85%A8%E7%A0%94%E7%A9%B6/ Thu, 04 Sep 2025 14:09:20 +0800 https://blog.qife122.com/p/%E7%BA%BD%E7%BA%A6%E5%85%A8%E6%96%B0%E6%8A%80%E6%9C%AF%E8%81%9A%E4%BC%9Aempire-hacking%E8%81%9A%E7%84%A6%E5%AE%9E%E6%88%98%E5%AE%89%E5%85%A8%E7%A0%94%E7%A9%B6/ <h1 id="empire-hacking纽约的新技术聚会">Empire Hacking：纽约的新技术聚会</h1> <p>今天我们将启动Empire Hacking——一个双月举办的技术聚会，专注于实战安全研究以及攻击与防御领域的新发现。</p>