Implement Undefined Variable Rule

src/bin/phpmd

@@ -79,6 +79,7 @@ class_alias('PHPMD\\Rule\\UnusedFormalParameter', 'PHP_PMD_Rule_UnusedFormalPara
 class_alias('PHPMD\\Rule\\UnusedLocalVariable', 'PHP_PMD_Rule_UnusedLocalVariable');
 class_alias('PHPMD\\Rule\\UnusedPrivateField', 'PHP_PMD_Rule_UnusedPrivateField');
 class_alias('PHPMD\\Rule\\UnusedPrivateMethod', 'PHP_PMD_Rule_UnusedPrivateMethod');
+class_alias('PHPMD\\Rule\\UndefinedVariable', 'PHP_PMD_Rule_UndefinedVariable');
 class_alias('PHPMD\\Rule\\CleanCode\\BooleanArgumentFlag', 'PHP_PMD_Rule_CleanCode_BooleanArgumentFlag');
 class_alias('PHPMD\\Rule\\CleanCode\\ElseExpression', 'PHP_PMD_Rule_CleanCode_ElseExpression');
 class_alias('PHPMD\\Rule\\CleanCode\\StaticAccess', 'PHP_PMD_Rule_CleanCode_StaticAccess');

src/main/php/PHPMD/Rule/UndefinedVariable.php

@@ -0,0 +1,249 @@
+<?php
+/**
+ * This file is part of PHP Mess Detector.
+ *
+ * Copyright (c) Manuel Pichler <mapi@phpmd.org>.
+ * All rights reserved.
+ *
+ * Licensed under BSD License
+ * For full copyright and license information, please see the LICENSE file.
+ * Redistributions of files must retain the above copyright notice.
+ *
+ * @author Manuel Pichler <mapi@phpmd.org>
+ * @copyright Manuel Pichler. All rights reserved.
+ * @license https://opensource.org/licenses/bsd-license.php BSD License
+ * @link http://phpmd.org/
+ */
+
+namespace PHPMD\Rule;
+
+use PHPMD\AbstractNode;
+use PHPMD\Node\AbstractCallableNode;
+use PHPMD\Node\ASTNode;
+
+/**
+ * This rule collects all undefined variables within a given function or method
+ * that are used by any code in the analyzed source artifact.
+ */
+class UndefinedVariable extends AbstractLocalVariable implements FunctionAware, MethodAware
+{
+    /**
+     * Found variable images within a single method or function.
+     *
+     * @var array(string)
+     */
+    private $images = array();
+
+    /**
+     * This method checks that all local variables within the given function or
+     * method are used at least one time.
+     *
+     * @param \PHPMD\AbstractNode $node
+     * @return void
+     */
+    public function apply(AbstractNode $node)
+    {
+        $this->images = array();
+
+        $this->collectPropertyPostfix($node);
+        $this->collectClosureParameters($node);
+        $this->collectForeachStatements($node);
+        $this->collectListExpressions($node);
+        $this->collectAssignments($node);
+        $this->collectParameters($node);
+        $this->collectExceptionCatches($node);
+        $this->collectGlobalStatements($node);
+
+        foreach ($node->findChildrenOfType('Variable') as $variable) {
+            if (! $this->isNotSuperGlobal($variable)) {
+                $this->addVariableDefinition($variable);
+            }
+            if (! $this->checkVariableDefined($variable, $node)) {
+                $this->addViolation($variable, array($variable->getImage()));
+            }
+        }
+    }
+
+    /**
+     * Stores the given literal node in an global of found variables.
+     *
+     * @param \PHPMD\Node\AbstractNode $node
+     * @return void
+     */
+    private function collectGlobalStatements(AbstractNode $node)
+    {
+        $globalStatements = $node->findChildrenOfType('GlobalStatement');
+
+        foreach ($globalStatements as $globalStatement) {
+            foreach ($globalStatement->getChildren() as $variable) {
+                $this->addVariableDefinition($variable);
+            }
+        }
+    }
+
+    /**
+     * Stores the given literal node in an catch of found variables.
+     *
+     * @param \PHPMD\Node\AbstractCallableNode $node
+     * @return void
+     */
+    private function collectExceptionCatches(AbstractCallableNode $node)
+    {
+        $catchStatements = $node->findChildrenOfType('CatchStatement');
+
+        foreach ($catchStatements as $catchStatement) {
+            foreach ($catchStatement->getChildren() as $children) {
+                if ($children instanceof \PDepend\Source\AST\ASTVariable) {
+                    $this->addVariableDefinition($children);
+                }
+            }
+        }
+    }
+
+    /**
+     * Stores the given literal node in an internal list of found variables.
+     *
+     * @param \PHPMD\Node\AbstractCallableNode $node
+     * @return void
+     */
+    private function collectListExpressions(AbstractCallableNode $node)
+    {
+        $lists = $node->findChildrenOfType('ListExpression');
+
+        foreach ($lists as $listExpression) {
+            foreach ($listExpression->getChildren() as $variable) {
+                $this->addVariableDefinition($variable);
+            }
+        }
+    }
+
+
+    /**
+     * Stores the given literal node in an internal foreach of found variables.
+     *
+     * @param \PHPMD\Node\AbstractCallableNode $node
+     * @return void
+     */
+    private function collectForeachStatements(AbstractCallableNode $node)
+    {
+        $foreachStatements = $node->findChildrenOfType('ForeachStatement');
+
+        foreach ($foreachStatements as $foreachStatement) {
+            foreach ($foreachStatement->getChildren() as $children) {
+                if ($children instanceof \PDepend\Source\AST\ASTVariable) {
+                    $this->addVariableDefinition($children);
+                }
+            }
+        }
+    }
+
+    /**
+     * Stores the given literal node in an internal closure of found variables.
+     *
+     * @param \PHPMD\Node\AbstractCallableNode $node
+     * @return void
+     */
+    private function collectClosureParameters(AbstractCallableNode $node)
+    {
+        $closures = $node->findChildrenOfType('Closure');
+
+        foreach ($closures as $closure) {
+            $this->collectParameters($closure);
+        }
+    }
+
+    /**
+     * Check if the given variable was defined in the current context before usage.
+     *
+     * @param \PHPMD\Node\ASTNode $variable
+     * @param \PHPMD\Node\AbstractCallableNode $parentNode
+     * @return bool
+     */
+    private function checkVariableDefined(ASTNode $variable, AbstractCallableNode $parentNode)
+    {
+        return isset($this->images[$variable->getImage()]) || $this->isNameAllowedInContext($parentNode, $variable);
+    }
+
+    /**
+     * Collect parameter names of method/function.
+     *
+     * @param \PHPMD\Node\AbstractNode $node
+     * @return void
+     */
+    private function collectParameters(AbstractNode $node)
+    {
+        // Get formal parameter container
+        $parameters = $node->getFirstChildOfType('FormalParameters');
+
+        // Now get all declarators in the formal parameters container
+        $declarators = $parameters->findChildrenOfType('VariableDeclarator');
+
+        foreach ($declarators as $declarator) {
+            $this->addVariableDefinition($declarator);
+        }
+    }
+
+    /**
+     * Collect assignments of variables.
+     *
+     * @param \PHPMD\Node\AbstractCallableNode $node
+     * @return void
+     */
+    private function collectAssignments(AbstractCallableNode $node)
+    {
+        foreach ($node->findChildrenOfType('AssignmentExpression') as $assignment) {
+            $variable = $assignment->getChild(0);
+
+            $this->addVariableDefinition($variable);
+        }
+    }
+
+    /**
+     * Collect postfix property.
+     *
+     * @param \PHPMD\Node\AbstractNode $node
+     * @return void
+     */
+    private function collectPropertyPostfix(AbstractNode $node)
+    {
+        $propertyes = $node->findChildrenOfType('PropertyPostfix');
+
+        foreach ($propertyes as $property) {
+            foreach ($property->getChildren() as $children) {
+                if ($children instanceof \PDepend\Source\AST\ASTVariable) {
+                    $this->addVariableDefinition($children);
+                }
+            }
+        }
+    }
+
+    /**
+     * Add the variable to images
+     *
+     * @param mixed $variable
+     * @return void
+     */
+    private function addVariableDefinition($variable)
+    {
+        if (! isset($this->images[$variable->getImage()])) {
+            $this->images[$variable->getImage()] = $variable;
+        }
+    }
+
+    /**
+     * Checks if a short name is acceptable in the current context.
+     *
+     * @param \PHPMD\Node\AbstractCallableNode $node
+     * @param \PHPMD\Node\ASTNode              $variable
+     *
+     * @return boolean
+     */
+    private function isNameAllowedInContext(AbstractCallableNode $node, ASTNode $variable)
+    {
+        return (
+            $node instanceof \PHPMD\Node\MethodNode &&
+            $variable->getImage() === '$this' &&
+            ($node->getModifiers() & \PDepend\Source\AST\State::IS_STATIC) === 0
+        );
+    }
+}

src/main/resources/rulesets/unusedcode.xml

@@ -99,6 +99,29 @@ class Foo
         // $howdy is not used
     }
 }
+]]>
+        </example>
+    </rule>
+
+    <rule name="UndefinedVariable"
+          since="2.7"
+          message="Avoid using undefined variables such as '{0}' which will lead to PHP notices."
+          class="PHPMD\Rule\UndefinedVariable"
+          externalInfoUrl="">
+        <description>
+Detects when a variable is used that has not been defined before.
+        </description>
+        <priority>3</priority>
+        <example>
+<![CDATA[
+class Foo
+{
+    private function bar()
+    {
+        // $message is undefined
+        echo $message;
+    }
+}
 ]]>
         </example>
     </rule>

src/test/php/PHPMD/Rule/UndefinedValiableTest.php

@@ -0,0 +1,77 @@
+<?php
+/**
+ * This file is part of PHP Mess Detector.
+ *
+ * Copyright (c) Manuel Pichler <mapi@phpmd.org>.
+ * All rights reserved.
+ *
+ * Licensed under BSD License
+ * For full copyright and license information, please see the LICENSE file.
+ * Redistributions of files must retain the above copyright notice.
+ *
+ * @author Manuel Pichler <mapi@phpmd.org>
+ * @copyright Manuel Pichler. All rights reserved.
+ * @license https://opensource.org/licenses/bsd-license.php BSD License
+ * @link http://phpmd.org/
+ */
+
+namespace PHPMD\Rule;
+
+use PHPMD\AbstractTest;
+
+/**
+ * Test case for the undefined variable rule.
+ *
+ * @covers \PHPMD\Rule\UndefinedVariable
+ * @covers \PHPMD\Rule\AbstractLocalVariable
+ */
+class UndefinedVariableTest extends AbstractTest
+{
+    /**
+     * testRuleAppliesToUndefinedVariable
+     *
+     * @return void
+     */
+    public function testRuleAppliesToUndefinedVariable()
+    {
+        $rule = new UndefinedVariable();
+        $rule->setReport($this->getReportMock(1));
+        $rule->apply($this->getMethod());
+    }
+
+    /**
+     * testRuleAppliesToUndefinedVariableWithDefinedVariable
+     *
+     * @return void
+     */
+    public function testRuleAppliesToUndefinedVariableWithDefinedVariable()
+    {
+        $rule = new UndefinedVariable();
+        $rule->setReport($this->getReportMock(1));
+        $rule->apply($this->getMethod());
+    }
+
+    /**
+     * testRuleAppliesToUndefinedVariableOnArray
+     *
+     * @return void
+     */
+    public function testRuleAppliesToUndefinedVariableOnArray()
+    {
+        $rule = new UndefinedVariable();
+        $rule->setReport($this->getReportMock(1));
+        $rule->apply($this->getMethod());
+    }
+
+    /**
+     * testRuleAppliesToUndefinedVariableOnArrayWithKeys
+     *
+     * @return void
+     */
+    public function testRuleAppliesToUndefinedVariableOnArrayWithKeys()
+    {
+        $rule = new UndefinedVariable();
+        $rule->setReport($this->getReportMock(1));
+        $rule->apply($this->getMethod());
+    }
+}

src/test/resources/files/Rule/UndefinedVariable/testRuleAppliesToUndefinedVariable.php

@@ -0,0 +1,24 @@
+<?php
+/**
+ * This file is part of PHP Mess Detector.
+ *
+ * Copyright (c) Manuel Pichler <mapi@phpmd.org>.
+ * All rights reserved.
+ *
+ * Licensed under BSD License
+ * For full copyright and license information, please see the LICENSE file.
+ * Redistributions of files must retain the above copyright notice.
+ *
+ * @author Manuel Pichler <mapi@phpmd.org>
+ * @copyright Manuel Pichler. All rights reserved.
+ * @license https://opensource.org/licenses/bsd-license.php BSD License
+ * @link http://phpmd.org/
+ */
+
+class testRuleAppliesToUndefinedVariable
+{
+    function testRuleAppliesToUndefinedVariable()
+    {
+        echo $x;
+    }
+}