Stranger: An Automata-Based String Analysis Tool for PHP
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 154-157
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses2009
- Symbolic String Verification: An Automata-Based ApproachLecture Notes in Computer Science, 2008
- Sound and precise analysis of web applications for injection vulnerabilities2007
- Pixy: a static analysis tool for detecting Web application vulnerabilities2006
- Static approximation of dynamically generated Web pages2005
- Widening Arithmetic AutomataLecture Notes in Computer Science, 2004
- Precise Analysis of String Expressions2003