Z3-str: a z3-based string solver for web application analysis
- 18 August 2013
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 114-124
- https://doi.org/10.1145/2491411.2491456
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Symbolic execution of programs with stringsPublished by Association for Computing Machinery (ACM) ,2012
- ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistenciesPublished by Association for Computing Machinery (ACM) ,2012
- Symbolic Automata: The ToolkitLecture Notes in Computer Science, 2012
- Path- and index-sensitive string analysis based on monadic second-order logicPublished by Association for Computing Machinery (ACM) ,2011
- Stranger: An Automata-Based String Analysis Tool for PHPLecture Notes in Computer Science, 2010
- Symbolic String Verification: Combining String Analysis and Size AnalysisLecture Notes in Computer Science, 2009
- An efficient algorithm for solving word equationsPublished by Association for Computing Machinery (ACM) ,2006
- Word unification and transformation of generalized equationsJournal of Automated Reasoning, 1993
- Minimal and complete word unificationJournal of the ACM, 1990
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUPMathematics of the USSR-Sbornik, 1977