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 21 articles )

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

1 2 next

  1. Garreta, Albert; Gray, Robert D.: On equations and first-order theory of one-relator monoids (2021)
  2. 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)
  3. Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr: Chain-free string constraints (2019)
  4. Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Constraint programming for dynamic symbolic execution of JavaScript (2019)
  5. Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.: Propagating \textsclex, \textscfindand \textscreplacewith dashed strings (2018)
  6. Barrett, Clark; Tinelli, Cesare: Satisfiability modulo theories (2018)
  7. Day, Joel D.; Ganesh, Vijay; He, Paul; Manea, Florin; Nowotka, Dirk: The satisfiability of word equations: decidable and undecidable theories (2018)
  8. Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D.; Stuckey, Peter J.; Tack, Guido: MiniZinc with strings (2017)
  9. Berzish, M., Ganesh, V., Zheng, Y.: Z3str3: A String Solver with Theory-aware Branching (2017) arXiv
  10. Scott, Joseph D.; Flener, Pierre; Pearson, Justin; Schulte, Christian: Design and implementation of bounded-length sequence variables (2017)
  11. 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)
  12. Liang, Tianyi; Reynolds, Andrew; Tsiskaridze, Nestan; Tinelli, Cesare; Barrett, Clark; Deters, Morgan: An efficient SMT solver for string constraints (2016)
  13. Liang, Tianyi; Tsiskaridze, Nestan; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark: A decision procedure for regular membership and length constraints over unbounded strings (2015)
  14. Veanes, Margus; Mytkowicz, Todd; Molnar, David; Livshits, Benjamin: Data-parallel string-manipulating programs (2015)
  15. Creus, Carles; Godoy, Guillem: Automatic evaluation of context-free grammars (system description) (2014)
  16. Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.: Automata-based symbolic string analysis for vulnerability detection (2014)
  17. Fu, Xiang; Powell, Michael C.; Bantegui, Michael; Li, Chung-Chih: Simple linear string constraints (2013)
  18. Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter: Unbounded model-checking with interpolation for regular language constraints (2013)
  19. Veanes, Margus; Bjørner, Nikolaj: Symbolic automata: the toolkit (2012)
  20. Bubel, Richard; Hähnle, Reiner; Geilmann, Ulrich: A formalisation of Java strings for program specification and verification (2011) ioport

1 2 next