Phan in Browser

PHP Version:

Phan Version:

php-ast Version:

file1.php

use Phan\Config;
use Phan\Issue;
use Phan\IssueInstance;
use Phan\Output\HTML;
use Phan\Output\IssuePrinterInterface;
use Symfony\Component\Console\Output\OutputInterface;

use Phan\CLI;
use Phan\Phan;
error_reporting(E_ALL);
ini_set('display_errors', 'stderr');
putenv('NO_COLOR=1');

try {
    $phar_path = '$PHAN_PHAR_PATH';
    if (!file_exists($phar_path)) {
        fwrite(STDERR, "Could not load '$phar_path' - this may not have been included when generating this site with emscripten\n");
        exit(1);
    }

$phar = "phar://$phar_path";
    gc_disable();
    $data = require($phar . '/src/Phan/Language/Internal/ClassDocumentationMap.php');
    require_once($phar . '/src/requirements.php');

$code_base = require_once($phar . '/src/codebase.php');

require_once($phar . '/src/Phan/Bootstrap.php');

// Create a stub .phan/config.php to suppress warning
// Note: .phan directory is created by JavaScript stub loader
// Don't create it again here to avoid "File exists" error
// Just create the config file directly - file_put_contents will fail if dir doesn't exist
if (!file_exists('.phan/config.php')) {
    try {
        file_put_contents('.phan/config.php', '<?php return [];');
    } catch (\Throwable $e) {
        // Directory doesn't exist, create it
        @mkdir('.phan', 0777, true);
        file_put_contents('.phan/config.php', '<?php return [];');
    }
}

file_put_contents('input', $CONTENTS_TO_ANALYZE);
Config::setValue('file_list', ['input']);

// Disable incremental analysis to avoid trying to create .phan directory
Config::setValue('incremental_analysis', false);

// Configure internal extension stubs (similar to Phan's default .phan/config.php)
// SPL stub: Use version-specific stub to handle differences in PHP versions
// PHP 8.1-8.3: No typed constants (syntax error), no seek() method on SplObjectStorage
// PHP 8.4+: Typed constants OK, seek() method added to SplObjectStorage
// Note: Use absolute paths (/phan/internal/stubs/) since working directory in virtual filesystem is /
Config::setValue('autoload_internal_extension_signatures', [
    'spl' => PHP_VERSION_ID >= 80400
        ? '/phan/internal/stubs/spl.phan_php'         // PHP 8.4+: typed constants + seek()
        : '/phan/internal/stubs/spl_php81.phan_php',  // PHP 8.1-8.3: no typed constants, no seek()
    'standard' => '/phan/internal/stubs/standard_templates.phan_php',  // template annotations for array functions
]);

// Mark SPL as needing template class replacement
Config::setValue('autoload_internal_extension_signatures_template_classes', ['spl']);
// Mark standard as needing template function signatures
Config::setValue('autoload_internal_extension_signatures_template_functions', ['standard']);

// Plugins will be set dynamically from JavaScript
$ACTIVE_PLUGINS_PLACEHOLDER
// This is stricter, though.
Config::setValue('plugin_config', [
    'infer_pure_methods' => true,
]);

$cli = CLI::fromRawValues([
    'output-mode' => 'html',
    'allow-polyfill-parser' => false,
    'redundant-condition-detection' => false,
    'dead-code-detection' => true,
    'no-progress-bar' => false,
], []);

// Analyze the file list provided via the CLI
$is_issue_found = Phan::analyzeFileList(
    $code_base,
    function (bool $recompute_file_list = false) use ($cli) : array {
        return $cli->getFileList();
    }
);
} catch (\Throwable $e) {
    echo "Caught $e\n";
}

use ast\flags;

function ast_to_array($ast, bool $include_linenos = true): mixed {
    if ($ast instanceof ast\Node) {
        $result = [
            'kind' => ast\get_kind_name($ast->kind),
        ];

if ($include_linenos) {
            $result['lineno'] = $ast->lineno;
            if (isset($ast->endLineno)) {
                $result['endLineno'] = $ast->endLineno;
            }
        }

if (ast\kind_uses_flags($ast->kind) || $ast->flags != 0) {
            $result['flags'] = $ast->flags;
            $result['flags_formatted'] = format_flags($ast->kind, $ast->flags);
        }

$children = [];
        foreach ($ast->children as $key => $child) {
            $children[$key] = ast_to_array($child, $include_linenos);
        }

if (!empty($children)) {
            $result['children'] = $children;
        }

return $result;
    } else if ($ast === null) {
        return null;
    } else if (is_string($ast)) {
        return $ast;
    } else {
        return $ast;
    }
}

try {
    error_reporting(E_ALL);
    ini_set('display_errors', 'stderr');

$code = $CONTENTS_TO_ANALYZE;
    $ast_version = 120; // Latest AST version

$ast = ast\parse_code($code, $ast_version);
    $output = [
        'ast_version' => $ast_version,
        'ast' => ast_to_array($ast, true),
    ];

echo json_encode($output, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES | JSON_UNESCAPED_UNICODE);
} catch (ParseError $e) {
    fwrite(STDERR, "Parse Error: " . $e->getMessage() . "\n");
} catch (Throwable $e) {
    fwrite(STDERR, "Error: " . $e->getMessage() . "\n");
}

Initializing...

Plugins

Strict Type Checking

When enabled, Phan will warn if any type in a union cannot be cast to the expected type. This reveals more bugs but may introduce false positives.

strict_method_checking Warn if any type in a method invocation's object is not an object, or if any type is not callable

strict_param_checking Warn if any type in an argument cannot be cast to the parameter's expected type

strict_property_checking Warn if any type in a property assignment cannot be cast to the property's declared type

strict_return_checking Warn if any type in a returned value cannot be cast to the declared return type

strict_object_checking Warn if any type of the object expression for a property access does not contain that property

Phan in Browser

Configure Phan Analysis

Plugins

Strict Type Checking