A static analysis tool for PHP file inclusion.