Kaluza是有界长度的多字符串变量的解算器。Kaluza约束可能包含字符串变量上的单词方程、正则语言中的成员关系以及字符串长度上的不等式公式。给定一个输入公式,Kaluza输出满足其中所有变量的字符串常量,或报告公式不可满足。Kaluza表现力强,效率高,我们已经成功地将其用于测试和分析真实的JavaScript程序。
Kaluza被开发为葛根,我们的JavaScript符号执行框架。
- 下载
- Ubuntu 9.10的二进制版本可用在这里.
- 基准
- 下面可用的(50000多个)测试用例生成为我们的部分分析使用葛根我们的Javascript符号执行框架。所有的测试用例是通过降低JavaScript获得的来自真实世界AJAX web应用程序的操作。
可满足的案例
无法满足的情况
- 输入语言
- Kaluza的输入语言是在这里。
- 贡献者
-
- 合作者
-
- 相关链接
-