Stranger
From MaRDI portal
Software:21145
No author found.
Related Items (19)
An SMT solver for regular expressions and linear arithmetic over string length ⋮ Symbolic Automata: The Toolkit ⋮ String theories involving regular membership predicates: from practice to theory and back ⋮ MiniZinc with strings ⋮ Towards more efficient methods for solving regular-expression heavy string constraints ⋮ A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings ⋮ Simple linear string constraints ⋮ Chain-Free String Constraints ⋮ Context-oriented web application protection model ⋮ Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions ⋮ An efficient SMT solver for string constraints ⋮ Automata-based symbolic string analysis for vulnerability detection ⋮ Z3str2: an efficient solver for strings, regular expressions, and length constraints ⋮ The satisfiability of word equations: decidable and undecidable theories ⋮ Relational String Verification Using Multi-track Automata ⋮ An Evaluation of Automata Algorithms for String Analysis ⋮ Dashed strings for string constraint solving ⋮ On equations and first-order theory of one-relator monoids ⋮ A decision procedure for string to code point conversion
This page was built for software: Stranger
