1
|
|
|
<?php |
2
|
|
|
/** |
3
|
|
|
* @author Kévin Gomez https://github.com/K-Phoen <[email protected]> |
4
|
|
|
*/ |
5
|
|
|
|
6
|
|
|
namespace PHPSA\Analyzer\Pass\Expression; |
7
|
|
|
|
8
|
|
|
use PhpParser\Node\Expr; |
9
|
|
|
use PHPSA\Analyzer\Pass; |
10
|
|
|
use PHPSA\Context; |
11
|
|
|
use Symfony\Component\Config\Definition\Builder\TreeBuilder; |
12
|
|
|
|
13
|
|
|
class VariableVariableUsage implements Pass\AnalyzerPassInterface, Pass\ConfigurablePassInterface |
14
|
|
|
{ |
15
|
|
|
/** |
16
|
|
|
* @param Expr\Assign $expr |
17
|
|
|
* @param Context $context |
18
|
|
|
* @return bool |
19
|
|
|
*/ |
20
|
11 |
|
public function pass(Expr\Assign $expr, Context $context) |
21
|
|
|
{ |
22
|
11 |
|
if ($expr->var instanceof Expr\ArrayDimFetch) { |
23
|
1 |
|
return $this->analyzeArrayDimFetch($expr->var, $context); |
24
|
|
|
} |
25
|
|
|
|
26
|
11 |
|
return $this->analyzeAssign($expr, $context); |
27
|
|
|
} |
28
|
|
|
|
29
|
11 |
|
private function analyzeAssign(Expr\Assign $expr, Context $context) |
30
|
|
|
{ |
31
|
|
|
// list($a, $b) = … |
32
|
11 |
|
if ($expr->var instanceof Expr\List_) { |
33
|
1 |
|
return $this->analyzeList($expr->var, $context); |
34
|
|
|
} |
35
|
|
|
|
36
|
11 |
|
return $this->analyzeVar($expr->var, $context); |
|
|
|
|
37
|
|
|
} |
38
|
|
|
|
39
|
1 |
|
private function analyzeList(Expr\List_ $expr, Context $context) |
40
|
|
|
{ |
41
|
1 |
|
$result = false; |
42
|
|
|
|
43
|
1 |
|
foreach ($expr->vars as $var) { |
44
|
1 |
|
$result = $this->analyzeVar($var, $context) || $result; |
|
|
|
|
45
|
1 |
|
} |
46
|
|
|
|
47
|
1 |
|
return $result; |
48
|
|
|
} |
49
|
|
|
|
50
|
1 |
|
private function analyzeArrayDimFetch(Expr\ArrayDimFetch $expr, Context $context) |
51
|
|
|
{ |
52
|
1 |
|
return $this->analyzeVar($expr->var, $context); |
|
|
|
|
53
|
|
|
} |
54
|
|
|
|
55
|
11 |
|
private function analyzeVar(Expr\Variable $var, Context $context) |
56
|
|
|
{ |
57
|
11 |
|
if (!$var->name instanceof Expr\Variable) { |
58
|
11 |
|
return false; |
59
|
|
|
} |
60
|
|
|
|
61
|
1 |
|
$context->notice('variable.dynamic_assignment', 'Dynamic assignment is greatly discouraged.', $var); |
62
|
|
|
|
63
|
1 |
|
return true; |
64
|
|
|
} |
65
|
|
|
|
66
|
|
|
/** |
67
|
|
|
* @return array |
68
|
|
|
*/ |
69
|
1 |
|
public function getRegister() |
70
|
|
|
{ |
71
|
|
|
return [ |
72
|
|
|
Expr\Assign::class |
73
|
1 |
|
]; |
74
|
|
|
} |
75
|
|
|
|
76
|
|
|
/** |
77
|
|
|
* @return TreeBuilder |
78
|
|
|
*/ |
79
|
|
|
public function getConfiguration() |
80
|
|
|
{ |
81
|
|
|
$treeBuilder = new TreeBuilder(); |
82
|
|
|
$treeBuilder->root('variable.dynamic_assignment') |
83
|
|
|
->canBeDisabled() |
84
|
|
|
; |
85
|
|
|
|
86
|
|
|
return $treeBuilder; |
87
|
|
|
} |
88
|
|
|
} |
89
|
|
|
|
This check looks for parameters that are defined as one type in their type hint or doc comment but seem to be used as a narrower type, i.e an implementation of an interface or a subclass.
Consider changing the type of the parameter or doing an instanceof check before assuming your parameter is of the expected type.