汉皮是一个解决方案字符串约束。Hampi针对以下因素产生的约束进行设计程序分析工具、自动错误查找器、智能模糊者。
Hampi约束表示正则语言和有界语言的成员关系无上下文语言。汉皮约束可能包括上下文自由语言定义、常规语言定义和操作和成员谓词。给定一组约束条件，Hampi输出满足所有约束条件的字符串或报告约束不可满足。
新增：Hampi现在可以解析类Perl正则表达式，例如：/^（：）（[\w-]+）\（“？”？（.*（\（.*\））？[^（]*）”？'？\）/。请参阅wiki页面用于文档。感谢Devdatta Akhave的贡献！
汉比
谷歌代码中的汉比代码（从SVN下载：svn校验http://hampi.googlecode.com/svn/trunk/hampi只读)
纸类
亚当·基赞，Vijay Ganesh、Philip J.Guo、Pieter Hooimeijer、Michael D。恩斯特
2009年7月19日至23日，美国伊利诺伊州芝加哥举行的ISSTA 2009:ACM国际测试与分析研讨会。
ACM SIGSOFT杰出论文奖
贡献者
亚当基辅，项目领导者（哈佛医学院/美国波士顿布莱根妇女医院）
Devdatta Akhave公司（加州大学伯克利分校）
谢·阿尔茨（IBM研究）
|