Cargo Sherlock: 基于 SMT 的软件信任成本检查器

本文介绍了 Cargo Sherlock，一个使用可满足性模理论 (SMT) 来分析与信任软件相关的成本的工具。重点是软件安全，并可能识别漏洞或高风险区域。 SMT 的使用表明了一种形式化方法，这可以提供严格的分析。标题清楚地说明了该工具的功能及其解决的问题。

• •Cargo Sherlock 是一个基于 SMT 的工具。
• •它侧重于分析软件信任成本。
• •该方法可能涉及用于严格分析的正式方法。