卡鲁扎弦解算器

Kaluza的web界面现在可获得的.

Kaluza是一个求解有界长度的多个字符串变量的解算器。Kaluza约束可以包含字符串变量上的单词表达式、正则语言中的成员关系以及字符串长度上的不等式公式。给出一个输入公式,Kaluza输出满足其中所有变量的字符串常量,或者报告公式不满足。Kaluza具有很强的表达能力和高效性,我们已经成功地将其用于测试和分析真实世界中的JavaScript程序。

卡鲁扎被开发为葛根,我们的JavaScript符号执行框架。

下载
ubuntu9.10的二进制版本是可用的在这里.
基准
下面提供的(50000多个)测试用例生成为我们分析的一部分使用葛根我们的Javascript符号执行框架。所有的测试用例是通过降低JavaScript获得的来自真实世界的ajaxweb应用程序的操作。

可满足案件   不满意案例
输入语言
Kaluza的输入语言是在这里。
贡献者
合作者
相关链接