1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-13 17:57:37 +01:00
psalm/src/psalm.php

690 lines
19 KiB
PHP
Raw Normal View History

2016-07-26 21:12:44 +02:00
<?php
require_once('command_functions.php');
2016-07-26 21:12:44 +02:00
use Psalm\ErrorBaseline;
2018-11-06 03:57:36 +01:00
use Psalm\Internal\Analyzer\ProjectAnalyzer;
use Psalm\Internal\Provider;
2017-10-07 20:41:16 +02:00
use Psalm\Config;
use Psalm\IssueBuffer;
use Psalm\Progress\DebugProgress;
use Psalm\Progress\DefaultProgress;
use Psalm\Progress\VoidProgress;
2017-10-07 20:41:16 +02:00
2016-07-26 21:12:44 +02:00
// show all errors
2016-10-30 17:46:18 +01:00
error_reporting(-1);
2016-07-26 21:12:44 +02:00
$valid_short_options = [
'f:',
'm',
'h',
'v',
'c:',
'i',
'r:',
];
$valid_long_options = [
'clear-cache',
2018-10-15 17:29:57 +02:00
'clear-global-cache',
'config:',
'debug',
'debug-by-line',
'diff',
'diff-methods',
'disable-extension:',
'find-dead-code::',
'find-unused-code::',
'find-references-to:',
'help',
'ignore-baseline',
'init',
'monochrome',
'no-cache',
'no-reflection-cache',
'output-format:',
'plugin:',
'report:',
'report-show-info:',
'root:',
'set-baseline:',
'show-info:',
'show-snippet:',
'stats',
'threads:',
'update-baseline',
'use-ini-defaults',
'version',
'php-version:',
2019-02-24 07:33:25 +01:00
'generate-json-map:',
2019-03-04 04:59:00 +01:00
'alter',
2019-03-27 16:55:10 +01:00
'language-server',
2019-06-02 07:10:50 +02:00
'refactor',
2019-03-31 20:02:30 +02:00
'shepherd::',
'no-progress',
'include-php-versions', // used for baseline
2019-08-18 20:27:50 +02:00
'track-tainted-input',
'find-unused-psalm-suppress',
];
gc_collect_cycles();
gc_disable();
$args = array_slice($argv, 1);
2019-03-04 04:59:00 +01:00
// get options from command line
$options = getopt(implode('', $valid_short_options), $valid_long_options);
if (isset($options['alter'])) {
include 'psalter.php';
exit;
}
2019-03-27 16:55:10 +01:00
if (isset($options['language-server'])) {
include 'psalm-language-server.php';
exit;
}
2019-06-02 07:10:50 +02:00
if (isset($options['refactor'])) {
include 'psalm-refactor.php';
exit;
}
array_map(
/**
* @param string $arg
*
* @return void
*/
function ($arg) use ($valid_long_options, $valid_short_options) {
if (substr($arg, 0, 2) === '--' && $arg !== '--') {
$arg_name = preg_replace('/=.*$/', '', substr($arg, 2));
if (!in_array($arg_name, $valid_long_options)
&& !in_array($arg_name . ':', $valid_long_options)
&& !in_array($arg_name . '::', $valid_long_options)
) {
fwrite(
STDERR,
'Unrecognised argument "--' . $arg_name . '"' . PHP_EOL
. 'Type --help to see a list of supported arguments'. PHP_EOL
);
exit(1);
}
} elseif (substr($arg, 0, 2) === '-' && $arg !== '-' && $arg !== '--') {
$arg_name = preg_replace('/=.*$/', '', substr($arg, 1));
if (!in_array($arg_name, $valid_short_options) && !in_array($arg_name . ':', $valid_short_options)) {
fwrite(
STDERR,
'Unrecognised argument "-' . $arg_name . '"' . PHP_EOL
. 'Type --help to see a list of supported arguments'. PHP_EOL
);
exit(1);
}
}
},
$args
2016-12-08 04:38:57 +01:00
);
if (!array_key_exists('use-ini-defaults', $options)) {
ini_set('display_errors', '1');
ini_set('display_startup_errors', '1');
ini_set('memory_limit', (string) (8 * 1024 * 1024 * 1024));
}
if (array_key_exists('help', $options)) {
2016-11-05 03:55:13 +01:00
$options['h'] = false;
}
if (array_key_exists('version', $options)) {
$options['v'] = false;
}
2017-02-13 05:59:33 +01:00
if (array_key_exists('init', $options)) {
$options['i'] = false;
}
if (array_key_exists('monochrome', $options)) {
2016-11-05 03:55:13 +01:00
$options['m'] = false;
}
if (isset($options['config'])) {
2016-11-05 03:55:13 +01:00
$options['c'] = $options['config'];
}
2017-01-17 01:44:31 +01:00
if (isset($options['c']) && is_array($options['c'])) {
fwrite(STDERR, 'Too many config files provided' . PHP_EOL);
exit(1);
2017-01-17 01:44:31 +01:00
}
if (array_key_exists('h', $options)) {
echo getPsalmHelpText();
/*
2019-03-31 20:02:30 +02:00
--shepherd[=host]
Send data to Shepherd, Psalm's GitHub integration tool.
`host` is the location of the Shepherd server. It defaults to shepherd.dev
More information is available at https://psalm.dev/shepherd
*/
exit;
}
2016-07-26 21:12:44 +02:00
if (getcwd() === false) {
fwrite(STDERR, 'Cannot get current working directory' . PHP_EOL);
exit(1);
}
if (isset($options['root'])) {
$options['r'] = $options['root'];
}
$current_dir = (string)getcwd() . DIRECTORY_SEPARATOR;
if (isset($options['r']) && is_string($options['r'])) {
$root_path = realpath($options['r']);
if (!$root_path) {
fwrite(
STDERR,
'Could not locate root directory ' . $current_dir . DIRECTORY_SEPARATOR . $options['r'] . PHP_EOL
);
exit(1);
}
$current_dir = $root_path . DIRECTORY_SEPARATOR;
}
$path_to_config = get_path_to_config($options);
$vendor_dir = getVendorDir($current_dir);
$first_autoloader = requireAutoloaders($current_dir, isset($options['r']), $vendor_dir);
$output_format = isset($options['output-format']) && is_string($options['output-format'])
? $options['output-format']
: \Psalm\Report::TYPE_CONSOLE;
if (isset($options['i'])) {
if (file_exists($current_dir . 'psalm.xml')) {
die('A config file already exists in the current directory' . PHP_EOL);
}
$args = array_values(array_filter(
$args,
/**
* @param string $arg
*
* @return bool
*/
function ($arg) {
return $arg !== '--ansi'
&& $arg !== '--no-ansi'
&& $arg !== '-i'
&& $arg !== '--init'
&& strpos($arg, '--disable-extension=') !== 0
&& strpos($arg, '--root=') !== 0
&& strpos($arg, '--r=') !== 0;
}
));
$level = 3;
$source_dir = null;
if (count($args)) {
if (count($args) > 2) {
die('Too many arguments provided for psalm --init' . PHP_EOL);
}
if (isset($args[1])) {
if (!preg_match('/^[1-8]$/', $args[1])) {
die('Config strictness must be a number between 1 and 8 inclusive' . PHP_EOL);
}
$level = (int)$args[1];
}
$source_dir = $args[0];
}
try {
$template_contents = Psalm\Config\Creator::getContents($current_dir, $source_dir, $level);
} catch (Psalm\Exception\ConfigCreationException $e) {
die($e->getMessage() . PHP_EOL);
}
if (!file_put_contents($current_dir . 'psalm.xml', $template_contents)) {
die('Could not write to psalm.xml' . PHP_EOL);
}
exit('Config file created successfully. Please re-run psalm.' . PHP_EOL);
}
if (array_key_exists('v', $options)) {
echo 'Psalm ' . PSALM_VERSION . PHP_EOL;
exit;
}
$config = initialiseConfig($path_to_config, $current_dir, $output_format, $first_autoloader);
if ($config->resolve_from_config_file) {
$current_dir = $config->base_dir;
chdir($current_dir);
}
$threads = isset($options['threads']) ? (int)$options['threads'] : 1;
if ($threads === 1
&& ini_get('pcre.jit') === '1'
&& PHP_OS === 'Darwin'
&& version_compare(PHP_VERSION, '7.3.0') >= 0
) {
echo(
'If you want to run Psalm as a language server, or run Psalm with' . PHP_EOL
. 'multiple processes (--threads=4), beware:' . PHP_EOL
. \Psalm\Internal\Fork\Pool::MAC_PCRE_MESSAGE . PHP_EOL . PHP_EOL
);
}
2018-11-06 03:57:36 +01:00
$ini_handler = new \Psalm\Internal\Fork\PsalmRestarter('PSALM');
2018-07-17 22:54:34 +02:00
if (isset($options['disable-extension'])) {
if (is_array($options['disable-extension'])) {
/** @psalm-suppress MixedAssignment */
2018-07-17 22:54:34 +02:00
foreach ($options['disable-extension'] as $extension) {
if (is_string($extension)) {
$ini_handler->disableExtension($extension);
}
}
} elseif (is_string($options['disable-extension'])) {
$ini_handler->disableExtension($options['disable-extension']);
}
}
if ($threads > 1) {
$ini_handler->disableExtension('grpc');
}
2019-06-06 16:36:26 +02:00
$ini_handler->disableExtension('uopz');
2019-02-24 07:33:25 +01:00
$type_map_location = null;
if (isset($options['generate-json-map']) && is_string($options['generate-json-map'])) {
$type_map_location = $options['generate-json-map'];
2019-02-24 07:33:25 +01:00
}
// If Xdebug is enabled, restart without it
$ini_handler->check();
2017-10-07 20:41:16 +02:00
if (is_null($config->load_xdebug_stub) && '' !== $ini_handler->getSkippedVersion()) {
$config->load_xdebug_stub = true;
}
2018-02-18 04:11:42 +01:00
setlocale(LC_CTYPE, 'C');
if (isset($options['set-baseline'])) {
if (is_array($options['set-baseline'])) {
die('Only one baseline file can be created at a time' . PHP_EOL);
}
}
2017-02-13 05:59:33 +01:00
$output_format = isset($options['output-format']) && is_string($options['output-format'])
? $options['output-format']
: \Psalm\Report::TYPE_CONSOLE;
2016-12-08 04:38:57 +01:00
$paths_to_check = getPathsToCheck(isset($options['f']) ? $options['f'] : null);
$plugins = [];
if (isset($options['plugin'])) {
$plugins = $options['plugin'];
if (!is_array($plugins)) {
$plugins = [$plugins];
}
}
2016-11-05 03:55:13 +01:00
$show_info = isset($options['show-info'])
? $options['show-info'] !== 'false' && $options['show-info'] !== '0'
: true;
2016-11-05 03:55:13 +01:00
2016-10-07 06:58:08 +02:00
$is_diff = isset($options['diff']);
2016-07-26 21:12:44 +02:00
/** @var false|'always'|'auto' $find_unused_code */
$find_unused_code = false;
if (isset($options['find-dead-code'])) {
$options['find-unused-code'] = $options['find-dead-code'];
}
if (isset($options['find-unused-code'])) {
if ($options['find-unused-code'] === 'always') {
$find_unused_code = 'always';
} else {
$find_unused_code = 'auto';
}
}
$find_references_to = isset($options['find-references-to']) && is_string($options['find-references-to'])
? $options['find-references-to']
: null;
2019-03-31 20:02:30 +02:00
if (isset($options['shepherd'])) {
if (is_string($options['shepherd'])) {
$config->shepherd_host = $options['shepherd'];
}
2019-03-31 20:02:30 +02:00
$shepherd_plugin = __DIR__ . '/Psalm/Plugin/Shepherd.php';
2019-03-31 20:02:30 +02:00
if (!file_exists($shepherd_plugin)) {
die('Could not find Shepherd plugin location ' . $shepherd_plugin . PHP_EOL);
}
2019-03-31 20:02:30 +02:00
$plugins[] = $shepherd_plugin;
}
2018-02-08 02:15:56 +01:00
if (isset($options['clear-cache'])) {
$cache_directory = $config->getCacheDirectory();
Config::removeCacheDirectory($cache_directory);
echo 'Cache directory deleted' . PHP_EOL;
exit;
}
2018-10-15 17:29:57 +02:00
if (isset($options['clear-global-cache'])) {
$cache_directory = $config->getGlobalCacheDirectory();
2019-04-14 19:04:25 +02:00
if ($cache_directory) {
Config::removeCacheDirectory($cache_directory);
echo 'Global cache directory deleted' . PHP_EOL;
}
2018-10-15 17:29:57 +02:00
exit;
}
2019-05-31 19:22:40 +02:00
// disable progressbar on CI
if (isset($_SERVER['TRAVIS'])
|| isset($_SERVER['CIRCLECI'])
|| isset($_SERVER['APPVEYOR'])
|| isset($_SERVER['JENKINS_URL'])
|| isset($_SERVER['SCRUTINIZER'])
|| isset($_SERVER['GITLAB_CI'])
|| isset($_SERVER['GITHUB_WORKFLOW'])
) {
$options['no-progress'] = true;
}
$debug = array_key_exists('debug', $options) || array_key_exists('debug-by-line', $options);
$progress = $debug
? new DebugProgress()
2019-06-03 17:20:42 +02:00
: (isset($options['no-progress']) ? new VoidProgress() : new DefaultProgress(!$config->error_baseline, $show_info));
if (isset($options['no-cache'])) {
$providers = new Provider\Providers(
new Provider\FileProvider
);
} else {
$no_reflection_cache = isset($options['no-reflection-cache']);
$file_storage_cache_provider = $no_reflection_cache
? null
: new Provider\FileStorageCacheProvider($config);
$classlike_storage_cache_provider = $no_reflection_cache
? null
: new Provider\ClassLikeStorageCacheProvider($config);
$providers = new Provider\Providers(
new Provider\FileProvider,
new Provider\ParserCacheProvider($config),
$file_storage_cache_provider,
$classlike_storage_cache_provider,
new Provider\FileReferenceCacheProvider($config)
);
}
$stdout_report_options = new \Psalm\Report\ReportOptions();
$stdout_report_options->use_color = !array_key_exists('m', $options);
$stdout_report_options->show_info = $show_info;
/**
* @psalm-suppress PropertyTypeCoercion
*/
$stdout_report_options->format = $output_format;
$stdout_report_options->show_snippet = !isset($options['show-snippet']) || $options['show-snippet'] !== "false";
2018-11-11 18:01:14 +01:00
$project_analyzer = new ProjectAnalyzer(
$config,
$providers,
$stdout_report_options,
ProjectAnalyzer::getFileReportOptions(
isset($options['report']) && is_string($options['report']) ? [$options['report']] : [],
isset($options['report-show-info'])
? $options['report-show-info'] !== 'false' && $options['report-show-info'] !== '0'
: true
),
Refactor scanning and analysis, introducing multithreading (#191) * Add failing test * Add visitor to soup up classlike references * Move a whole bunch of code into the visitor * Move some methods back, move onto analysis stage * Use the getAliases method everywhere * Fix refs * Fix more refs * Fix some tests * Fix more tests * Fix include tests * Shift config class finding to project checker and fix bugs * Fix a few more tests * transition test to new syntax * Remove var_dump * Delete a bunch of code and fix mutation test * Remove unnecessary visitation * Transition to better mocked out file provider, breaking some cached statement loading * Use different scheme for naming anonymous classes * Fix anonymous class issues * Refactor file/statement loading * Add specific property types * Fix mapped property assignment * Improve how we deal with traits * Fix trait checking * Pass Psalm checks * Add multi-process support * Delay console output until the end * Remove PHP 7 syntax * Update file storage with classes * Fix scanning individual files and add reflection return types * Always turn XDebug off * Add quicker method of getting method mutations * Queue return types for crawling * Interpret all strings as possible classes once we see a `get_class` call * Check invalid return types again * Fix template namespacing issues * Default to class-insensitive file names for includes * Don’t overwrite existing issues data * Add var docblocks for scanning * Add null check * Fix loading of external classes in templates * Only try to populate class when we haven’t yet seen it’s not a class * Fix trait property accessibility * Only ever improve docblock param type * Make param replacement more robust * Fix static const missing inferred type * Fix a few more tests * Register constant definitions * Fix trait aliasing * Skip constant type tests for now * Fix linting issues * Make sure caching is off for tests * Remove unnecessary return * Use emulative parser if on PHP 5.6 * Cache parser for faster first-time parse * Fix constant resolution when scanning classes * Remove test that’s beyond a practical scope * Add back --diff support * Add --help for --threads * Remove unused vars
2017-07-25 22:11:02 +02:00
$threads,
$progress
);
2017-01-16 17:05:29 +01:00
if (isset($options['php-version'])) {
if (!is_string($options['php-version'])) {
die('Expecting a version number in the format x.y' . PHP_EOL);
}
$project_analyzer->setPhpVersion($options['php-version']);
}
2018-11-11 18:01:14 +01:00
$project_analyzer->getCodebase()->diff_methods = isset($options['diff-methods']);
2019-02-24 07:33:25 +01:00
if ($type_map_location) {
$project_analyzer->getCodebase()->store_node_types = true;
}
2018-10-10 22:05:06 +02:00
$start_time = microtime(true);
$config->visitComposerAutoloadFiles($project_analyzer, $progress);
2018-10-10 22:05:06 +02:00
$now_time = microtime(true);
$progress->debug('Visiting autoload files took ' . number_format($now_time - $start_time, 3) . 's' . "\n");
2018-03-26 15:08:55 +02:00
if (array_key_exists('debug-by-line', $options)) {
2018-11-11 18:01:14 +01:00
$project_analyzer->debug_lines = true;
2018-03-26 15:08:55 +02:00
}
if ($config->find_unused_code) {
$find_unused_code = 'auto';
}
if ($find_references_to !== null) {
$project_analyzer->getCodebase()->collectLocations();
$project_analyzer->show_issues = false;
2018-02-04 00:52:35 +01:00
}
if ($find_unused_code) {
$project_analyzer->getCodebase()->reportUnusedCode($find_unused_code);
}
if ($config->find_unused_variables) {
$project_analyzer->getCodebase()->reportUnusedVariables();
}
if (isset($options['track-tainted-input'])) {
$project_analyzer->trackTaintedInputs();
}
2019-08-18 20:27:50 +02:00
if (isset($options['find-unused-psalm-suppress'])) {
$project_analyzer->trackUnusedSuppressions();
}
/** @var string $plugin_path */
foreach ($plugins as $plugin_path) {
$config->addPluginPath($plugin_path);
}
if ($paths_to_check === null) {
2018-11-11 18:01:14 +01:00
$project_analyzer->check($current_dir, $is_diff);
} elseif ($paths_to_check) {
2018-11-11 18:01:14 +01:00
$project_analyzer->checkPaths($paths_to_check);
2016-07-26 21:12:44 +02:00
}
2018-01-22 05:42:57 +01:00
if ($find_references_to) {
2018-11-11 18:01:14 +01:00
$project_analyzer->findReferencesTo($find_references_to);
2018-01-22 05:42:57 +01:00
}
if (isset($options['set-baseline']) && is_string($options['set-baseline'])) {
if ($is_diff) {
fwrite(STDERR, 'Cannot set baseline in --diff mode' . PHP_EOL);
} else {
fwrite(STDERR, 'Writing error baseline to file...' . PHP_EOL);
ErrorBaseline::create(
new \Psalm\Internal\Provider\FileProvider,
$options['set-baseline'],
IssueBuffer::getIssuesData(),
$config->include_php_versions_in_error_baseline || isset($options['include-php-versions'])
);
fwrite(STDERR, "Baseline saved to {$options['set-baseline']}.");
update_config_file(
$config,
$path_to_config ?? $current_dir,
$options['set-baseline']
);
fwrite(STDERR, PHP_EOL);
}
}
$issue_baseline = [];
if (isset($options['update-baseline'])) {
if ($is_diff) {
fwrite(STDERR, 'Cannot update baseline in --diff mode' . PHP_EOL);
} else {
$baselineFile = Config::getInstance()->error_baseline;
if (empty($baselineFile)) {
die('Cannot update baseline, because no baseline file is configured.' . PHP_EOL);
}
try {
$issue_current_baseline = ErrorBaseline::read(
new \Psalm\Internal\Provider\FileProvider,
$baselineFile
);
$total_issues_current_baseline = ErrorBaseline::countTotalIssues($issue_current_baseline);
$issue_baseline = ErrorBaseline::update(
new \Psalm\Internal\Provider\FileProvider,
$baselineFile,
IssueBuffer::getIssuesData(),
$config->include_php_versions_in_error_baseline || isset($options['include-php-versions'])
);
$total_issues_updated_baseline = ErrorBaseline::countTotalIssues($issue_baseline);
$total_fixed_issues = $total_issues_current_baseline - $total_issues_updated_baseline;
if ($total_fixed_issues > 0) {
echo str_repeat('-', 30) . "\n";
echo $total_fixed_issues . ' errors fixed' . "\n";
}
} catch (\Psalm\Exception\ConfigException $exception) {
fwrite(STDERR, 'Could not update baseline file: ' . $exception->getMessage() . PHP_EOL);
exit(1);
}
}
}
if (!empty(Config::getInstance()->error_baseline) && !isset($options['ignore-baseline'])) {
try {
$issue_baseline = ErrorBaseline::read(
2018-11-06 03:57:36 +01:00
new \Psalm\Internal\Provider\FileProvider,
(string)Config::getInstance()->error_baseline
);
} catch (\Psalm\Exception\ConfigException $exception) {
fwrite(STDERR, 'Error while reading baseline: ' . $exception->getMessage() . PHP_EOL);
exit(1);
}
}
2019-02-24 07:33:25 +01:00
if ($type_map_location) {
$file_map = $providers->file_reference_provider->getFileMaps();
$name_file_map = [];
$expected_references = [];
foreach ($file_map as $file_path => $map) {
$file_name = $config->shortenFileName($file_path);
2019-02-24 07:47:53 +01:00
foreach ($map[0] as $map_parts) {
$expected_references[$map_parts[1]] = true;
2019-02-24 07:33:25 +01:00
}
$map[2] = [];
$name_file_map[$file_name] = $map;
}
$reference_dictionary = [];
foreach ($providers->classlike_storage_provider->getAll() as $storage) {
if (!$storage->location) {
continue;
}
$fq_classlike_name = $storage->name;
if (isset($expected_references[$fq_classlike_name])) {
$reference_dictionary[$fq_classlike_name]
= $storage->location->file_name
. ':' . $storage->location->getLineNumber()
. ':' . $storage->location->getColumn();
}
foreach ($storage->methods as $method_name => $method_storage) {
if (!$method_storage->location) {
continue;
}
if (isset($expected_references[$fq_classlike_name . '::' . $method_name . '()'])) {
$reference_dictionary[$fq_classlike_name . '::' . $method_name . '()']
= $method_storage->location->file_name
. ':' . $method_storage->location->getLineNumber()
. ':' . $method_storage->location->getColumn();
}
}
foreach ($storage->properties as $property_name => $property_storage) {
if (!$property_storage->location) {
continue;
}
if (isset($expected_references[$fq_classlike_name . '::$' . $property_name])) {
$reference_dictionary[$fq_classlike_name . '::$' . $property_name]
= $property_storage->location->file_name
. ':' . $property_storage->location->getLineNumber()
. ':' . $property_storage->location->getColumn();
}
}
}
$type_map_string = json_encode(['files' => $name_file_map, 'references' => $reference_dictionary]);
2019-02-24 07:33:25 +01:00
$providers->file_provider->setContents(
$type_map_location,
$type_map_string
2019-02-24 07:33:25 +01:00
);
}
IssueBuffer::finish(
2018-11-11 18:01:14 +01:00
$project_analyzer,
!$paths_to_check,
$start_time,
isset($options['stats']),
$issue_baseline
);