通过

过程:用参数化数组和区间自动机求解字符串。字符串约束和数值约束的求解问题近年来受到越来越多的关注。现有的方法使用位向量或自动机(或它们的组合)对字符串进行建模,并将字符串约束简化为位向量约束或自动机操作,然后在各自的域中求解。不幸的是,它们常常无法在效率、准确性和全面性之间取得良好的平衡。本文将字符串转换为量化的字符串,并将其量化为新的数据结构。我们提出了一个有效且合理的量词消除算法。此外,我们使用自动机模型来更快地处理正则表达式和字符串值的推理。我们的方法不需要枚举字符串长度(如基于位向量的方法那样),也不需要枚举具体的字符串值(如基于自动机的方法那样)。因此,它可以获得更好的精度和效率。特别是,它可以快速识别出不满意的案例。我们的解算器(named PASS)支持大多数流行的字符串操作,包括字符串比较、字符串数值转换和正则表达式。实验结果证明了该方法的优越性。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换