Chainsaw: Chained Automated Workflow-based Exploit Generation
stranger : an automata - based string analysis tool for php .