Simple linear string constraints
type: Item
instance of: scholarly article
title: Simple linear string constraints
zbMATH Open document ID: 1298.68172
author: Xiang Fu
author: Michael C. Powell
author: Michael Bantegui
author: Chung-Chih Li
published in: Formal Aspects of Computing
publication date: 2014-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U15
Mathematics Subject Classification ID: 68W32
zbMATH DE Number: 6367489
zbMATH Keywords: string analysis
zbMATH Keywords: symbolic execution
zbMATH Keywords: constraint solving
zbMATH Keywords: vulnerability detection
describes a project that uses: Stranger
describes a project that uses: SusHi
describes a project that uses: Symstra
describes a project that uses: HAMPI
describes a project that uses: AMNESIA
describes a project that uses: dk.brics.automaton
describes a project that uses: STP
describes a project that uses: Kaluza
describes a project that uses: JPF-SE
MaRDI profile type: Publication
full work available at URL: s00165-011-0214-3
OpenAlex ID: W1965940079
cites work: Streaming transducers for algorithmic verification of single-pass list-processing programs
cites work: Applied Cryptography and Network Security
cites work: Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
cites work: Path Feasibility Analysis for String-Manipulating Programs
cites work: Q4813388
cites work: Symbolic execution and program testing
cites work: Regular expression containment
cites work: Q3862379
cites work: An Evaluation of Automata Algorithms for String Analysis
cites work: Q4529547
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: Regular approximation of context-free grammars through transformation
cites work: Q4714446
cites work: Symbolic Automata Constraint Solving
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Symbolic String Verification: Combining String Analysis and Size Analysis
DOI: 10.1007/S00165-011-0214-3
Wikidata QID: Q131121160
Recommended article: Chain-Free String Constraints
Recommended article: Constraint Solving on Bounded String Variables
Recommended article: Principles and Practice of Constraint Programming – CP 2003
Recommended article: Q5089281
Recommended article: Dashed strings for string constraint solving
Recommended article: Linear constituents of certain character restrictions
Recommended article: Q4266516
Recommended article: Confining strings
description: scientific article; zbMATH DE number 6367489