StrSolve公司

StrSolve:懒洋洋地解决字符串约束。对字符串的推理正成为许多程序分析和测试框架的核心步骤。独立的字符串约束求解工具,称为决策过程,是近年来该领域研究的重点。这项工作的目的是通过一个定义良好的接口,提供可供各种程序分析使用的算法和实现。这种分离使得字符串约束求解算法的独立改进成为可能,并减少了客户的工作量。我们提出了StrSolve,这是一个决策过程,它对字符串变量的等式进行推理。我们的方法可以很好地根据输入约束的大小进行调整,特别是与其他当代技术相比。我们的方法对一个满意的赋值执行显式搜索,但是基于自动机表示懒洋洋地构造搜索空间。我们通过将我们的方法与四个现有的字符串决策过程进行比较,对我们的方法进行了实证评估。我们发现,我们的原型平均比现有最快的方法快几个数量级,并提供证据证明我们的惰性搜索空间枚举占了大部分的好处。

此软件的关键字

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