计算机科学>编程语言
职务: 同时电位和反电位的差分成本分析
摘要: 我们提出了一种新的差异成本分析方法,该方法在给定程序修订的情况下,试图静态限制两个程序版本之间的资源使用差异或成本。 差异成本分析特别有趣,因为它有许多引人注目的应用程序,例如在代码复查时检测资源使用回归或证明不存在某些副渠道漏洞。 差异成本分析的一种现有方法是应用关系推理,该推理在概念上构建一个产品程序,在该程序上可以过度近似两个程序版本之间的成本差异。 然而,任何关系方法中的一个重大挑战是有效地调整程序版本以获得精确的结果。 在本文中,我们的关键观点是,如果我们限制两个成本约束摘要的差异,而不是直接限制具体的成本差异,那么我们可以避免对程序一致性的需要和限制。 特别地, 我们的方法使用两种有成本限制的摘要同时计算两个程序版本之间最大成本差异的阈值——一个潜在函数计算第一个程序中产生的成本的上限,另一个反潜在函数计算 第二。 我们的方法具有许多理想的特性:它可以完全自动化,可以根据相对成本优化阈值,适合于语法不相似的程序,并且支持非确定性。 我们已经在从文献中收集的许多程序对上评估了我们的方法的实现,我们发现在大多数例子中,我们的方法计算相对成本的严格阈值。