Symbolic execution inspired PHP application scanner for code-path discovery - View it on GitHub