PHPSA\Analyzer\Pass\Expression\DivisionFromZero

Complexity

Total Complexity

5

Size/Duplication

Total Lines	47
Duplicated Lines	0 %

Coupling/Cohesion

Components	0
Dependencies	5

Test Coverage

Coverage

100%

Importance

Changes	1
Bugs	0	Features	0

2 Methods

Rating	Name	Duplication	Size	Complexity
B	pass()	0	22	4
A	getRegister()	0	9	1

<?php

namespace PHPSA\Analyzer\Pass\Expression;

use PhpParser\Node\Expr;
use PHPSA\Analyzer\Helper\DefaultMetadataPassTrait;
use PHPSA\Analyzer\Pass\AnalyzerPassInterface;
use PHPSA\Context;

class DivisionFromZero implements AnalyzerPassInterface
{
    use DefaultMetadataPassTrait;

    const DESCRIPTION = 'Checks for division from 0. For example: `0/$x`, `false%$x`';

    /**
     * @param Expr $expr
     * @param Context $context
     * @return bool
     */
    public function pass(Expr $expr, Context $context)
    {
        $compiler = $context->getExpressionCompiler();

        if ($expr instanceof Expr\AssignOp) {
            $left = $compiler->compile($expr->var);
        } elseif ($expr instanceof Expr\BinaryOp) {
            $left = $compiler->compile($expr->left);
        }

        if ($left->getValue() == 0) {

The variable $left does not seem to be defined for all execution paths leading up to this point.

            $context->notice(
                'division_from_zero',
                "You are trying to divide from zero",
                $expr
            );

            return true;
        }
        
        return false;
    }

    /**
     * @return array
     */
    public function getRegister()
    {
        return [
            Expr\BinaryOp\Div::class,
            Expr\BinaryOp\Mod::class,
            Expr\AssignOp\Div::class,
            Expr\AssignOp\Mod::class,
        ];
    }
}