String Analysis as an Abstract Interpretation
String Analysis as an Abstract Interpretation
复制标题
作为抽象解释的字符串分析
DOI：
10.1007/978-3-642-18275-4_21
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
K. Choe
中科院分区：
文献类型：
--
作者：
Se;K. Choe
我们在抽象解释框架内形式化了一个字符串分析。字符串的抽象是作为一个谓词的连接给出的，它描述了处理字符串时引用下推自动机上的常见配置更改。我们还提出了一个家庭的下推自动机称为e有界下推自动机。这个家族涵盖了所有的上下文无关语言，通过使用这个下推自动机家族，我们可以防止抽象值变成无限合取，并保证分析器中所需的操作是可计算的。
We formalize a string analysis within abstract interpretation framework. The abstraction of strings is given as a conjunction of predicates that describes the common configuration changes on the reference pushdown automaton while processing the strings. We also present a family of pushdown automata called e bounded pushdown automata. This family covers all context-free languages, and by using this family of pushdown automata, we can prevent abstract values from becoming infinite conjunctions and guarantee that the operations required in the analyzer are computable.