mirror of
https://github.com/danog/psalm.git
synced 2024-12-13 01:37:23 +01:00
8d36bdc3ed
* Make array shapes strict by default * Fix PSL tests
2621 lines
94 KiB
PHP
2621 lines
94 KiB
PHP
<?php
|
|
|
|
namespace Psalm\Tests;
|
|
|
|
use Psalm\Config;
|
|
use Psalm\Context;
|
|
use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
|
|
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
|
|
|
|
use const DIRECTORY_SEPARATOR;
|
|
|
|
class FunctionCallTest extends TestCase
|
|
{
|
|
use InvalidCodeAnalysisTestTrait;
|
|
use ValidCodeAnalysisTestTrait;
|
|
|
|
/**
|
|
*
|
|
*/
|
|
public function providerValidCodeParse(): iterable
|
|
{
|
|
return [
|
|
'preg_grep' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param array<int,string> $strings
|
|
* @return array<int,string>
|
|
*/
|
|
function filter(array $strings): array {
|
|
return preg_grep("/search/", $strings, PREG_GREP_INVERT);
|
|
}
|
|
'
|
|
],
|
|
'typedArrayWithDefault' => [
|
|
'code' => '<?php
|
|
class A {}
|
|
|
|
/** @param array<A> $a */
|
|
function fooFoo(array $a = []): void {
|
|
|
|
}',
|
|
],
|
|
'abs' => [
|
|
'code' => '<?php
|
|
$a = abs(-5);
|
|
$b = abs(-7.5);
|
|
$c = $_GET["c"];
|
|
$c = is_numeric($c) ? abs($c) : null;',
|
|
'assertions' => [
|
|
'$a' => 'int<0, max>',
|
|
'$b' => 'float',
|
|
'$c' => 'float|int<0, max>|null',
|
|
],
|
|
'ignored_issues' => ['MixedAssignment', 'MixedArgument'],
|
|
],
|
|
'validDocblockParamDefault' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param int|false $p
|
|
* @return void
|
|
*/
|
|
function f($p = false) {}',
|
|
],
|
|
'byRefNewString' => [
|
|
'code' => '<?php
|
|
function fooFoo(?string &$v): void {}
|
|
fooFoo($a);',
|
|
],
|
|
'byRefVariableFunctionExistingArray' => [
|
|
'code' => '<?php
|
|
$arr = [];
|
|
function fooFoo(array &$v): void {}
|
|
$function = "fooFoo";
|
|
$function($arr);
|
|
if ($arr) {}',
|
|
],
|
|
'byRefProperty' => [
|
|
'code' => '<?php
|
|
class A {
|
|
/** @var string */
|
|
public $foo = "hello";
|
|
}
|
|
|
|
$a = new A();
|
|
|
|
function fooFoo(string &$v): void {}
|
|
|
|
fooFoo($a->foo);',
|
|
],
|
|
'namespaced' => [
|
|
'code' => '<?php
|
|
namespace A;
|
|
|
|
/** @return void */
|
|
function f(int $p) {}
|
|
f(5);',
|
|
],
|
|
'namespacedRootFunctionCall' => [
|
|
'code' => '<?php
|
|
namespace {
|
|
/** @return void */
|
|
function foo() { }
|
|
}
|
|
namespace A\B\C {
|
|
foo();
|
|
}',
|
|
],
|
|
'namespacedAliasedFunctionCall' => [
|
|
'code' => '<?php
|
|
namespace Aye {
|
|
/** @return void */
|
|
function foo() { }
|
|
}
|
|
namespace Bee {
|
|
use Aye as A;
|
|
|
|
A\foo();
|
|
}',
|
|
],
|
|
'noRedundantConditionAfterArrayObjectCountCheck' => [
|
|
'code' => '<?php
|
|
/** @var ArrayObject<int, int> */
|
|
$a = [];
|
|
$b = 5;
|
|
if (count($a)) {}',
|
|
],
|
|
'noRedundantConditionAfterMixedOrEmptyArrayCountCheck' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
$a = $GLOBALS["s"] ?: [];
|
|
if (count($a)) {}
|
|
if (!count($a)) {}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => ['MixedAssignment', 'MixedArgument'],
|
|
],
|
|
'objectLikeArrayAssignmentInConditional' => [
|
|
'code' => '<?php
|
|
$a = [];
|
|
|
|
if (rand(0, 1)) {
|
|
$a["a"] = 5;
|
|
}
|
|
|
|
if (count($a)) {}
|
|
if (!count($a)) {}',
|
|
],
|
|
'noRedundantConditionAfterCheckingExplodeLength' => [
|
|
'code' => '<?php
|
|
/** @var string */
|
|
$s = "hello";
|
|
$segments = explode(".", $s);
|
|
if (count($segments) === 1) {}',
|
|
],
|
|
'arrayPopNonEmptyAfterThreeAssertions' => [
|
|
'code' => '<?php
|
|
class A {}
|
|
class B extends A {
|
|
/** @var array<int, string> */
|
|
public $arr = [];
|
|
}
|
|
|
|
/** @var array<A> */
|
|
$replacement_stmts = [];
|
|
|
|
if (!$replacement_stmts
|
|
|| !$replacement_stmts[0] instanceof B
|
|
|| count($replacement_stmts[0]->arr) > 1
|
|
) {
|
|
return null;
|
|
}
|
|
|
|
$b = $replacement_stmts[0]->arr;',
|
|
'assertions' => [
|
|
'$b' => 'array<int, string>',
|
|
],
|
|
],
|
|
'countMoreThan0CanBeInverted' => [
|
|
'code' => '<?php
|
|
$a = [];
|
|
|
|
if (rand(0, 1)) {
|
|
$a[] = "hello";
|
|
}
|
|
|
|
if (count($a) > 0) {
|
|
exit;
|
|
}',
|
|
'assertions' => [
|
|
'$a' => 'array<never, never>',
|
|
],
|
|
],
|
|
'countCheckOnNonEmptyArray' => [
|
|
'code' => '<?php
|
|
/** @param non-empty-array<string> $arr */
|
|
function foo(array $arr): void {
|
|
if (count($arr) > 5) {}
|
|
}',
|
|
],
|
|
'byRefAfterCallable' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param callable $callback
|
|
* @return void
|
|
*/
|
|
function route($callback) {
|
|
if (!is_callable($callback)) { }
|
|
$a = preg_match("", "", $b);
|
|
if ($b[0]) {}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => [
|
|
'MixedAssignment',
|
|
'MixedArrayAccess',
|
|
'RedundantConditionGivenDocblockType',
|
|
],
|
|
],
|
|
'ignoreNullablePregReplace' => [
|
|
'code' => '<?php
|
|
function foo(string $s): string {
|
|
$s = preg_replace("/hello/", "", $s);
|
|
if ($s === null) {
|
|
return "hello";
|
|
}
|
|
return $s;
|
|
}
|
|
function bar(string $s): string {
|
|
$s = preg_replace("/hello/", "", $s);
|
|
return $s;
|
|
}
|
|
function bat(string $s): ?string {
|
|
$s = preg_replace("/hello/", "", $s);
|
|
return $s;
|
|
}',
|
|
],
|
|
'extractVarCheck' => [
|
|
'code' => '<?php
|
|
function takesString(string $str): void {}
|
|
|
|
$foo = null;
|
|
$a = ["$foo" => "bar"];
|
|
extract($a);
|
|
takesString($foo);',
|
|
'assertions' => [],
|
|
'ignored_issues' => [
|
|
'MixedAssignment',
|
|
'MixedArrayAccess',
|
|
'MixedArgument',
|
|
],
|
|
],
|
|
'compact' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @return array<string, mixed>
|
|
*/
|
|
function test(): array {
|
|
return compact(["val"]);
|
|
}',
|
|
],
|
|
'objectLikeKeyChecksAgainstGeneric' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param array<string, string> $b
|
|
*/
|
|
function a($b): string
|
|
{
|
|
return $b["a"];
|
|
}
|
|
|
|
a(["a" => "hello"]);',
|
|
],
|
|
'objectLikeKeyChecksAgainstTKeyedArray' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param array{a: string} $b
|
|
*/
|
|
function a($b): string
|
|
{
|
|
return $b["a"];
|
|
}
|
|
|
|
a(["a" => "hello"]);',
|
|
],
|
|
'getenv' => [
|
|
'code' => '<?php
|
|
$a = getenv();
|
|
$b = getenv("some_key");',
|
|
'assertions' => [
|
|
'$a' => 'array<string, string>',
|
|
'$b' => 'false|string',
|
|
],
|
|
],
|
|
'ignoreFalsableFileGetContents' => [
|
|
'code' => '<?php
|
|
function foo(string $s): string {
|
|
return file_get_contents($s);
|
|
}
|
|
function bar(string $s): string {
|
|
$a = file_get_contents($s);
|
|
if ($a === false) {
|
|
return "hello";
|
|
}
|
|
return $a;
|
|
}
|
|
/**
|
|
* @return false|string
|
|
*/
|
|
function bat(string $s) {
|
|
return file_get_contents($s);
|
|
}',
|
|
],
|
|
'validCallables' => [
|
|
'code' => '<?php
|
|
class A {
|
|
public static function b() : void {}
|
|
}
|
|
|
|
function c() : void {}
|
|
|
|
["a", "b"]();
|
|
"A::b"();
|
|
"c"();',
|
|
],
|
|
'noInvalidOperandForCoreFunctions' => [
|
|
'code' => '<?php
|
|
function foo(string $a, string $b) : int {
|
|
$aTime = strtotime($a);
|
|
$bTime = strtotime($b);
|
|
|
|
return $aTime - $bTime;
|
|
}',
|
|
],
|
|
'strposIntSecondParam' => [
|
|
'code' => '<?php
|
|
function hasZeroByteOffset(string $s) : bool {
|
|
return strpos($s, 0) !== false;
|
|
}',
|
|
],
|
|
'functionCallInGlobalScope' => [
|
|
'code' => '<?php
|
|
$a = function() use ($argv) : void {};',
|
|
],
|
|
'varExport' => [
|
|
'code' => '<?php
|
|
$a = var_export(["a"], true);',
|
|
'assertions' => [
|
|
'$a' => 'string',
|
|
],
|
|
],
|
|
'varExportConstFetch' => [
|
|
'code' => '<?php
|
|
class Foo {
|
|
const BOOL_VAR_EXPORT_RETURN = true;
|
|
|
|
/**
|
|
* @param mixed $mixed
|
|
*/
|
|
public static function Baz($mixed) : string {
|
|
return var_export($mixed, self::BOOL_VAR_EXPORT_RETURN);
|
|
}
|
|
}',
|
|
],
|
|
'explode' => [
|
|
'code' => '<?php
|
|
/** @var string $string */
|
|
$elements = explode(" ", $string);',
|
|
'assertions' => [
|
|
'$elements' => 'non-empty-list<string>',
|
|
],
|
|
],
|
|
'explodeWithPositiveLimit' => [
|
|
'code' => '<?php
|
|
/** @var string $string */
|
|
$elements = explode(" ", $string, 5);',
|
|
'assertions' => [
|
|
'$elements' => 'non-empty-list<string>',
|
|
],
|
|
],
|
|
'explodeWithNegativeLimit' => [
|
|
'code' => '<?php
|
|
/** @var string $string */
|
|
$elements = explode(" ", $string, -5);',
|
|
'assertions' => [
|
|
'$elements' => 'list<string>',
|
|
],
|
|
],
|
|
'explodeWithDynamicLimit' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var string $string
|
|
* @var int $limit
|
|
*/
|
|
$elements = explode(" ", $string, $limit);',
|
|
'assertions' => [
|
|
'$elements' => 'list<string>',
|
|
],
|
|
],
|
|
'explodeWithDynamicDelimiter' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var string $delim
|
|
* @var string $string
|
|
*/
|
|
$elements = explode($delim, $string);',
|
|
'assertions' => [
|
|
'$elements' => 'false|non-empty-list<string>',
|
|
],
|
|
],
|
|
'explodeWithDynamicDelimiterAndPositiveLimit' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var string $delim
|
|
* @var string $string
|
|
*/
|
|
$elements = explode($delim, $string, 5);',
|
|
'assertions' => [
|
|
'$elements' => 'false|non-empty-list<string>',
|
|
],
|
|
],
|
|
'explodeWithDynamicDelimiterAndNegativeLimit' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var string $delim
|
|
* @var string $string
|
|
*/
|
|
$elements = explode($delim, $string, -5);',
|
|
'assertions' => [
|
|
'$elements' => 'false|list<string>',
|
|
],
|
|
],
|
|
'explodeWithDynamicDelimiterAndLimit' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var string $delim
|
|
* @var string $string
|
|
* @var int $limit
|
|
*/
|
|
$elements = explode($delim, $string, $limit);',
|
|
'assertions' => [
|
|
'$elements' => 'false|list<string>',
|
|
],
|
|
],
|
|
'explodeWithDynamicNonEmptyDelimiter' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var non-empty-string $delim
|
|
* @var string $string
|
|
*/
|
|
$elements = explode($delim, $string);',
|
|
'assertions' => [
|
|
'$elements' => 'non-empty-list<string>',
|
|
],
|
|
],
|
|
'explodeWithLiteralNonEmptyDelimiter' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var string $string
|
|
*/
|
|
$elements = explode(" ", $string);',
|
|
'assertions' => [
|
|
'$elements' => 'non-empty-list<string>',
|
|
],
|
|
],
|
|
'explodeWithLiteralEmptyDelimiter' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var string $string
|
|
*/
|
|
$elements = explode("", $string);',
|
|
'assertions' => [
|
|
'$elements' => 'false',
|
|
],
|
|
],
|
|
'explodeWithPossiblyFalse' => [
|
|
'code' => '<?php
|
|
/** @return non-empty-list<string> */
|
|
function exploder(string $d, string $s) : array {
|
|
return explode($d, $s);
|
|
}',
|
|
],
|
|
'allowPossiblyUndefinedClassInClassExists' => [
|
|
'code' => '<?php
|
|
if (class_exists(Foo::class)) {}',
|
|
],
|
|
'allowConstructorAfterClassExists' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
if (class_exists($s)) {
|
|
new $s();
|
|
}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => ['MixedMethodCall'],
|
|
],
|
|
'next' => [
|
|
'code' => '<?php
|
|
$arr = ["one", "two", "three"];
|
|
$n = next($arr);',
|
|
'assertions' => [
|
|
'$n' => 'false|string',
|
|
],
|
|
],
|
|
'iteratorToArray' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @return Generator<stdClass>
|
|
*/
|
|
function generator(): Generator {
|
|
yield new stdClass;
|
|
}
|
|
|
|
$a = iterator_to_array(generator());',
|
|
'assertions' => [
|
|
'$a' => 'array<array-key, stdClass>',
|
|
],
|
|
],
|
|
'iteratorToArrayWithGetIterator' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @implements IteratorAggregate<int, string>
|
|
*/
|
|
class C implements IteratorAggregate {
|
|
/**
|
|
* @return Traversable<int,string>
|
|
*/
|
|
public function getIterator() {
|
|
yield 1 => "1";
|
|
}
|
|
}
|
|
$a = iterator_to_array(new C);',
|
|
'assertions' => [
|
|
'$a' => 'array<int, string>',
|
|
],
|
|
],
|
|
'iteratorToArrayWithGetIteratorReturningList' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @implements IteratorAggregate<int, string>
|
|
*/
|
|
class C implements IteratorAggregate {
|
|
/**
|
|
* @return Traversable<int, string>
|
|
*/
|
|
public function getIterator() {
|
|
yield 1 => "1";
|
|
}
|
|
}
|
|
$a = iterator_to_array(new C, false);',
|
|
'assertions' => [
|
|
'$a' => 'list<string>',
|
|
],
|
|
],
|
|
'strtrWithPossiblyFalseFirstArg' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param false|string $str
|
|
* @param array<string, string> $replace_pairs
|
|
* @return string
|
|
*/
|
|
function strtr_wrapper($str, array $replace_pairs) {
|
|
/** @psalm-suppress PossiblyFalseArgument */
|
|
return strtr($str, $replace_pairs);
|
|
}',
|
|
],
|
|
'versionCompare' => [
|
|
'code' => '<?php
|
|
/** @return "="|"==" */
|
|
function getString() : string {
|
|
return rand(0, 1) ? "==" : "=";
|
|
}
|
|
|
|
$a = version_compare("5.0.0", "7.0.0");
|
|
$b = version_compare("5.0.0", "7.0.0", "==");
|
|
$c = version_compare("5.0.0", "7.0.0", getString());
|
|
',
|
|
'assertions' => [
|
|
'$a' => 'int',
|
|
'$b' => 'bool',
|
|
'$c' => 'bool',
|
|
],
|
|
],
|
|
'getTimeOfDay' => [
|
|
'code' => '<?php
|
|
$a = gettimeofday(true) - gettimeofday(true);
|
|
$b = gettimeofday();
|
|
$c = gettimeofday(false);',
|
|
'assertions' => [
|
|
'$a' => 'float',
|
|
'$b' => 'array<string, int>',
|
|
'$c' => 'array<string, int>',
|
|
],
|
|
],
|
|
'parseUrlArray' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : string {
|
|
$parts = parse_url($s);
|
|
return $parts["host"] ?? "";
|
|
}
|
|
|
|
function hereisanotherone(string $s) : string {
|
|
$parsed = parse_url($s);
|
|
|
|
if (isset($parsed["host"])) {
|
|
return $parsed["host"];
|
|
}
|
|
|
|
return "";
|
|
}
|
|
|
|
function hereisthelastone(string $s) : string {
|
|
$parsed = parse_url($s);
|
|
|
|
if (isset($parsed["host"])) {
|
|
return $parsed["host"];
|
|
}
|
|
|
|
return "";
|
|
}
|
|
|
|
function portisint(string $s) : int {
|
|
$parsed = parse_url($s);
|
|
|
|
if (isset($parsed["port"])) {
|
|
return $parsed["port"];
|
|
}
|
|
|
|
return 80;
|
|
}
|
|
|
|
function portismaybeint(string $s) : ? int {
|
|
$parsed = parse_url($s);
|
|
|
|
return $parsed["port"] ?? null;
|
|
}
|
|
|
|
$porta = parse_url("", PHP_URL_PORT);
|
|
$porte = parse_url("localhost:443", PHP_URL_PORT);',
|
|
'assertions' => [
|
|
'$porta' => 'false|int|null',
|
|
'$porte' => 'false|int|null',
|
|
],
|
|
'ignored_issues' => ['MixedReturnStatement', 'MixedInferredReturnType'],
|
|
],
|
|
'parseUrlComponent' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : string {
|
|
return parse_url($s, PHP_URL_HOST) ?? "";
|
|
}
|
|
|
|
function bar(string $s) : string {
|
|
return parse_url($s, PHP_URL_HOST);
|
|
}
|
|
|
|
function bag(string $s) : string {
|
|
$host = parse_url($s, PHP_URL_HOST);
|
|
|
|
if (is_string($host)) {
|
|
return $host;
|
|
}
|
|
|
|
return "";
|
|
}',
|
|
],
|
|
'parseUrlTypes' => [
|
|
'code' => '<?php
|
|
$url = "foo";
|
|
$components = parse_url($url);
|
|
$scheme = parse_url($url, PHP_URL_SCHEME);
|
|
$host = parse_url($url, PHP_URL_HOST);
|
|
$port = parse_url($url, PHP_URL_PORT);
|
|
$user = parse_url($url, PHP_URL_USER);
|
|
$pass = parse_url($url, PHP_URL_PASS);
|
|
$path = parse_url($url, PHP_URL_PATH);
|
|
$query = parse_url($url, PHP_URL_QUERY);
|
|
$fragment = parse_url($url, PHP_URL_FRAGMENT);',
|
|
'assertions' => [
|
|
'$components' => 'array{fragment?: string, host?: string, pass?: string, path?: string, port?: int, query?: string, scheme?: string, user?: string}|false',
|
|
'$scheme' => 'false|null|string',
|
|
'$host' => 'false|null|string',
|
|
'$port' => 'false|int|null',
|
|
'$user' => 'false|null|string',
|
|
'$pass' => 'false|null|string',
|
|
'$path' => 'false|null|string',
|
|
'$query' => 'false|null|string',
|
|
'$fragment' => 'false|null|string',
|
|
],
|
|
],
|
|
'parseUrlDefaultComponent' => [
|
|
'code' => '<?php
|
|
$component = -1;
|
|
$url = "foo";
|
|
$a = parse_url($url, -1);
|
|
$b = parse_url($url, -42);
|
|
$c = parse_url($url, $component);',
|
|
'assertions' => [
|
|
'$a' => 'array{fragment?: string, host?: string, pass?: string, path?: string, port?: int, query?: string, scheme?: string, user?: string}|false',
|
|
'$b' => 'array{fragment?: string, host?: string, pass?: string, path?: string, port?: int, query?: string, scheme?: string, user?: string}|false',
|
|
'$c' => 'array{fragment?: string, host?: string, pass?: string, path?: string, port?: int, query?: string, scheme?: string, user?: string}|false',
|
|
],
|
|
],
|
|
'triggerUserError' => [
|
|
'code' => '<?php
|
|
function mightLeave() : string {
|
|
if (rand(0, 1)) {
|
|
trigger_error("bad", E_USER_ERROR);
|
|
} else {
|
|
return "here";
|
|
}
|
|
}',
|
|
],
|
|
'getParentClass' => [
|
|
'code' => '<?php
|
|
class A {}
|
|
class B extends A {}
|
|
|
|
$b = get_parent_class(new A());
|
|
if ($b === false) {}
|
|
$c = new $b();',
|
|
'assertions' => [],
|
|
'ignored_issues' => ['MixedMethodCall'],
|
|
],
|
|
'suppressError' => [
|
|
'code' => '<?php
|
|
$a = @file_get_contents("foo");',
|
|
'assertions' => [
|
|
'$a' => 'false|string',
|
|
],
|
|
],
|
|
'echo' => [
|
|
'code' => '<?php
|
|
echo false;',
|
|
],
|
|
'printrOutput' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
echo $s;
|
|
}
|
|
|
|
foo(print_r(1, true));',
|
|
],
|
|
'microtime' => [
|
|
'code' => '<?php
|
|
$a = microtime(true);
|
|
$b = microtime();
|
|
/** @psalm-suppress InvalidScalarArgument */
|
|
$c = microtime(1);
|
|
$d = microtime(false);',
|
|
'assertions' => [
|
|
'$a' => 'float',
|
|
'$b' => 'string',
|
|
'$c' => 'float|string',
|
|
'$d' => 'string',
|
|
],
|
|
],
|
|
'filterVar' => [
|
|
'code' => '<?php
|
|
function filterInt(string $s) : int {
|
|
$filtered = filter_var($s, FILTER_VALIDATE_INT);
|
|
if ($filtered === false) {
|
|
return 0;
|
|
}
|
|
return $filtered;
|
|
}
|
|
function filterNullableInt(string $s) : ?int {
|
|
return filter_var($s, FILTER_VALIDATE_INT, ["options" => ["default" => null]]);
|
|
}
|
|
function filterIntWithDefault(string $s) : int {
|
|
return filter_var($s, FILTER_VALIDATE_INT, ["options" => ["default" => 5]]);
|
|
}
|
|
function filterBool(string $s) : bool {
|
|
return filter_var($s, FILTER_VALIDATE_BOOLEAN);
|
|
}
|
|
function filterNullableBool(string $s) : ?bool {
|
|
return filter_var($s, FILTER_VALIDATE_BOOLEAN, FILTER_NULL_ON_FAILURE);
|
|
}
|
|
function filterNullableBoolWithFlagsArray(string $s) : ?bool {
|
|
return filter_var($s, FILTER_VALIDATE_BOOLEAN, ["flags" => FILTER_NULL_ON_FAILURE]);
|
|
}
|
|
function filterFloat(string $s) : float {
|
|
$filtered = filter_var($s, FILTER_VALIDATE_FLOAT);
|
|
if ($filtered === false) {
|
|
return 0.0;
|
|
}
|
|
return $filtered;
|
|
}
|
|
function filterFloatWithDefault(string $s) : float {
|
|
return filter_var($s, FILTER_VALIDATE_FLOAT, ["options" => ["default" => 5.0]]);
|
|
}',
|
|
],
|
|
'callVariableVar' => [
|
|
'code' => '<?php
|
|
class Foo
|
|
{
|
|
public static function someInt(): int
|
|
{
|
|
return 1;
|
|
}
|
|
}
|
|
|
|
/**
|
|
* @return int
|
|
*/
|
|
function makeInt()
|
|
{
|
|
$fooClass = Foo::class;
|
|
return $fooClass::someInt();
|
|
}',
|
|
],
|
|
'expectsIterable' => [
|
|
'code' => '<?php
|
|
function foo(iterable $i) : void {}
|
|
function bar(array $a) : void {
|
|
foo($a);
|
|
}',
|
|
],
|
|
'getTypeHasValues' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param mixed $maybe
|
|
*/
|
|
function matchesTypes($maybe) : void {
|
|
$t = gettype($maybe);
|
|
if ($t === "object") {}
|
|
}',
|
|
],
|
|
'getTypeSwitchClosedResource' => [
|
|
'code' => '<?php
|
|
$data = "foo";
|
|
switch (gettype($data)) {
|
|
case "resource (closed)":
|
|
case "unknown type":
|
|
return "foo";
|
|
}',
|
|
],
|
|
'functionResolutionInNamespace' => [
|
|
'code' => '<?php
|
|
namespace Foo;
|
|
function sort(int $_) : void {}
|
|
sort(5);',
|
|
],
|
|
'rangeWithIntStep' => [
|
|
'code' => '<?php
|
|
|
|
function foo(int $bar) : string {
|
|
return (string) $bar;
|
|
}
|
|
|
|
foreach (range(1, 10, 1) as $x) {
|
|
foo($x);
|
|
}',
|
|
],
|
|
'rangeWithNoStep' => [
|
|
'code' => '<?php
|
|
|
|
function foo(int $bar) : string {
|
|
return (string) $bar;
|
|
}
|
|
|
|
foreach (range(1, 10) as $x) {
|
|
foo($x);
|
|
}',
|
|
],
|
|
'rangeWithNoStepAndString' => [
|
|
'code' => '<?php
|
|
|
|
function foo(string $bar) : void {}
|
|
|
|
foreach (range("a", "z") as $x) {
|
|
foo($x);
|
|
}',
|
|
],
|
|
'rangeWithFloatStep' => [
|
|
'code' => '<?php
|
|
|
|
function foo(float $bar) : string {
|
|
return (string) $bar;
|
|
}
|
|
|
|
foreach (range(1, 10, .3) as $x) {
|
|
foo($x);
|
|
}',
|
|
],
|
|
'rangeWithFloatStart' => [
|
|
'code' => '<?php
|
|
|
|
function foo(float $bar) : string {
|
|
return (string) $bar;
|
|
}
|
|
|
|
foreach (range(1.5, 10) as $x) {
|
|
foo($x);
|
|
}',
|
|
],
|
|
'rangeWithIntOrFloatStep' => [
|
|
'code' => '<?php
|
|
/** @var int|float */
|
|
$step = 1;
|
|
$a = range(1, 10, $step);
|
|
|
|
/** @var int */
|
|
$step = 1;
|
|
$b = range(1, 10, $step);
|
|
|
|
/** @var float */
|
|
$step = 1.;
|
|
$c = range(1, 10, $step);
|
|
',
|
|
'assertions' => [
|
|
'$a' => 'non-empty-list<float|int>',
|
|
'$b' => 'non-empty-list<int>',
|
|
'$c' => 'non-empty-list<float>',
|
|
],
|
|
],
|
|
'duplicateNamespacedFunction' => [
|
|
'code' => '<?php
|
|
namespace Bar;
|
|
|
|
function sort() : void {}',
|
|
],
|
|
'arrayMapAfterFunctionMissingFile' => [
|
|
'code' => '<?php
|
|
require_once(FOO);
|
|
$urls = array_map("strval", [1, 2, 3]);',
|
|
'assertions' => [],
|
|
'ignored_issues' => ['UndefinedConstant', 'UnresolvableInclude'],
|
|
],
|
|
'noNamespaceClash' => [
|
|
'code' => '<?php
|
|
namespace FunctionNamespace {
|
|
function foo() : void {}
|
|
}
|
|
|
|
namespace ClassNamespace {
|
|
class Foo {}
|
|
}
|
|
|
|
namespace {
|
|
use ClassNamespace\Foo;
|
|
use function FunctionNamespace\foo;
|
|
|
|
new Foo();
|
|
|
|
foo();
|
|
}',
|
|
],
|
|
'hashInit70' => [
|
|
'code' => '<?php
|
|
$h = hash_init("sha256");',
|
|
'assertions' => [
|
|
'$h' => 'resource',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '7.1',
|
|
],
|
|
'hashInit71' => [
|
|
'code' => '<?php
|
|
$h = hash_init("sha256");',
|
|
'assertions' => [
|
|
'$h' => 'resource',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '7.1',
|
|
],
|
|
'hashInit72' => [
|
|
'code' => '<?php
|
|
$h = hash_init("sha256");',
|
|
'assertions' => [
|
|
'$h' => 'HashContext|false',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '7.2',
|
|
],
|
|
'hashInit73' => [
|
|
'code' => '<?php
|
|
$h = hash_init("sha256");',
|
|
'assertions' => [
|
|
'$h' => 'HashContext|false',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '7.3',
|
|
],
|
|
'hashInit80' => [
|
|
'code' => '<?php
|
|
$h = hash_init("sha256");',
|
|
'assertions' => [
|
|
'$h' => 'HashContext',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0',
|
|
],
|
|
'nullableByRef' => [
|
|
'code' => '<?php
|
|
function foo(?string &$s) : void {}
|
|
|
|
function bar() : void {
|
|
foo($bar);
|
|
}',
|
|
],
|
|
'getClassNewInstance' => [
|
|
'code' => '<?php
|
|
interface I {}
|
|
class C implements I {}
|
|
|
|
class Props {
|
|
/** @var class-string<I>[] */
|
|
public $arr = [];
|
|
}
|
|
|
|
(new Props)->arr[] = get_class(new C);',
|
|
],
|
|
'getClassVariable' => [
|
|
'code' => '<?php
|
|
interface I {}
|
|
class C implements I {}
|
|
$c_instance = new C;
|
|
|
|
class Props {
|
|
/** @var class-string<I>[] */
|
|
public $arr = [];
|
|
}
|
|
|
|
(new Props)->arr[] = get_class($c_instance);',
|
|
],
|
|
'getClassAnonymousNewInstance' => [
|
|
'code' => '<?php
|
|
interface I {}
|
|
|
|
class Props {
|
|
/** @var class-string<I>[] */
|
|
public $arr = [];
|
|
}
|
|
|
|
(new Props)->arr[] = get_class(new class implements I{});',
|
|
],
|
|
'getClassAnonymousVariable' => [
|
|
'code' => '<?php
|
|
interface I {}
|
|
$anon_instance = new class implements I {};
|
|
|
|
class Props {
|
|
/** @var class-string<I>[] */
|
|
public $arr = [];
|
|
}
|
|
|
|
(new Props)->arr[] = get_class($anon_instance);',
|
|
],
|
|
'mktime' => [
|
|
'code' => '<?php
|
|
/** @psalm-suppress InvalidScalarArgument */
|
|
$a = mktime("foo");
|
|
/** @psalm-suppress MixedArgument */
|
|
$b = mktime($GLOBALS["foo"]);
|
|
$c = mktime(1, 2, 3);',
|
|
'assertions' => [
|
|
'$a' => 'false|int',
|
|
'$b' => 'false|int',
|
|
'$c' => 'int',
|
|
],
|
|
],
|
|
'hrtime' => [
|
|
'code' => '<?php
|
|
$a = hrtime(true);
|
|
$b = hrtime();
|
|
/** @psalm-suppress InvalidScalarArgument */
|
|
$c = hrtime(1);
|
|
$d = hrtime(false);',
|
|
'assertions' => [
|
|
'$a' => 'int',
|
|
'$b' => 'list{int, int}',
|
|
'$c' => 'int|list{int, int}',
|
|
'$d' => 'list{int, int}',
|
|
],
|
|
],
|
|
'hrtimeCanBeFloat' => [
|
|
'code' => '<?php
|
|
$a = hrtime(true);
|
|
|
|
if (is_int($a)) {}
|
|
if (is_float($a)) {}',
|
|
],
|
|
'min' => [
|
|
'code' => '<?php
|
|
$a = min(0, 1);
|
|
$b = min([0, 1]);
|
|
$c = min("a", "b");
|
|
$d = min(1, 2, 3, 4);
|
|
$e = min(1, 2, 3, 4, 5);
|
|
$f = min(...[1, 2, 3]);',
|
|
'assertions' => [
|
|
'$a' => 'int',
|
|
'$b' => 'int',
|
|
'$c' => 'string',
|
|
'$d' => 'int',
|
|
'$e' => 'int',
|
|
'$f' => 'int',
|
|
],
|
|
],
|
|
'minUnpackedArg' => [
|
|
'code' => '<?php
|
|
$f = min(...[1, 2, 3]);',
|
|
'assertions' => [
|
|
'$f' => 'int',
|
|
],
|
|
],
|
|
'sscanf' => [
|
|
'code' => '<?php
|
|
sscanf("10:05:03", "%d:%d:%d", $hours, $minutes, $seconds);',
|
|
'assertions' => [
|
|
'$hours' => 'float|int|null|string',
|
|
'$minutes' => 'float|int|null|string',
|
|
'$seconds' => 'float|int|null|string',
|
|
],
|
|
],
|
|
'noImplicitAssignmentToStringFromMixedWithDocblockTypes' => [
|
|
'code' => '<?php
|
|
/** @param string $s */
|
|
function takesString($s) : void {}
|
|
function takesInt(int $i) : void {}
|
|
|
|
/**
|
|
* @param mixed $s
|
|
* @psalm-suppress MixedArgument
|
|
*/
|
|
function bar($s) : void {
|
|
takesString($s);
|
|
takesInt($s);
|
|
}',
|
|
],
|
|
'ignoreNullableIssuesAfterMixedCoercion' => [
|
|
'code' => '<?php
|
|
function takesNullableString(?string $s) : void {}
|
|
function takesString(string $s) : void {}
|
|
|
|
/**
|
|
* @param mixed $s
|
|
* @psalm-suppress MixedArgument
|
|
*/
|
|
function bar($s) : void {
|
|
takesNullableString($s);
|
|
takesString($s);
|
|
}',
|
|
],
|
|
'countableSimpleXmlElement' => [
|
|
'code' => '<?php
|
|
$xml = new SimpleXMLElement("<?xml version=\"1.0\"?><a><b></b><b></b></a>");
|
|
echo count($xml);',
|
|
],
|
|
'countableCallableArray' => [
|
|
'code' => '<?php
|
|
/** @param callable|false $x */
|
|
function example($x) : void {
|
|
if (is_array($x)) {
|
|
echo "Count is: " . count($x);
|
|
}
|
|
}'
|
|
],
|
|
'countNonEmptyArrayShouldBePositiveInt' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @psalm-pure
|
|
* @param non-empty-list $x
|
|
* @return positive-int
|
|
*/
|
|
function example($x) : int {
|
|
return count($x);
|
|
}',
|
|
],
|
|
'countListShouldBeZeroOrPositive' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @psalm-pure
|
|
* @param list $x
|
|
* @return positive-int|0
|
|
*/
|
|
function example($x) : int {
|
|
return count($x);
|
|
}',
|
|
],
|
|
'countArrayShouldBeZeroOrPositive' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @psalm-pure
|
|
* @param array $x
|
|
* @return positive-int|0
|
|
*/
|
|
function example($x) : int {
|
|
return count($x);
|
|
}',
|
|
],
|
|
'countEmptyArrayShouldBeZero' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @psalm-pure
|
|
* @param array<never, never> $x
|
|
* @return 0
|
|
*/
|
|
function example($x) : int {
|
|
return count($x);
|
|
}',
|
|
],
|
|
'countConstantSizeArrayShouldBeConstantInteger' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @psalm-pure
|
|
* @param array{int, int, string} $x
|
|
* @return 3
|
|
*/
|
|
function example($x) : int {
|
|
return count($x);
|
|
}',
|
|
],
|
|
'countCallableArrayShouldBe2' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @psalm-pure
|
|
* @return 2
|
|
*/
|
|
function example(callable $x) : int {
|
|
assert(is_array($x));
|
|
return count($x);
|
|
}',
|
|
],
|
|
'countOnPureObjectIsPure' => [
|
|
'code' => '<?php
|
|
class PureCountable implements \Countable {
|
|
/** @psalm-pure */
|
|
public function count(): int { return 1; }
|
|
}
|
|
/** @psalm-pure */
|
|
function example(PureCountable $x) : int {
|
|
return count($x);
|
|
}',
|
|
],
|
|
'refineWithTraitExists' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
if (trait_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}',
|
|
],
|
|
'refineWithClassExistsOrTraitExists' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
if (trait_exists($s) || class_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}
|
|
|
|
function bar(string $s) : void {
|
|
if (class_exists($s) || trait_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}
|
|
|
|
function baz(string $s) : void {
|
|
if (class_exists($s) || interface_exists($s) || trait_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}',
|
|
],
|
|
'minSingleArg' => [
|
|
'code' => '<?php
|
|
/** @psalm-suppress TooFewArguments */
|
|
min(0);',
|
|
],
|
|
'allowIsCountableToInformType' => [
|
|
'code' => '<?php
|
|
function getObject() : iterable{
|
|
return [];
|
|
}
|
|
|
|
$iterableObject = getObject();
|
|
|
|
if (is_countable($iterableObject)) {
|
|
if (count($iterableObject) === 0) {}
|
|
}',
|
|
],
|
|
'versionCompareAsCallable' => [
|
|
'code' => '<?php
|
|
$a = ["1.0", "2.0"];
|
|
usort($a, "version_compare");',
|
|
],
|
|
'coerceToObjectAfterBeingCalled' => [
|
|
'code' => '<?php
|
|
class Foo {
|
|
public function bar() : void {}
|
|
}
|
|
|
|
function takesFoo(Foo $foo) : void {}
|
|
|
|
/** @param mixed $f */
|
|
function takesMixed($f) : void {
|
|
if (rand(0, 1)) {
|
|
$f = new Foo();
|
|
}
|
|
/** @psalm-suppress MixedArgument */
|
|
takesFoo($f);
|
|
$f->bar();
|
|
}',
|
|
],
|
|
'functionExists' => [
|
|
'code' => '<?php
|
|
if (!function_exists("in_array")) {
|
|
function in_array($a, $b) {
|
|
return true;
|
|
}
|
|
}',
|
|
],
|
|
'pregMatch' => [
|
|
'code' => '<?php
|
|
function takesInt(int $i) : void {}
|
|
|
|
takesInt(preg_match("{foo}", "foo"));',
|
|
],
|
|
'pregMatch2' => [
|
|
'code' => '<?php
|
|
$r = preg_match("{foo}", "foo");',
|
|
'assertions' => [
|
|
'$r===' => '0|1|false',
|
|
],
|
|
],
|
|
'pregMatchWithMatches' => [
|
|
'code' => '<?php
|
|
/** @param string[] $matches */
|
|
function takesMatches(array $matches) : void {}
|
|
|
|
preg_match("{foo}", "foo", $matches);
|
|
|
|
takesMatches($matches);',
|
|
],
|
|
'pregMatchWithMatches2' => [
|
|
'code' => '<?php
|
|
$r = preg_match("{foo}", "foo", $matches);',
|
|
'assertions' => [
|
|
'$r===' => '0|1|false',
|
|
'$matches===' => 'array<array-key, string>',
|
|
],
|
|
],
|
|
'pregMatchWithOffset' => [
|
|
'code' => '<?php
|
|
/** @param string[] $matches */
|
|
function takesMatches(array $matches) : void {}
|
|
|
|
preg_match("{foo}", "foo", $matches, 0, 10);
|
|
|
|
takesMatches($matches);',
|
|
],
|
|
'pregMatchWithOffset2' => [
|
|
'code' => '<?php
|
|
$r = preg_match("{foo}", "foo", $matches, 0, 10);',
|
|
'assertions' => [
|
|
'$r===' => '0|1|false',
|
|
'$matches===' => 'array<array-key, string>',
|
|
],
|
|
],
|
|
'pregMatchWithFlags' => [
|
|
'code' => '<?php
|
|
function takesInt(int $i) : void {}
|
|
|
|
if (preg_match("{foo}", "this is foo", $matches, PREG_OFFSET_CAPTURE)) {
|
|
takesInt($matches[0][1]);
|
|
}',
|
|
],
|
|
'pregMatchWithFlagOffsetCapture' => [
|
|
'code' => '<?php
|
|
$r = preg_match("{foo}", "foo", $matches, PREG_OFFSET_CAPTURE);',
|
|
'assertions' => [
|
|
'$r===' => '0|1|false',
|
|
'$matches===' => 'array<array-key, list{string, int<-1, max>}>',
|
|
],
|
|
],
|
|
'pregMatchWithFlagUnmatchedAsNull' => [
|
|
'code' => '<?php
|
|
$r = preg_match("{foo}", "foo", $matches, PREG_UNMATCHED_AS_NULL);',
|
|
'assertions' => [
|
|
'$r===' => '0|1|false',
|
|
'$matches===' => 'array<array-key, null|string>',
|
|
],
|
|
],
|
|
'pregMatchWithFlagOffsetCaptureAndUnmatchedAsNull' => [
|
|
'code' => '<?php
|
|
$r = preg_match("{foo}", "foo", $matches, PREG_OFFSET_CAPTURE | PREG_UNMATCHED_AS_NULL);',
|
|
'assertions' => [
|
|
'$r===' => '0|1|false',
|
|
'$matches===' => 'array<array-key, list{null|string, int<-1, max>}>',
|
|
],
|
|
],
|
|
'pregReplaceCallback' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : string {
|
|
return preg_replace_callback(
|
|
\'/<files (psalm-version="[^"]+") (?:php-version="(.+)">\n)/\',
|
|
/** @param string[] $matches */
|
|
function (array $matches) : string {
|
|
return $matches[1];
|
|
},
|
|
$s
|
|
);
|
|
}',
|
|
],
|
|
'pregReplaceCallbackWithArray' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param string[] $ids
|
|
*/
|
|
function(array $ids): array {
|
|
return \preg_replace_callback(
|
|
"",
|
|
fn (array $matches) => $matches[4],
|
|
$ids
|
|
);
|
|
};',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '7.4'
|
|
],
|
|
'compactDefinedVariable' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @return array<string, mixed>
|
|
*/
|
|
function foo(int $a, string $b, bool $c) : array {
|
|
return compact("a", "b", "c");
|
|
}',
|
|
],
|
|
'setCookiePhp73' => [
|
|
'code' => '<?php
|
|
setcookie(
|
|
"name",
|
|
"value",
|
|
[
|
|
"path" => "/",
|
|
"expires" => 0,
|
|
"httponly" => true,
|
|
"secure" => true,
|
|
"samesite" => "Lax"
|
|
]
|
|
);',
|
|
],
|
|
'printrBadArg' => [
|
|
'code' => '<?php
|
|
/** @psalm-suppress InvalidScalarArgument */
|
|
$a = print_r([], 1);
|
|
echo $a;',
|
|
],
|
|
'dontCoerceCallMapArgs' => [
|
|
'code' => '<?php
|
|
function getStr() : ?string {
|
|
return rand(0,1) ? "test" : null;
|
|
}
|
|
|
|
function test() : void {
|
|
$g = getStr();
|
|
/** @psalm-suppress PossiblyNullArgument */
|
|
$x = strtoupper($g);
|
|
$c = "prefix " . (strtoupper($g ?? "") === "x" ? "xa" : "ya");
|
|
echo "$x, $c\n";
|
|
}'
|
|
],
|
|
'mysqliRealConnectFunctionAllowsNullParameters' => [
|
|
'code' => '<?php
|
|
$mysqli = mysqli_init();
|
|
mysqli_real_connect($mysqli, null, \'test\', null);',
|
|
],
|
|
'callUserFunc' => [
|
|
'code' => '<?php
|
|
$func = function(int $arg1, int $arg2) : int {
|
|
return $arg1 * $arg2;
|
|
};
|
|
|
|
$a = call_user_func($func, 2, 4);',
|
|
'assertions' => [
|
|
'$a' => 'int',
|
|
]
|
|
],
|
|
'callUserFuncArray' => [
|
|
'code' => '<?php
|
|
$func = function(int $arg1, int $arg2) : int {
|
|
return $arg1 * $arg2;
|
|
};
|
|
|
|
$a = call_user_func_array($func, [2, 4]);',
|
|
'assertions' => [
|
|
'$a' => 'int',
|
|
]
|
|
],
|
|
'dateTest' => [
|
|
'code' => '<?php
|
|
$y = date("Y");
|
|
$m = date("m");
|
|
$F = date("F");
|
|
$y2 = date("Y", 10000);
|
|
$F2 = date("F", 10000);
|
|
/** @psalm-suppress MixedArgument */
|
|
$F3 = date("F", $GLOBALS["F3"]);',
|
|
'assertions' => [
|
|
'$y===' => 'numeric-string',
|
|
'$m===' => 'numeric-string',
|
|
'$F===' => 'string',
|
|
'$y2===' => 'numeric-string',
|
|
'$F2===' => 'string',
|
|
'$F3===' => 'false|string',
|
|
]
|
|
],
|
|
'sscanfReturnTypeWithTwoParameters' => [
|
|
'code' => '<?php
|
|
$data = sscanf("42 psalm road", "%s %s");',
|
|
'assertions' => [
|
|
'$data' => 'list<float|int|null|string>|null',
|
|
]
|
|
],
|
|
'sscanfReturnTypeWithMoreThanTwoParameters' => [
|
|
'code' => '<?php
|
|
$n = sscanf("42 psalm road", "%s %s", $p1, $p2);',
|
|
'assertions' => [
|
|
'$n' => 'int',
|
|
'$p1' => 'float|int|null|string',
|
|
'$p2' => 'float|int|null|string',
|
|
],
|
|
],
|
|
'writeArgsAllowed' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param 0|256|512|768 $flags
|
|
* @return false|int
|
|
*/
|
|
function safeMatch(string $pattern, string $subject, ?array $matches = null, int $flags = 0) {
|
|
return \preg_match($pattern, $subject, $matches, $flags);
|
|
}
|
|
|
|
safeMatch("/a/", "b");'
|
|
],
|
|
'fgetcsv' => [
|
|
'code' => '<?php
|
|
$headers = fgetcsv(fopen("test.txt", "r"));
|
|
if (empty($headers)) {
|
|
throw new Exception("invalid headers");
|
|
}
|
|
print_r(array_map("strval", $headers));'
|
|
],
|
|
'allowListEqualToRange' => [
|
|
'code' => '<?php
|
|
/** @param array<int, int> $two */
|
|
function collectCommit(array $one, array $two) : void {
|
|
if ($one && array_values($one) === array_values($two)) {}
|
|
}'
|
|
],
|
|
'pregMatchAll' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @return array<list<string>>
|
|
*/
|
|
function extractUsernames(string $input): array {
|
|
preg_match_all(\'/([a-zA-Z])*/\', $input, $matches);
|
|
|
|
return $matches;
|
|
}'
|
|
],
|
|
'pregMatchAllOffsetCapture' => [
|
|
'code' => '<?php
|
|
function foo(string $input): array {
|
|
preg_match_all(\'/([a-zA-Z])*/\', $input, $matches, PREG_OFFSET_CAPTURE);
|
|
|
|
return $matches[0];
|
|
}'
|
|
],
|
|
'pregMatchAllReturnsFalse' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @return int|false
|
|
*/
|
|
function badpattern() {
|
|
return @preg_match_all("foo", "foo", $matches);
|
|
}'
|
|
],
|
|
'strposAllowDictionary' => [
|
|
'code' => '<?php
|
|
function sayHello(string $format): void {
|
|
if (strpos("abcdefghijklmno", $format)) {}
|
|
}',
|
|
],
|
|
'curlInitIsResourceAllowedIn7x' => [
|
|
'code' => '<?php
|
|
$ch = curl_init();
|
|
if (!is_resource($ch)) {}',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '7.4'
|
|
],
|
|
'pregSplit' => [
|
|
'code' => '<?php
|
|
/** @return non-empty-list */
|
|
function foo(string $s) {
|
|
return preg_split("/ /", $s);
|
|
}'
|
|
],
|
|
'pregSplitWithFlags' => [
|
|
'code' => '<?php
|
|
/** @return list<string> */
|
|
function foo(string $s) {
|
|
return preg_split("/ /", $s, -1, PREG_SPLIT_NO_EMPTY | PREG_SPLIT_DELIM_CAPTURE);
|
|
}'
|
|
],
|
|
'mbConvertEncodingWithArray' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param array<int, string> $str
|
|
* @return array<int, string>
|
|
*/
|
|
function test2(array $str): array {
|
|
return mb_convert_encoding($str, "UTF-8", "UTF-8");
|
|
}'
|
|
],
|
|
'getDebugType' => [
|
|
'code' => '<?php
|
|
function foo(mixed $var) : void {
|
|
switch (get_debug_type($var)) {
|
|
case "string":
|
|
echo "a string";
|
|
break;
|
|
|
|
case Exception::class;
|
|
echo "an Exception with message " . $var->getMessage();
|
|
break;
|
|
}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0'
|
|
],
|
|
'getTypeDoubleThenInt' => [
|
|
'code' => '<?php
|
|
function safe_float(mixed $val): bool {
|
|
switch (gettype($val)) {
|
|
case "double":
|
|
case "integer":
|
|
return true;
|
|
// ... more cases omitted
|
|
default:
|
|
return false;
|
|
}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0'
|
|
],
|
|
'maxWithFloats' => [
|
|
'code' => '<?php
|
|
function foo(float $_float): void
|
|
{}
|
|
|
|
foo(max(1.1, 1.2));',
|
|
],
|
|
'maxWithObjects' => [
|
|
'code' => '<?php
|
|
function foo(DateTimeImmutable $fooDate): string
|
|
{
|
|
return $fooDate->format("Y");
|
|
}
|
|
|
|
foo(max(new DateTimeImmutable(), new DateTimeImmutable()));',
|
|
],
|
|
'maxWithMisc' => [
|
|
'code' => '<?php
|
|
$a = max(new DateTimeImmutable(), 1.2);',
|
|
'assertions' => [
|
|
'$a' => 'DateTimeImmutable|float',
|
|
],
|
|
],
|
|
'maxUnpackArray' => [
|
|
'code' => '<?php
|
|
$files = [
|
|
__FILE__,
|
|
__FILE__,
|
|
__FILE__,
|
|
__FILE__,
|
|
];
|
|
|
|
$a = array_map("filemtime", $files);
|
|
$b = array_map(
|
|
function (string $file): int {
|
|
return filemtime($file);
|
|
},
|
|
$files,
|
|
);
|
|
$A = max(filemtime(__FILE__), ...$a);
|
|
$B = max(filemtime(__FILE__), ...$b);
|
|
|
|
echo date("c", $A), "\n", date("c", $B);
|
|
',
|
|
],
|
|
'maxUnpackArrayWithNonInt' => [
|
|
'code' => '<?php
|
|
$max = max(1, 2, ...[new DateTime(), 3, 4]);
|
|
',
|
|
'assertions' => [
|
|
'$max===' => '1|2|3|4|DateTime',
|
|
],
|
|
],
|
|
'strtolowerEmptiness' => [
|
|
'code' => '<?php
|
|
/** @param non-empty-string $s */
|
|
function foo(string $s) : void {
|
|
$s = strtolower($s);
|
|
|
|
foo($s);
|
|
}',
|
|
],
|
|
'preventObjectLeakingFromCallmapReference' => [
|
|
'code' => '<?php
|
|
function one(): void
|
|
{
|
|
try {
|
|
exec("", $output);
|
|
} catch (Exception $e){
|
|
}
|
|
}
|
|
|
|
function two(): array
|
|
{
|
|
exec("", $lines);
|
|
return $lines;
|
|
}',
|
|
],
|
|
'array_is_list' => [
|
|
'code' => '<?php
|
|
function getArray() : array {
|
|
return [];
|
|
}
|
|
$s = getArray();
|
|
assert(array_is_list($s));
|
|
',
|
|
'assertions' => [
|
|
'$s' => 'list<mixed>',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.1',
|
|
],
|
|
'array_is_list_on_empty_array' => [
|
|
'code' => '<?php
|
|
$a = [];
|
|
if(array_is_list($a)) {
|
|
//$a is still empty array
|
|
}
|
|
',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.1',
|
|
],
|
|
'possiblyUndefinedArrayDestructurationOnOptionalArg' => [
|
|
'code' => '<?php
|
|
class A
|
|
{
|
|
}
|
|
|
|
function foo(A $a1, A $a2 = null): void
|
|
{
|
|
}
|
|
|
|
$arguments = [new A()];
|
|
if (mt_rand(1, 10) > 5) {
|
|
// when this is done outside if - no errors
|
|
$arguments[] = new A();
|
|
}
|
|
|
|
foo(...$arguments);
|
|
',
|
|
],
|
|
'is_aWithStringableClass' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @psalm-var class-string<Throwable> $exceptionType
|
|
*/
|
|
if (\is_a(new Exception(), $exceptionType)) {}
|
|
',
|
|
],
|
|
'strposFirstParamAllowClassString' => [
|
|
'code' => '<?php
|
|
function sayHello(string $needle): void {
|
|
if (strpos(DateTime::class, $needle)) {}
|
|
}',
|
|
],
|
|
'mb_strtolowerProducesStringWithSecondArgument' => [
|
|
'code' => '<?php
|
|
$r = mb_strtolower("École", "BASE64");
|
|
',
|
|
'assertions' => [
|
|
'$r===' => 'string',
|
|
],
|
|
],
|
|
'mb_strtolowerProducesLowercaseStringWithNullOrAbsentEncoding' => [
|
|
'code' => '<?php
|
|
$a = mb_strtolower("AAA");
|
|
$b = mb_strtolower("AAA", null);
|
|
',
|
|
'assertions' => [
|
|
'$a===' => 'lowercase-string',
|
|
'$b===' => 'lowercase-string',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.1',
|
|
],
|
|
'count_charsProducesArrayOrString' => [
|
|
'code' => '<?php
|
|
$a = count_chars("foo");
|
|
$b = count_chars("foo", 1);
|
|
$c = count_chars("foo", 2);
|
|
$d = count_chars("foo", 3);
|
|
$e = count_chars("foo", 4);
|
|
',
|
|
'assertions' => [
|
|
'$a===' => 'array<int, int>',
|
|
'$b===' => 'array<int, int>',
|
|
'$c===' => 'array<int, int>',
|
|
'$d===' => 'string',
|
|
'$e===' => 'string',
|
|
],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.1',
|
|
],
|
|
'number_formatNamedArgument' => [
|
|
'code' => '<?php
|
|
echo number_format(10.363, 1, thousands_separator: " ");
|
|
',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0',
|
|
],
|
|
'round_literalValue' => [
|
|
'code' => '<?php
|
|
$a = round(10.363, 2);
|
|
',
|
|
'assertions' => [
|
|
'$a===' => 'float(10.36)',
|
|
],
|
|
],
|
|
'allowConstructorAfterEnumExists' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
if (enum_exists($s)) {
|
|
new $s();
|
|
}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => ['MixedMethodCall'],
|
|
'php_version' => '8.1',
|
|
],
|
|
'refineWithEnumExists' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
if (enum_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.1',
|
|
],
|
|
'refineWithClassExistsOrEnumExists' => [
|
|
'code' => '<?php
|
|
function foo(string $s) : void {
|
|
if (trait_exists($s) || enum_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}
|
|
|
|
function bar(string $s) : void {
|
|
if (enum_exists($s) || trait_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}
|
|
|
|
function baz(string $s) : void {
|
|
if (enum_exists($s) || interface_exists($s) || trait_exists($s)) {
|
|
new ReflectionClass($s);
|
|
}
|
|
}',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.1',
|
|
],
|
|
'trimSavesLowercaseAttribute' => [
|
|
'code' => '<?php
|
|
$a = random_bytes(2);
|
|
$b = trim(strtolower($a));
|
|
',
|
|
'assertions' => [
|
|
'$b===' => 'lowercase-string',
|
|
],
|
|
],
|
|
'ltrimSavesLowercaseAttribute' => [
|
|
'code' => '<?php
|
|
$a = random_bytes(2);
|
|
$b = ltrim(strtolower($a));
|
|
',
|
|
'assertions' => [
|
|
'$b===' => 'lowercase-string',
|
|
],
|
|
],
|
|
'rtrimSavesLowercaseAttribute' => [
|
|
'code' => '<?php
|
|
$a = random_bytes(2);
|
|
$b = rtrim(strtolower($a));
|
|
',
|
|
'assertions' => [
|
|
'$b===' => 'lowercase-string',
|
|
],
|
|
],
|
|
'passingStringableObjectToStringableParam' => [
|
|
'code' => '<?php
|
|
function acceptsStringable(Stringable $_p): void {}
|
|
/** @param stringable-object $p */
|
|
function f(object $p): void
|
|
{
|
|
f($p);
|
|
}
|
|
',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0',
|
|
],
|
|
'passingStringableToStringableObjectParam' => [
|
|
'code' => '<?php
|
|
/** @param stringable-object $_o */
|
|
function acceptsStringableObject(object $_o): void {}
|
|
|
|
function f(Stringable $o): void
|
|
{
|
|
acceptsStringableObject($o);
|
|
}
|
|
',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0',
|
|
],
|
|
'passingImplicitStringableObjectToStringableObjectParam' => [
|
|
'code' => '<?php
|
|
/** @param stringable-object $o */
|
|
function acceptsStringableObject(object $o): void {}
|
|
|
|
class C { public function __toString(): string { return __CLASS__; }}
|
|
|
|
acceptsStringableObject(new C);
|
|
',
|
|
],
|
|
'passingExplicitStringableObjectToStringableObjectParam' => [
|
|
'code' => '<?php
|
|
/** @param stringable-object $o */
|
|
function acceptsStringableObject(object $o): void {}
|
|
|
|
class C implements Stringable { public function __toString(): string { return __CLASS__; }}
|
|
|
|
acceptsStringableObject(new C);
|
|
',
|
|
'assertions' => [],
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0',
|
|
],
|
|
];
|
|
}
|
|
|
|
/**
|
|
*
|
|
*/
|
|
public function providerInvalidCodeParse(): iterable
|
|
{
|
|
return [
|
|
'invalidScalarArgument' => [
|
|
'code' => '<?php
|
|
function fooFoo(int $a): void {}
|
|
fooFoo("string");',
|
|
'error_message' => 'InvalidScalarArgument',
|
|
],
|
|
'invalidArgumentWithDeclareStrictTypes' => [
|
|
'code' => '<?php declare(strict_types=1);
|
|
function fooFoo(int $a): void {}
|
|
fooFoo("string");',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'builtinFunctioninvalidArgumentWithWeakTypes' => [
|
|
'code' => '<?php
|
|
$s = substr(5, 4);',
|
|
'error_message' => 'InvalidScalarArgument',
|
|
],
|
|
'builtinFunctioninvalidArgumentWithDeclareStrictTypes' => [
|
|
'code' => '<?php declare(strict_types=1);
|
|
$s = substr(5, 4);',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'builtinFunctioninvalidArgumentWithDeclareStrictTypesInClass' => [
|
|
'code' => '<?php declare(strict_types=1);
|
|
class A {
|
|
public function foo() : void {
|
|
$s = substr(5, 4);
|
|
}
|
|
}',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'mixedArgument' => [
|
|
'code' => '<?php
|
|
function fooFoo(int $a): void {}
|
|
/** @var mixed */
|
|
$a = "hello";
|
|
fooFoo($a);',
|
|
'error_message' => 'MixedArgument',
|
|
'ignored_issues' => ['MixedAssignment'],
|
|
],
|
|
'nullArgument' => [
|
|
'code' => '<?php
|
|
function fooFoo(int $a): void {}
|
|
fooFoo(null);',
|
|
'error_message' => 'NullArgument',
|
|
],
|
|
'tooFewArguments' => [
|
|
'code' => '<?php
|
|
function fooFoo(int $a): void {}
|
|
fooFoo();',
|
|
'error_message' => 'TooFewArguments',
|
|
],
|
|
'tooManyArguments' => [
|
|
'code' => '<?php
|
|
function fooFoo(int $a): void {}
|
|
fooFoo(5, "dfd");',
|
|
'error_message' => 'TooManyArguments - src' . DIRECTORY_SEPARATOR . 'somefile.php:3:21 - Too many arguments for fooFoo '
|
|
. '- expecting 1 but saw 2',
|
|
],
|
|
'tooManyArgumentsForConstructor' => [
|
|
'code' => '<?php
|
|
class A { }
|
|
new A("hello");',
|
|
'error_message' => 'TooManyArguments',
|
|
],
|
|
'typeCoercion' => [
|
|
'code' => '<?php
|
|
class A {}
|
|
class B extends A{}
|
|
|
|
function fooFoo(B $b): void {}
|
|
fooFoo(new A());',
|
|
'error_message' => 'ArgumentTypeCoercion',
|
|
],
|
|
'arrayTypeCoercion' => [
|
|
'code' => '<?php
|
|
class A {}
|
|
class B extends A{}
|
|
|
|
/**
|
|
* @param B[] $b
|
|
* @return void
|
|
*/
|
|
function fooFoo(array $b) {}
|
|
fooFoo([new A()]);',
|
|
'error_message' => 'ArgumentTypeCoercion',
|
|
],
|
|
'duplicateParam' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @return void
|
|
*/
|
|
function f($p, $p) {}',
|
|
'error_message' => 'DuplicateParam',
|
|
'ignored_issues' => ['MissingParamType'],
|
|
],
|
|
'invalidParamDefault' => [
|
|
'code' => '<?php
|
|
function f(int $p = false) {}',
|
|
'error_message' => 'InvalidParamDefault',
|
|
],
|
|
'invalidDocblockParamDefault' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param int $p
|
|
* @return void
|
|
*/
|
|
function f($p = false) {}',
|
|
'error_message' => 'InvalidParamDefault',
|
|
],
|
|
'badByRef' => [
|
|
'code' => '<?php
|
|
function fooFoo(string &$v): void {}
|
|
fooFoo("a");',
|
|
'error_message' => 'InvalidPassByReference',
|
|
],
|
|
'badArrayByRef' => [
|
|
'code' => '<?php
|
|
function fooFoo(array &$a): void {}
|
|
fooFoo([1, 2, 3]);',
|
|
'error_message' => 'InvalidPassByReference',
|
|
],
|
|
'invalidArgAfterCallable' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param callable $callback
|
|
* @return void
|
|
*/
|
|
function route($callback) {
|
|
if (!is_callable($callback)) { }
|
|
takes_int("string");
|
|
}
|
|
|
|
function takes_int(int $i) {}',
|
|
'error_message' => 'InvalidScalarArgument',
|
|
'ignored_issues' => [
|
|
'MixedAssignment',
|
|
'MixedArrayAccess',
|
|
'RedundantConditionGivenDocblockType',
|
|
],
|
|
],
|
|
'undefinedFunctionInArrayMap' => [
|
|
'code' => '<?php
|
|
array_map(
|
|
"undefined_function",
|
|
[1, 2, 3]
|
|
);',
|
|
'error_message' => 'UndefinedFunction',
|
|
],
|
|
'objectLikeKeyChecksAgainstDifferentGeneric' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param array<string, int> $b
|
|
*/
|
|
function a($b): int
|
|
{
|
|
return $b["a"];
|
|
}
|
|
|
|
a(["a" => "hello"]);',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'objectLikeKeyChecksAgainstDifferentTKeyedArray' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param array{a: int} $b
|
|
*/
|
|
function a($b): int
|
|
{
|
|
return $b["a"];
|
|
}
|
|
|
|
a(["a" => "hello"]);',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'possiblyNullFunctionCall' => [
|
|
'code' => '<?php
|
|
$a = rand(0, 1) ? function(): void {} : null;
|
|
$a();',
|
|
'error_message' => 'PossiblyNullFunctionCall',
|
|
],
|
|
'possiblyInvalidFunctionCall' => [
|
|
'code' => '<?php
|
|
$a = rand(0, 1) ? function(): void {} : 23515;
|
|
$a();',
|
|
'error_message' => 'PossiblyInvalidFunctionCall',
|
|
],
|
|
'varExportAssignmentToVoid' => [
|
|
'code' => '<?php
|
|
$a = var_export(["a"]);',
|
|
'error_message' => 'AssignmentToVoid',
|
|
],
|
|
'explodeWithEmptyString' => [
|
|
'code' => '<?php
|
|
function exploder(string $s) : array {
|
|
return explode("", $s);
|
|
}',
|
|
'error_message' => 'FalsableReturnStatement',
|
|
],
|
|
'complainAboutArrayToIterable' => [
|
|
'code' => '<?php
|
|
class A {}
|
|
class B {}
|
|
/**
|
|
* @param iterable<mixed,A> $p
|
|
*/
|
|
function takesIterableOfA(iterable $p): void {}
|
|
|
|
takesIterableOfA([new B]); // should complain',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'complainAboutArrayToIterableSingleParam' => [
|
|
'code' => '<?php
|
|
class A {}
|
|
class B {}
|
|
/**
|
|
* @param iterable<A> $p
|
|
*/
|
|
function takesIterableOfA(iterable $p): void {}
|
|
|
|
takesIterableOfA([new B]); // should complain',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'putInvalidTypeMessagesFirst' => [
|
|
'code' => '<?php
|
|
$q = rand(0,1) ? new stdClass : false;
|
|
strlen($q);',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'getTypeInvalidValue' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @param mixed $maybe
|
|
*/
|
|
function matchesTypes($maybe) : void {
|
|
$t = gettype($maybe);
|
|
if ($t === "bool") {}
|
|
}',
|
|
'error_message' => 'TypeDoesNotContainType',
|
|
],
|
|
'rangeWithFloatStep' => [
|
|
'code' => '<?php
|
|
|
|
function foo(int $bar) : string {
|
|
return (string) $bar;
|
|
}
|
|
|
|
foreach (range(1, 10, .3) as $x) {
|
|
foo($x);
|
|
}',
|
|
'error_message' => 'InvalidScalarArgument',
|
|
],
|
|
'rangeWithFloatStart' => [
|
|
'code' => '<?php
|
|
|
|
function foo(int $bar) : string {
|
|
return (string) $bar;
|
|
}
|
|
|
|
foreach (range(1.4, 10) as $x) {
|
|
foo($x);
|
|
}',
|
|
'error_message' => 'InvalidScalarArgument',
|
|
],
|
|
'duplicateFunction' => [
|
|
'code' => '<?php
|
|
function f() : void {}
|
|
function f() : void {}',
|
|
'error_message' => 'DuplicateFunction',
|
|
],
|
|
'duplicateCoreFunction' => [
|
|
'code' => '<?php
|
|
function sort() : void {}',
|
|
'error_message' => 'DuplicateFunction',
|
|
],
|
|
'functionCallOnMixed' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @var mixed $s
|
|
* @psalm-suppress MixedAssignment
|
|
*/
|
|
$s = 1;
|
|
$s();',
|
|
'error_message' => 'MixedFunctionCall',
|
|
],
|
|
'iterableOfObjectCannotAcceptIterableOfInt' => [
|
|
'code' => '<?php
|
|
/** @param iterable<string,object> $_p */
|
|
function accepts(iterable $_p): void {}
|
|
|
|
/** @return iterable<int,int> */
|
|
function iterable() { yield 1; }
|
|
|
|
accepts(iterable());',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'iterableOfObjectCannotAcceptTraversableOfInt' => [
|
|
'code' => '<?php
|
|
/** @param iterable<string,object> $_p */
|
|
function accepts(iterable $_p): void {}
|
|
|
|
/** @return Traversable<int,int> */
|
|
function traversable() { yield 1; }
|
|
|
|
accepts(traversable());',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'iterableOfObjectCannotAcceptGeneratorOfInt' => [
|
|
'code' => '<?php
|
|
/** @param iterable<string,object> $_p */
|
|
function accepts(iterable $_p): void {}
|
|
|
|
/** @return Generator<int,int,mixed,void> */
|
|
function generator() { yield 1; }
|
|
|
|
accepts(generator());',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'iterableOfObjectCannotAcceptArrayOfInt' => [
|
|
'code' => '<?php
|
|
/** @param iterable<string,object> $_p */
|
|
function accepts(iterable $_p): void {}
|
|
|
|
/** @return array<int,int> */
|
|
function arr() { return [1]; }
|
|
|
|
accepts(arr());',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'nonNullableByRef' => [
|
|
'code' => '<?php
|
|
function foo(string &$s) : void {}
|
|
|
|
function bar() : void {
|
|
foo($bar);
|
|
}',
|
|
'error_message' => 'NullReference',
|
|
],
|
|
'intCastByRef' => [
|
|
'code' => '<?php
|
|
function foo(int &$i) : void {}
|
|
|
|
$a = rand(0, 1) ? null : 5;
|
|
/** @psalm-suppress MixedArgument */
|
|
foo((int) $a);',
|
|
'error_message' => 'InvalidPassByReference',
|
|
],
|
|
'implicitAssignmentToStringFromMixed' => [
|
|
'code' => '<?php
|
|
/** @param "a"|"b" $s */
|
|
function takesString(string $s) : void {}
|
|
function takesInt(int $i) : void {}
|
|
|
|
/**
|
|
* @param mixed $s
|
|
* @psalm-suppress MixedArgument
|
|
*/
|
|
function bar($s) : void {
|
|
takesString($s);
|
|
takesInt($s);
|
|
}',
|
|
'error_message' => 'InvalidScalarArgument',
|
|
],
|
|
'tooFewArgsAccurateCount' => [
|
|
'code' => '<?php
|
|
preg_match(\'/adsf/\');',
|
|
'error_message' => 'TooFewArguments - src' . DIRECTORY_SEPARATOR . 'somefile.php:2:21 - Too few arguments for preg_match - expecting subject to be passed',
|
|
],
|
|
'compactUndefinedVariable' => [
|
|
'code' => '<?php
|
|
/**
|
|
* @return array<string, mixed>
|
|
*/
|
|
function foo() : array {
|
|
return compact("a", "b", "c");
|
|
}',
|
|
'error_message' => 'UndefinedVariable',
|
|
],
|
|
'countCallableArrayShouldBeTwo' => [
|
|
'code' => '<?php
|
|
/** @param callable|false $x */
|
|
function example($x) : void {
|
|
if (is_array($x)) {
|
|
$c = count($x);
|
|
if ($c !== 2) {}
|
|
}
|
|
}',
|
|
'error_message' => 'TypeDoesNotContainType',
|
|
],
|
|
'countOnObjectCannotBePositive' => [
|
|
'code' => '<?php
|
|
/** @return positive-int|0 */
|
|
function example(\Countable $x) : int {
|
|
return count($x);
|
|
}',
|
|
'error_message' => 'LessSpecificReturnStatement',
|
|
],
|
|
'countOnUnknownObjectCannotBePure' => [
|
|
'code' => '<?php
|
|
/** @psalm-pure */
|
|
function example(\Countable $x) : int {
|
|
return count($x);
|
|
}',
|
|
'error_message' => 'ImpureFunctionCall',
|
|
],
|
|
'coerceCallMapArgsInStrictMode' => [
|
|
'code' => '<?php
|
|
declare(strict_types=1);
|
|
|
|
function getStr() : ?string {
|
|
return rand(0,1) ? "test" : null;
|
|
}
|
|
|
|
function test() : void {
|
|
$g = getStr();
|
|
/** @psalm-suppress PossiblyNullArgument */
|
|
$x = strtoupper($g);
|
|
$c = "prefix " . (strtoupper($g ?? "") === "x" ? "xa" : "ya");
|
|
echo "$x, $c\n";
|
|
}',
|
|
'error_message' => 'RedundantCondition',
|
|
],
|
|
'noCrashOnEmptyArrayPush' => [
|
|
'code' => '<?php
|
|
array_push();',
|
|
'error_message' => 'TooFewArguments',
|
|
],
|
|
'printOnlyString' => [
|
|
'code' => '<?php
|
|
print [];',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'printReturns1' => [
|
|
'code' => '<?php
|
|
(print "test") === 2;',
|
|
'error_message' => 'TypeDoesNotContainType',
|
|
],
|
|
'sodiumMemzeroNullifyString' => [
|
|
'code' => '<?php
|
|
function returnsStr(): string {
|
|
$str = "x";
|
|
sodium_memzero($str);
|
|
return $str;
|
|
}',
|
|
'error_message' => 'NullableReturnStatement'
|
|
],
|
|
'noCrashWithPattern' => [
|
|
'code' => '<?php
|
|
echo !\is_callable($loop_callback)
|
|
|| (\is_array($loop_callback)
|
|
&& !\method_exists(...$loop_callback));',
|
|
'error_message' => 'UndefinedGlobalVariable'
|
|
],
|
|
'parseUrlPossiblyUndefined' => [
|
|
'code' => '<?php
|
|
function bar(string $s) : string {
|
|
$parsed = parse_url($s);
|
|
|
|
return $parsed["host"];
|
|
}',
|
|
'error_message' => 'PossiblyUndefinedArrayOffset',
|
|
],
|
|
'parseUrlPossiblyUndefined2' => [
|
|
'code' => '<?php
|
|
function bag(string $s) : string {
|
|
$parsed = parse_url($s);
|
|
|
|
if (is_string($parsed["host"] ?? false)) {
|
|
return $parsed["host"];
|
|
}
|
|
|
|
return "";
|
|
}',
|
|
'error_message' => 'PossiblyUndefinedArrayOffset',
|
|
],
|
|
'strposNoSetFirstParam' => [
|
|
'code' => '<?php
|
|
function sayHello(string $format): void {
|
|
if (strpos("u", $format)) {}
|
|
}',
|
|
'error_message' => 'InvalidLiteralArgument',
|
|
],
|
|
'curlInitIsResourceFailsIn8x' => [
|
|
'code' => '<?php
|
|
$ch = curl_init();
|
|
if (!is_resource($ch)) {}',
|
|
'error_message' => 'RedundantCondition',
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.0'
|
|
],
|
|
'maxCallWithArray' => [
|
|
'code' => '<?php
|
|
function foo(array $a) {
|
|
max($a);
|
|
}',
|
|
'error_message' => 'ArgumentTypeCoercion',
|
|
],
|
|
'pregSplitNoEmpty' => [
|
|
'code' => '<?php
|
|
/** @return non-empty-list */
|
|
function foo(string $s) {
|
|
return preg_split("/ /", $s, -1, PREG_SPLIT_NO_EMPTY);
|
|
}',
|
|
'error_message' => 'InvalidReturnStatement'
|
|
],
|
|
'maxWithMixed' => [
|
|
'code' => '<?php
|
|
/** @var mixed $b */;
|
|
/** @var mixed $c */;
|
|
$a = max($b, $c);',
|
|
'error_message' => 'MixedAssignment'
|
|
],
|
|
'literalFalseArgument' => [
|
|
'code' => '<?php
|
|
function takesAString(string $s): void{
|
|
echo $s;
|
|
}
|
|
|
|
takesAString(false);',
|
|
'error_message' => 'InvalidArgument'
|
|
],
|
|
'getClassWithoutArgsOutsideClass' => [
|
|
'code' => '<?php
|
|
|
|
echo get_class();',
|
|
'error_message' => 'TooFewArguments',
|
|
],
|
|
'count_charsWithInvalidMode' => [
|
|
'code' => '<?php
|
|
function scope(int $mode){
|
|
$a = count_chars("foo", $mode);
|
|
}',
|
|
'error_message' => 'ArgumentTypeCoercion',
|
|
],
|
|
'array_is_list_literal_array' => [
|
|
'code' => '<?php
|
|
$list = [1 => 0, 0 => 1];
|
|
assert(array_is_list($list));',
|
|
'error_message' => 'TypeDoesNotContainType',
|
|
'ignored_issues' => [],
|
|
'php_version' => '8.1',
|
|
],
|
|
'passingObjectToStringableObjectParam' => [
|
|
'code' => '<?php
|
|
/** @param stringable-object $o */
|
|
function acceptsStringableObject(object $o): void {}
|
|
|
|
acceptsStringableObject((object)[]);
|
|
',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'passingNonStringableObjectToStringableObjectParam' => [
|
|
'code' => '<?php
|
|
/** @param stringable-object $o */
|
|
function acceptsStringableObject(object $o): void {}
|
|
|
|
class C {}
|
|
acceptsStringableObject(new C);
|
|
',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
'passingStdClassToStringableObjectParam' => [
|
|
'code' => '<?php
|
|
/** @param stringable-object $o */
|
|
function acceptsStringableObject(object $o): void {}
|
|
|
|
acceptsStringableObject(new stdClass);
|
|
',
|
|
'error_message' => 'InvalidArgument',
|
|
],
|
|
];
|
|
}
|
|
|
|
public function testTriggerErrorDefault(): void
|
|
{
|
|
$config = Config::getInstance();
|
|
$config->trigger_error_exits = 'default';
|
|
|
|
$this->addFile(
|
|
'somefile.php',
|
|
'<?php
|
|
/** @return true */
|
|
function returnsTrue(): bool {
|
|
return trigger_error("", E_USER_NOTICE);
|
|
}
|
|
/** @return never */
|
|
function returnsNever(): void {
|
|
trigger_error("", E_USER_ERROR);
|
|
}
|
|
/**
|
|
* @psalm-suppress ArgumentTypeCoercion
|
|
* @return mixed
|
|
*/
|
|
function returnsNeverOrBool(int $i) {
|
|
return trigger_error("", $i);
|
|
}'
|
|
);
|
|
|
|
//will only pass if no exception is thrown
|
|
$this->assertTrue(true);
|
|
|
|
$this->analyzeFile('somefile.php', new Context());
|
|
}
|
|
|
|
public function testTriggerErrorAlways(): void
|
|
{
|
|
$config = Config::getInstance();
|
|
$config->trigger_error_exits = 'always';
|
|
|
|
$this->addFile(
|
|
'somefile.php',
|
|
'<?php
|
|
/** @return never */
|
|
function returnsNever1(): void {
|
|
trigger_error("", E_USER_NOTICE);
|
|
}
|
|
/** @return never */
|
|
function returnsNever2(): void {
|
|
trigger_error("", E_USER_ERROR);
|
|
}'
|
|
);
|
|
|
|
//will only pass if no exception is thrown
|
|
$this->assertTrue(true);
|
|
|
|
$this->analyzeFile('somefile.php', new Context());
|
|
}
|
|
|
|
public function testTriggerErrorNever(): void
|
|
{
|
|
$config = Config::getInstance();
|
|
$config->trigger_error_exits = 'never';
|
|
|
|
$this->addFile(
|
|
'somefile.php',
|
|
'<?php
|
|
/** @return true */
|
|
function returnsTrue1(): bool {
|
|
return trigger_error("", E_USER_NOTICE);
|
|
}
|
|
/** @return true */
|
|
function returnsTrue2(): bool {
|
|
return trigger_error("", E_USER_ERROR);
|
|
}'
|
|
);
|
|
|
|
//will only pass if no exception is thrown
|
|
$this->assertTrue(true);
|
|
|
|
$this->analyzeFile('somefile.php', new Context());
|
|
}
|
|
}
|