Exakat\Analyzer\Security\SuperGlobalContagion::analyze PHP Method

    public function analyze()
    {
        $vars = $this->loadIni('php_incoming.ini');
        $vars = $vars['incoming'];
        // $_get = $_GET;
        $this->atomIs('Assignation')->outIs('RIGHT')->atomIs('Variable')->codeIs($vars)->back('first')->outIs('LEFT')->atomIs('Variable')->codeIsNot($vars);
        $this->prepareQuery();
        // $_get = $_GET['3'];
        $this->atomIs('Assignation')->outIs('RIGHT')->atomIsNot('Variable')->atomInside('Variable')->codeIs($vars)->back('first')->outIs('LEFT')->_as('result')->atomIs('Variable')->codeIsNot($vars)->back('result');
        $this->prepareQuery();
        // $_get['3'] = $_GET
        $this->atomIs('Assignation')->outIs('RIGHT')->atomIs('Variable')->codeIs($vars)->back('first')->outIs('LEFT')->_as('result')->atomIsNot('Variable')->atomInside('Variable')->codeIsNot($vars)->back('result');
        $this->prepareQuery();
        // $_get['3'] = $_GET[1]
        $this->atomIs('Assignation')->outIs('RIGHT')->atomIsNot('Variable')->atomInside('Variable')->codeIs($vars)->back('first')->outIs('LEFT')->_as('result')->atomIsNot('Variable')->atomInside('Variable')->codeIsNot($vars)->back('result');
        $this->prepareQuery();
        // propagation is not implemented yet.
    }