汉比

Hampi:字符串约束的求解器。Hampi是字符串约束的求解器。Hampi是为程序分析工具、自动缺陷查找器、智能模糊器生成的约束而设计的。Hampi约束表示正则语言和有界上下文无关语言的成员关系。Hampi约束可以包含上下文无关的语言定义、常规语言定义和操作以及成员资格谓词。给定一组约束,Hampi输出一个满足所有约束的字符串,或者报告约束不可满足。


zbMATH参考文献(19篇文章引用)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. 伊什·沙洛姆,奥伦;伊扎基,沙查尔;曼尼维奇,罗曼;里涅茨基,诺姆:利用静态分析帮助学习字符串操作程序的伪逆,以自动生成测试(2020年)
  2. Abdulla,Parosh Aziz;Atig,Mohamed Faouzi;Diep,Bui Phi;Holík,Lukš;Janků,Petr:无链字符串约束(2019年)
  3. Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  4. Amadini,Roberto;Gange,Graeme;Stuckey,Peter J.:传播\textsclex、\textscfindand\textscReplacewithdash strings(2018年)
  5. Barrett,Clark;Tinelli,Cesare:可满足模理论(2018)
  6. 阿马蒂尼,罗伯托;弗莱纳,皮埃尔;皮尔森,贾斯汀;斯科特,约瑟夫D.;斯图基,彼得J.;塔克,吉多:带弦的迷你锌(2017)
  7. Berzish,M.,Ganesh,V.,Zheng,Y.:Z3str3:具有理论意识分支的字符串解算器(2017)阿尔十四
  8. Scott,Joseph D.;Flener,Pierre;Pearson,Justin;Schulte,Christian:有界长度序列变量的设计与实现(2017)
  9. Zheng,Yunhui;Ganesh,Vijay;Subramanian,Sanu;Tripp,Omer;Berzish,Murphy;Dolby,Julian;Zhang,Xiangyu:Z3str2:字符串、正则表达式和长度约束的有效解算器(2017)
  10. Liang,Tianyi;Reynolds,Andrew;Tsiskaridze,Nestan;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:字符串约束的有效SMT解算器(2016)
  11. Liang,Tianyi;Tsiskaridze,Nestan;Reynolds,Andrew;Tinelli,Cesare;Barrett,Clark:无界字符串上规则成员和长度约束的决策过程(2015)
  12. 《操纵程序》(David Todnes,Mytwins;Margkowts-string;David Shitks-string;2015)
  13. Creus,Carles;Godoy,Guillem:上下文无关语法的自动评估(系统描述)(2014)
  14. Yu,Fang;Alkhalaf,Muath;Bultan,Tevfik;Ibarra,Oscar H.:用于漏洞检测的基于自动机的符号字符串分析(2014)
  15. Fu,Xiang;Powell,Michael C.;Bantegui,Michael;Li,Chung Chih:简单线性字符串约束(2013)
  16. Gange,Graeme;Navas,Jorge A.;Stuckey,Peter J.;Søndergaard,Harald;Schachte,Peter:正则语言约束的无界模型检验(2013)
  17. 韦恩斯,马格斯;比约纳,尼古拉:《符号自动机:工具箱》(2012)
  18. Bubel,Richard;Hähnle,Reiner;Geilmann,Ulrich:用于程序规范和验证的Java字符串的形式化(2011)ioport公司
  19. Ganesh,Vijay;Kieżun,Adam;Artzi,Shay;Guo,Philip J.;Hooimejer,Pieter;Ernst,Michael:HAMPI:用于测试、分析和漏洞检测的字符串解算器(2011)ioport公司