可扩展的低延迟环境下的类型状态分析
摘要：基于类型状态的静态分析在验证代码合约的正确性方面非常重要。这些分析依赖于确定性有穷自动机（Deterministic Finite Automata，DFA）来指定对象的属性。我们的目标是在低延迟环境中分析合约，其中许多有用的合约无法实现为DFA，和/或与之关联的DFA的大小导致性能低下。为了解决这个瓶颈，我们提出了一种轻量级的类型状态分析器，它基于一种表达能力强大的规范语言，可以简洁地指定代码合约。通过在静态分析器Infer中实现它，我们证明了与现有技术相比的显著性能和可用性优势。其中一个核心观点是依赖于一种具有高效位向量操作的DFA子类。
作者：Alen Arslanagi''c, Pavle Suboti''c, Jorge A. P''erez
论文ID：2201.10627
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-19