HAMPI

Hampi: A Solver for String Constraints. Hampi is a solver for string constraints. Hampi is designed for constraints generated by program analysis tools, automated bug finders, intelligent fuzzers. Hampi constraints express membership in regular languages and bounded context-free languages. Hampi constraints may contain context-free-language definitions, regular-language definitions and operations, and the membership predicate. Given a set of constraints, Hampi outputs a string that satisfies all the constraints, or reports that the constraints are unsatisfiable.


References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Ish-Shalom, Oren; Itzhaky, Shachar; Manevich, Roman; Rinetzky, Noam: Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation (2020)
  2. Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr: Chain-free string constraints (2019)
  3. Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Constraint programming for dynamic symbolic execution of JavaScript (2019)
  4. Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.: Propagating \textsclex, \textscfindand \textscreplacewith dashed strings (2018)
  5. Barrett, Clark; Tinelli, Cesare: Satisfiability modulo theories (2018)
  6. Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D.; Stuckey, Peter J.; Tack, Guido: Minizinc with strings (2017)
  7. Berzish, M., Ganesh, V., Zheng, Y.: Z3str3: A String Solver with Theory-aware Branching (2017) arXiv
  8. Scott, Joseph D.; Flener, Pierre; Pearson, Justin; Schulte, Christian: Design and implementation of bounded-length sequence variables (2017)
  9. Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu: Z3str2: an efficient solver for strings, regular expressions, and length constraints (2017)
  10. Liang, Tianyi; Reynolds, Andrew; Tsiskaridze, Nestan; Tinelli, Cesare; Barrett, Clark; Deters, Morgan: An efficient SMT solver for string constraints (2016)
  11. Liang, Tianyi; Tsiskaridze, Nestan; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark: A decision procedure for regular membership and length constraints over unbounded strings (2015)
  12. Veanes, Margus; Mytkowicz, Todd; Molnar, David; Livshits, Benjamin: Data-parallel string-manipulating programs (2015)
  13. Creus, Carles; Godoy, Guillem: Automatic evaluation of context-free grammars (system description) (2014)
  14. Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.: Automata-based symbolic string analysis for vulnerability detection (2014)
  15. Fu, Xiang; Powell, Michael C.; Bantegui, Michael; Li, Chung-Chih: Simple linear string constraints (2013)
  16. Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter: Unbounded model-checking with interpolation for regular language constraints (2013)
  17. Veanes, Margus; Bjørner, Nikolaj: Symbolic automata: the toolkit (2012)
  18. Bubel, Richard; Hähnle, Reiner; Geilmann, Ulrich: A formalisation of Java strings for program specification and verification (2011) ioport
  19. Ganesh, Vijay; Kieżun, Adam; Artzi, Shay; Guo, Philip J.; Hooimeijer, Pieter; Ernst, Michael: HAMPI: A string solver for testing, analysis and vulnerability detection (2011) ioport