S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
stranger : an automata - based string analysis tool for php .