Issues in analyze.php (master) - Issues in master - nikic/PHP-Parser - Measure and Improve Code Quality continuously with Scrutinizer

Issues (110)

Security Analysis no request data

Cross-Site Scripting

Cross-Site Scripting enables an attacker to inject code into the response of a web-request that is viewed by other users. It can for example be used to bypass access controls, or even to take over other users' accounts.

File Exposure

File Exposure allows an attacker to gain access to local files that he should not be able to access. These files can for example include database credentials, or other configuration files.

File Manipulation

File Manipulation enables an attacker to write custom data to files. This potentially leads to injection of arbitrary code on the server.

Object Injection

Object Injection enables an attacker to inject an object into PHP code, and can lead to arbitrary code execution, file exposure, or file manipulation attacks.

Code Injection

Code Injection enables an attacker to execute arbitrary code on the server.

Response Splitting

Response Splitting can be used to send arbitrary responses.

File Inclusion

File Inclusion enables an attacker to inject custom files into PHP's file loading mechanism, either explicitly passed to include, or for example via PHP's auto-loading mechanism.

Command Injection

Command Injection enables an attacker to inject a shell command that is execute with the privileges of the web-server. This can be used to expose sensitive data, or gain access of your server.

SQL Injection

SQL Injection enables an attacker to execute arbitrary SQL code on your database server gaining access to user data, or manipulating user data.

XPath Injection

XPath Injection enables an attacker to modify the parts of XML document that are read. If that XML document is for example used for authentication, this can lead to further vulnerabilities similar to SQL Injection.

LDAP Injection

LDAP Injection enables an attacker to inject LDAP statements potentially granting permission to run unauthorized queries, or modify content inside the LDAP tree.

Header Injection

Other Vulnerability

This category comprises other attack vectors such as manipulating the PHP runtime, loading custom extensions, freezing the runtime, or similar.

Regex Injection

Regex Injection enables an attacker to execute arbitrary code in your PHP process.

XML Injection

XML Injection enables an attacker to read files on your local filesystem including configuration files, or can be abused to freeze your web-server process.

Variable Injection

Variable Injection enables an attacker to overwrite program variables with custom data, and can lead to further vulnerabilities.

Unfortunately, the security analysis is currently not available for your project. If you are a non-commercial open-source project, please contact support to gain access.

grammar/analyze.php (2 issues)

Labels

Severity

Minor 2

Upgrade to new PHP Analysis Engine

These results are based on our legacy PHP analysis, consider migrating to our new PHP analysis engine instead. Learn more

<?php

const GRAMMAR_FILE = './php5.y';

const LIB = '(?(DEFINE)
    (?<singleQuotedString>\'[^\\\\\']*+(?:\\\\.[^\\\\\']*+)*+\')
    (?<doubleQuotedString>"[^\\\\"]*+(?:\\\\.[^\\\\"]*+)*+")
    (?<string>(?&singleQuotedString)|(?&doubleQuotedString))
    (?<comment>/\*[^*]*+(?:\*(?!/)[^*]*+)*+\*/)
    (?<code>\{[^\'"/{}]*+(?:(?:(?&string)|(?&comment)|(?&code)|/)[^\'"/{}]*+)*+})
)';

const RULE_BLOCK = '(?<name>[a-z_]++):(?<rules>[^\'"/{};]*+(?:(?:(?&string)|(?&comment)|(?&code)|/|})[^\'"/{};]*+)*+);';

$usedTerminals = array_flip(array(
    'T_VARIABLE', 'T_STRING', 'T_INLINE_HTML', 'T_ENCAPSED_AND_WHITESPACE',
    'T_LNUMBER', 'T_DNUMBER', 'T_CONSTANT_ENCAPSED_STRING', 'T_STRING_VARNAME', 'T_NUM_STRING'
));
$unusedNonterminals = array_flip(array(
    'case_separator', 'optional_comma'
));

function regex($regex) {
    return '~' . LIB . '(?:' . str_replace('~', '\~', $regex) . ')~';
}

function magicSplit($regex, $string) {
    $pieces = preg_split(regex('(?:(?&string)|(?&comment)|(?&code))(*SKIP)(*FAIL)|' . $regex), $string);

    foreach ($pieces as &$piece) {
        $piece = trim($piece);
    }

    return array_filter($pieces);
}

echo '<pre>';

////////////////////
////////////////////
////////////////////

list($defs, $ruleBlocks) = magicSplit('%%', file_get_contents(GRAMMAR_FILE));

if ('' !== trim(preg_replace(regex(RULE_BLOCK), '', $ruleBlocks))) {
    die('Not all rule blocks were properly recognized!');
}

preg_match_all(regex(RULE_BLOCK), $ruleBlocks, $ruleBlocksMatches, PREG_SET_ORDER);
foreach ($ruleBlocksMatches as $match) {
$collection = json_decode($data, true);
if ( ! is_array($collection)) {
    throw new \RuntimeException('$collection must be an array.');
}

foreach ($collection as $item) { /** ... */ }
    $ruleBlockName = $match['name'];
    $rules = magicSplit('\|', $match['rules']);

    foreach ($rules as &$rule) {
        $parts = magicSplit('\s+', $rule);
        $usedParts = array();

        foreach ($parts as $part) {
            if ('{' === $part[0]) {
                preg_match_all('~\$([0-9]+)~', $part, $backReferencesMatches, PREG_SET_ORDER);
                foreach ($backReferencesMatches as $match) {
$collection = json_decode($data, true);
if ( ! is_array($collection)) {
    throw new \RuntimeException('$collection must be an array.');
}

foreach ($collection as $item) { /** ... */ }
                    $usedParts[$match[1]] = true;
                }
            }
        }

        $i = 1;
        foreach ($parts as &$part) {
            if ('/' === $part[0]) {
                continue;
            }

            if (isset($usedParts[$i])) {
                if ('\'' === $part[0] || '{' === $part[0]
                    || (ctype_upper($part[0]) && !isset($usedTerminals[$part]))
                    || (ctype_lower($part[0]) && isset($unusedNonterminals[$part]))
                ) {
                    $part = '<span style="background-color: red; color: white;">' . $part . '</span>';
                } else {
                    $part = '<strong><em>' . $part . '</em></strong>';
                }
            } elseif ((ctype_upper($part[0]) && isset($usedTerminals[$part]))
                      || (ctype_lower($part[0]) && !isset($unusedNonterminals[$part]))

            ) {
                $part = '<span style="background-color: blue; color: white;">' . $part . '</span>';
            }

            ++$i;
        }

        $rule = implode(' ', $parts);
    }

    echo $ruleBlockName, ':', "\n", '      ', implode("\n" . '    | ', $rules), "\n", ';', "\n\n";
}


1			<?php
2
3			const GRAMMAR_FILE = './php5.y';
4
5			const LIB = '(?(DEFINE)
6			(?<singleQuotedString>\'[^\\\\\']+(?:\\\\.[^\\\\\']+)*+\')
7			(?<doubleQuotedString>"[^\\\\"]+(?:\\\\.[^\\\\"]+)*+")
8			(?<string>(?&singleQuotedString)\|(?&doubleQuotedString))
9			(?<comment>/\[^]+(?:\(?!/)[^]+)+\/)
10			(?<code>\{[^\'"/{}]+(?:(?:(?&string)\|(?&comment)\|(?&code)\|/)[^\'"/{}]+)*+})
11			)';
12
13			const RULE_BLOCK = '(?<name>[a-z_]++):(?<rules>[^\'"/{};]+(?:(?:(?&string)\|(?&comment)\|(?&code)\|/\|})[^\'"/{};]+)*+);';
14
15			$usedTerminals = array_flip(array(
16			'T_VARIABLE', 'T_STRING', 'T_INLINE_HTML', 'T_ENCAPSED_AND_WHITESPACE',
17			'T_LNUMBER', 'T_DNUMBER', 'T_CONSTANT_ENCAPSED_STRING', 'T_STRING_VARNAME', 'T_NUM_STRING'
18			));
19			$unusedNonterminals = array_flip(array(
20			'case_separator', 'optional_comma'
21			));
22
23			function regex($regex) {
24			return '~' . LIB . '(?:' . str_replace('~', '\~', $regex) . ')~';
25			}
26
27			function magicSplit($regex, $string) {
28			$pieces = preg_split(regex('(?:(?&string)\|(?&comment)\|(?&code))(SKIP)(FAIL)\|' . $regex), $string);
29
30			foreach ($pieces as &$piece) {
31			$piece = trim($piece);
32			}
33
34			return array_filter($pieces);
35			}
36
37			echo '<pre>';
38
39			////////////////////
40			////////////////////
41			////////////////////
42
43			list($defs, $ruleBlocks) = magicSplit('%%', file_get_contents(GRAMMAR_FILE));
44
45			if ('' !== trim(preg_replace(regex(RULE_BLOCK), '', $ruleBlocks))) {
46			die('Not all rule blocks were properly recognized!');
47			}
48
49			preg_match_all(regex(RULE_BLOCK), $ruleBlocks, $ruleBlocksMatches, PREG_SET_ORDER);
50			foreach ($ruleBlocksMatches as $match) {
			0 ignored issues – show Bug introduced 2015-11-21 21:34 UTC by Report Bug Copy Issue Report Show Similar Issues like this The expression `$ruleBlocksMatches` of type `null\|array<integer,array<integer,string>>` is not guaranteed to be traversable. How about adding an additional type check? There are different options of fixing this problem. If you want to be on the safe side, you can add an additional type-check: $collection = json_decode($data, true); if ( ! is_array($collection)) { throw new \RuntimeException('$collection must be an array.'); } foreach ($collection as $item) { /** ... / } If you are sure that the expression is traversable, you might want to add a doc comment cast* to improve IDE auto-completion and static analysis: /** @var array $collection / $collection = json_decode($data, true); foreach ($collection as $item) { /* .. / } Mark the issue as a false-positive*: Just hover the remove button, in the top-right corner of this issue for more options. Loading history...
51			$ruleBlockName = $match['name'];
52			$rules = magicSplit('\\|', $match['rules']);
53
54			foreach ($rules as &$rule) {
55			$parts = magicSplit('\s+', $rule);
56			$usedParts = array();
57
58			foreach ($parts as $part) {
59			if ('{' === $part[0]) {
60			preg_match_all('~\$([0-9]+)~', $part, $backReferencesMatches, PREG_SET_ORDER);
61			foreach ($backReferencesMatches as $match) {
			0 ignored issues – show Bug introduced 2015-11-21 21:34 UTC by Report Bug Copy Issue Report Show Similar Issues like this The expression `$backReferencesMatches` of type `null\|array<integer,array<integer,string>>` is not guaranteed to be traversable. How about adding an additional type check? There are different options of fixing this problem. If you want to be on the safe side, you can add an additional type-check: $collection = json_decode($data, true); if ( ! is_array($collection)) { throw new \RuntimeException('$collection must be an array.'); } foreach ($collection as $item) { /** ... / } If you are sure that the expression is traversable, you might want to add a doc comment cast* to improve IDE auto-completion and static analysis: /** @var array $collection / $collection = json_decode($data, true); foreach ($collection as $item) { /* .. / } Mark the issue as a false-positive*: Just hover the remove button, in the top-right corner of this issue for more options. Loading history...
62			$usedParts[$match[1]] = true;
63			}
64			}
65			}
66
67			$i = 1;
68			foreach ($parts as &$part) {
69			if ('/' === $part[0]) {
70			continue;
71			}
72
73			if (isset($usedParts[$i])) {
74			if ('\'' === $part[0] \|\| '{' === $part[0]
75			\|\| (ctype_upper($part[0]) && !isset($usedTerminals[$part]))
76			\|\| (ctype_lower($part[0]) && isset($unusedNonterminals[$part]))
77			) {
78			$part = '<span style="background-color: red; color: white;">' . $part . '</span>';
79			} else {
80			$part = '<strong><em>' . $part . '</em></strong>';
81			}
82			} elseif ((ctype_upper($part[0]) && isset($usedTerminals[$part]))
83			\|\| (ctype_lower($part[0]) && !isset($unusedNonterminals[$part]))
84
85			) {
86			$part = '<span style="background-color: blue; color: white;">' . $part . '</span>';
87			}
88
89			++$i;
90			}
91
92			$rule = implode(' ', $parts);
93			}
94
95			echo $ruleBlockName, ':', "\n", ' ', implode("\n" . ' \| ', $rules), "\n", ';', "\n\n";
96			}
97

nikic / PHP-Parser

Issues (110)

Security Analysis no request data

grammar/analyze.php (2 issues)

Labels

Severity

Introduced By

Upgrade to new PHP Analysis Engine

Duplication Side-by-Side

Filter issues like