KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
stranger : an automata - based string analysis tool for php .