https://blog.qife122.com/tags/%E9%9C%8D%E5%A4%AB%E6%9B%BC%E7%BC%96%E7%A0%81/ Recent content in 霍夫曼编码 on 办公AI智能小助手 Hugo zh-cn qife Sat, 13 Sep 2025 04:28:59 +0800 https://blog.qife122.com/p/%E9%AB%98%E6%95%88%E6%8E%A7%E5%88%B6%E6%B5%81%E9%AA%8C%E8%AF%81%E9%80%9A%E8%BF%87%E6%8E%A8%E6%B5%8B%E6%8E%A7%E5%88%B6%E6%B5%81%E8%B7%AF%E5%BE%84%E8%A1%A8%E7%A4%BA%E5%AE%9E%E7%8E%B0%E6%80%A7%E8%83%BD%E7%AA%81%E7%A0%B4/ Sat, 13 Sep 2025 04:28:59 +0800 https://blog.qife122.com/p/%E9%AB%98%E6%95%88%E6%8E%A7%E5%88%B6%E6%B5%81%E9%AA%8C%E8%AF%81%E9%80%9A%E8%BF%87%E6%8E%A8%E6%B5%8B%E6%8E%A7%E5%88%B6%E6%B5%81%E8%B7%AF%E5%BE%84%E8%A1%A8%E7%A4%BA%E5%AE%9E%E7%8E%B0%E6%80%A7%E8%83%BD%E7%AA%81%E7%A0%B4/ <h1 id="高效控制流验证通过推测控制流路径表示实现性能突破">高效控制流验证：通过推测控制流路径表示实现性能突破</h1> <p><strong>摘要</strong>：控制流验证（CFA）技术使得嵌入式系统中的运行时软件完整性能够进行远程验证。然而，CFA受到生成的控制流日志（CFlog）存储和传输成本的限制。近期研究提出了应用特定优化方法，通过在运行时推测CFlog中的可能子路径并用保留符号替换它们。尽管有效，但现有方法未考虑控制流路径中地址的表示方式进行推测。本研究提出RESPEC-CFA，一种用于CFA的架构扩展，允许对（1）控制流的局部性和（2）其霍夫曼编码进行推测。单独使用RESPEC-CFA可将CFlog大小减少高达90.1%。结合现有方法，RESPEC-CFA可实现高达99.7%的减少，这标志着向实用CFA迈出了重要一步。</p>