卡鲁扎

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

此软件的关键字

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