Simple linear string constraints

DOI10.1007/s00165-011-0214-3zbMath1298.68172OpenAlexW1965940079MaRDI QIDQ469349

Xiang Fu, Michael Bantegui, Chung-Chih Li, Michael C. Powell

Publication date: 10 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0214-3

zbMATH Keywords

constraint solvingsymbolic executionvulnerability detectionstring analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for text processing; mathematical typography (68U15) Algorithms on strings (68W32)

Related Items (1)

Design and implementation of bounded-length sequence variables

Uses Software

• Symstra
• Stranger
• HAMPI
• SusHi
• Kaluza
• JPF-SE
• AMNESIA
• dk.brics.automaton
• STP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An Evaluation of Automata Algorithms for String Analysis
• Path Feasibility Analysis for String-Manipulating Programs
• Symbolic String Verification: Combining String Analysis and Size Analysis
• Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
• Symbolic execution and program testing
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Applied Cryptography and Network Security
• Symbolic Automata Constraint Solving
• Regular expression containment
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Simple linear string constraints