卡鲁扎 卡鲁扎约束求解器。Kaluza是一个求解有界长度的多个字符串变量的解算器。Kaluza约束可以包含字符串变量上的单词表达式、正则语言中的成员关系以及字符串长度上的不等式公式。给出一个输入公式,Kaluza输出满足其中所有变量的字符串常量,或者报告公式不满足。Kaluza具有很强的表达能力和高效性,我们已经成功地将其用于测试和分析真实世界中的JavaScript程序。Kaluza是作为Kudzu的核心开发的,Kudzu是我们的JavaScript符号执行框架。 此软件的关键字 这里的任何内容都将在支持canvas元素的浏览器上被替换 字符串分析 象征性执行 字符串求解 可满足性模理论 漏洞检测 自动演绎 约束求解 zbMATH中的参考文献(参考 2篇文章 引用) 显示结果1到2,共2个。 是的按年份排序(引用) 10 20 50 全部的 Liang,Tianyi;Reynolds,Andrew;Tsiskaridze,Nestan;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:字符串约束的有效SMT解算器(2016) Fu,Xiang;Powell,Michael C.;Bantegui,Michael;Li,Chung Chih:简单线性字符串约束(2013)