ਜ਼ਬੂਰ 3.12 ਦੀ ਰਿਲੀਜ਼, PHP ਭਾਸ਼ਾ ਲਈ ਇੱਕ ਸਥਿਰ ਵਿਸ਼ਲੇਸ਼ਕ। PHP 8.0 ਦਾ ਅਲਫ਼ਾ ਰੀਲੀਜ਼

Vimeo ਕੰਪਨੀ ਪ੍ਰਕਾਸ਼ਤ ਸਟੈਟਿਕ ਐਨਾਲਾਈਜ਼ਰ ਦੀ ਨਵੀਂ ਰੀਲੀਜ਼ ਜ਼ਬੂਰ 3.12, ਜੋ ਤੁਹਾਨੂੰ PHP ਕੋਡ ਵਿੱਚ ਸਪੱਸ਼ਟ ਅਤੇ ਸੂਖਮ ਦੋਵੇਂ ਤਰੁੱਟੀਆਂ ਦੀ ਪਛਾਣ ਕਰਨ ਦੇ ਨਾਲ-ਨਾਲ ਕੁਝ ਕਿਸਮਾਂ ਦੀਆਂ ਗਲਤੀਆਂ ਨੂੰ ਆਪਣੇ ਆਪ ਠੀਕ ਕਰਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦਾ ਹੈ। ਸਿਸਟਮ ਪੁਰਾਤਨ ਕੋਡ ਅਤੇ ਕੋਡ ਵਿੱਚ ਸਮੱਸਿਆਵਾਂ ਦੀ ਪਛਾਣ ਕਰਨ ਲਈ ਢੁਕਵਾਂ ਹੈ ਜੋ PHP ਦੀਆਂ ਨਵੀਆਂ ਸ਼ਾਖਾਵਾਂ ਵਿੱਚ ਪੇਸ਼ ਕੀਤੀਆਂ ਗਈਆਂ ਆਧੁਨਿਕ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ। ਪ੍ਰੋਜੈਕਟ ਕੋਡ PHP ਵਿੱਚ ਲਿਖਿਆ ਗਿਆ ਹੈ ਅਤੇ ਦੁਆਰਾ ਵੰਡਿਆ MIT ਲਾਇਸੰਸ ਦੇ ਤਹਿਤ.

ਜ਼ਬੂਰ ਗਲਤ ਕਿਸਮ ਦੀ ਵਰਤੋਂ ਨਾਲ ਜੁੜੀਆਂ ਜ਼ਿਆਦਾਤਰ ਸਮੱਸਿਆਵਾਂ ਦੀ ਪਛਾਣ ਕਰਦਾ ਹੈ, ਨਾਲ ਹੀ ਵੱਖ-ਵੱਖ ਆਮ ਗਲਤੀਆਂ. ਉਦਾਹਰਨ ਲਈ, ਇਹ ਸਮੀਕਰਨ ਵਿੱਚ ਵੱਖ-ਵੱਖ ਕਿਸਮਾਂ ਦੇ ਵੇਰੀਏਬਲਾਂ ਨੂੰ ਮਿਲਾਉਣ ਬਾਰੇ ਚੇਤਾਵਨੀਆਂ ਦਾ ਸਮਰਥਨ ਕਰਦਾ ਹੈ, ਗਲਤ ਲਾਜ਼ੀਕਲ ਟੈਸਟਾਂ (ਜਿਵੇਂ ਕਿ “if ($a && $a) {}”, “if ($a && !$a) {}” ਅਤੇ “ if ($a) {} elseif ($a) {}"), ਵਸਤੂ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਦੀ ਅਧੂਰੀ ਸ਼ੁਰੂਆਤ। ਵਿਸ਼ਲੇਸ਼ਕ ਮਲਟੀ-ਥ੍ਰੈਡਡ ਮੋਡ ਵਿੱਚ ਚੱਲਦਾ ਹੈ। ਵਾਧੇ ਵਾਲੇ ਸਕੈਨ ਕਰਨਾ ਸੰਭਵ ਹੈ, ਜੋ ਸਿਰਫ ਉਹਨਾਂ ਫਾਈਲਾਂ ਦਾ ਵਿਸ਼ਲੇਸ਼ਣ ਕਰਦਾ ਹੈ ਜੋ ਆਖਰੀ ਸਕੈਨ ਤੋਂ ਬਾਅਦ ਬਦਲੀਆਂ ਹਨ।

ਇਸ ਤੋਂ ਇਲਾਵਾ, ਆਗਿਆ ਦੇਣ ਲਈ ਸੁਰੱਖਿਅਤ ਪ੍ਰੋਗਰਾਮਿੰਗ ਟੂਲ ਪ੍ਰਦਾਨ ਕੀਤੇ ਗਏ ਹਨ ਵਰਤੋਂ ਫਾਰਮੈਟ ਵਿੱਚ ਐਨੋਟੇਸ਼ਨ ਡੌਕਬਲਾਕ (“/** @var ਕਿਸਮ */”) ਵੇਰੀਏਬਲ ਕਿਸਮਾਂ, ਵਾਪਸੀ ਮੁੱਲਾਂ, ਫੰਕਸ਼ਨ ਪੈਰਾਮੀਟਰਾਂ, ਵਸਤੂ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਬਾਰੇ ਜਾਣਕਾਰੀ ਪ੍ਰਦਾਨ ਕਰਨ ਲਈ। ਕਿਸਮ ਦੀ ਵਰਤੋਂ ਦੇ ਪੈਟਰਨਾਂ ਨੂੰ ਪਰਿਭਾਸ਼ਿਤ ਕਰਨਾ ਅਤੇ ਅਸਰਟ ਸਟੇਟਮੈਂਟਾਂ ਦੀ ਵਰਤੋਂ ਕਰਨਾ ਵੀ ਸਮਰਥਿਤ ਹੈ। ਉਦਾਹਰਣ ਲਈ:

/** @var ਸਤਰ|null*/
$a = foo();

/** @var ਸਤਰ $a */
echo strpos($a, 'hello');

/** @psalm-asssert-if-true B$a */
ਫੰਕਸ਼ਨ isValidB(A $a): bool {
B && $a->isValid();
}

ਲੱਭੀਆਂ ਗਈਆਂ ਸਮੱਸਿਆਵਾਂ ਦੇ ਖਾਤਮੇ ਨੂੰ ਸਵੈਚਾਲਤ ਕਰਨ ਲਈ, Psalter ਉਪਯੋਗਤਾ ਪ੍ਰਦਾਨ ਕੀਤੀ ਗਈ ਹੈ, ਜੋ ਪਲੱਗਇਨਾਂ ਦਾ ਸਮਰਥਨ ਕਰਦੀ ਹੈ ਅਤੇ ਇਹ ਸਹਾਇਕ ਹੈ ਆਮ ਕੋਡ ਸਮੱਸਿਆਵਾਂ ਦਾ ਨਿਪਟਾਰਾ ਕਰੋ, ਟਾਈਪ ਐਨੋਟੇਸ਼ਨ ਜੋੜੋ, ਅਤੇ ਹੇਰਾਫੇਰੀ ਕਰੋ ਜਿਵੇਂ ਕਿ ਕਲਾਸਾਂ ਨੂੰ ਇੱਕ ਨੇਮਸਪੇਸ ਤੋਂ ਦੂਜੇ ਵਿੱਚ ਲਿਜਾਣਾ, ਕਲਾਸਾਂ ਵਿਚਕਾਰ ਢੰਗਾਂ ਨੂੰ ਮੂਵ ਕਰਨਾ, ਅਤੇ ਕਲਾਸਾਂ ਅਤੇ ਤਰੀਕਿਆਂ ਦਾ ਨਾਮ ਬਦਲਣਾ।

ਜ਼ਬੂਰ ਦੇ ਨਵੇਂ ਅੰਕ ਵਿੱਚ ਲਾਗੂ ਕੀਤਾ "--taint-analysis" ਵਿਕਲਪ ਤੁਹਾਨੂੰ ਉਪਭੋਗਤਾ ਤੋਂ ਪ੍ਰਾਪਤ ਇਨਪੁਟ ਪੈਰਾਮੀਟਰਾਂ (ਉਦਾਹਰਨ ਲਈ, $_GET['name']) ਅਤੇ ਉਹਨਾਂ ਸਥਾਨਾਂ ਵਿੱਚ ਉਹਨਾਂ ਦੀ ਵਰਤੋਂ ਦੇ ਵਿਚਕਾਰ ਸਬੰਧ ਨੂੰ ਟਰੇਸ ਕਰਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦਾ ਹੈ ਜਿਨ੍ਹਾਂ ਲਈ ਅੱਖਰ ਤੋਂ ਬਚਣ ਦੀ ਲੋੜ ਹੁੰਦੀ ਹੈ (ਉਦਾਹਰਨ ਲਈ, echo" $ਨਾਮ "), ਜਿਸ ਵਿੱਚ ਇੰਟਰਮੀਡੀਏਟ ਅਸਾਈਨਮੈਂਟਸ ਅਤੇ ਫੰਕਸ਼ਨ ਕਾਲਾਂ ਦੀ ਟਰੈਕਿੰਗ ਚੇਨ ਸ਼ਾਮਲ ਹੈ। ਸਹਿਯੋਗੀ ਐਰੇ $_GET, $_POST ਅਤੇ $_COOKIE ਦੀ ਵਰਤੋਂ ਨੂੰ ਸੰਭਾਵੀ ਤੌਰ 'ਤੇ ਖ਼ਤਰਨਾਕ ਡੇਟਾ ਦੇ ਸਰੋਤ ਵਜੋਂ ਮੰਨਿਆ ਜਾਂਦਾ ਹੈ, ਪਰ ਇਹ ਸੰਭਵ ਵੀ ਹੈ। ਪਰਿਭਾਸ਼ਾ ਆਪਣੇ ਸਰੋਤ. ਕਿਰਿਆਵਾਂ ਜਿਨ੍ਹਾਂ ਨੂੰ ਬਚਣ ਲਈ ਟਰੈਕਿੰਗ ਦੀ ਲੋੜ ਹੁੰਦੀ ਹੈ, ਉਹਨਾਂ ਵਿੱਚ ਆਉਟਪੁੱਟ ਓਪਰੇਸ਼ਨ ਸ਼ਾਮਲ ਹੁੰਦੇ ਹਨ ਜੋ HTML ਸਮੱਗਰੀ ਤਿਆਰ ਕਰਦੇ ਹਨ, HTTP ਸਿਰਲੇਖ ਜੋੜਦੇ ਹਨ, ਜਾਂ SQL ਪੁੱਛਗਿੱਛਾਂ ਨੂੰ ਲਾਗੂ ਕਰਦੇ ਹਨ।

ਈਕੋ, ਐਗਜ਼ੀਕਿਊਸ਼ਨ, ਇਨਕਲੋ ਅਤੇ ਹੈਡਰ ਵਰਗੇ ਫੰਕਸ਼ਨਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਸਮੇਂ ਪ੍ਰਮਾਣਿਕਤਾ ਵਰਤੀ ਜਾਂਦੀ ਹੈ। ਬਚਣ ਦੀ ਲੋੜ ਦਾ ਵਿਸ਼ਲੇਸ਼ਣ ਕਰਦੇ ਸਮੇਂ, ਡਾਟਾ ਕਿਸਮਾਂ ਜਿਵੇਂ ਕਿ ਟੈਕਸਟ, SQL, HTML ਅਤੇ ਸ਼ੈੱਲ ਕੋਡ ਵਾਲੀਆਂ ਸਤਰ, ਪ੍ਰਮਾਣੀਕਰਨ ਮਾਪਦੰਡਾਂ ਵਾਲੀਆਂ ਸਤਰਾਂ ਨੂੰ ਧਿਆਨ ਵਿੱਚ ਰੱਖਿਆ ਜਾਂਦਾ ਹੈ। ਪ੍ਰਸਤਾਵਿਤ ਮੋਡ ਤੁਹਾਨੂੰ ਕੋਡ ਵਿੱਚ ਕਮਜ਼ੋਰੀਆਂ ਦੀ ਪਛਾਣ ਕਰਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦਾ ਹੈ ਜੋ ਕ੍ਰਾਸ-ਸਾਈਟ ਸਕ੍ਰਿਪਟਿੰਗ (XSS) ਜਾਂ SQL ਬਦਲ ਦੀ ਅਗਵਾਈ ਕਰਦੇ ਹਨ।

ਇਸ ਤੋਂ ਇਲਾਵਾ, ਇਹ ਨੋਟ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ ਸ਼ੁਰੂਆਤ ਨਵੀਂ PHP 8.0 ਸ਼ਾਖਾ ਦੀ ਅਲਫ਼ਾ ਟੈਸਟਿੰਗ। ਰਿਲੀਜ਼ 26 ਨਵੰਬਰ ਨੂੰ ਹੋਣ ਵਾਲੀ ਹੈ। ਨਵੀਂ ਸ਼ਾਖਾ ਵਿੱਚ ਹੇਠ ਲਿਖੇ ਦੀ ਉਮੀਦ ਕੀਤੀ ਜਾਂਦੀ ਹੈ: ਨਵੀਨਤਾਵਾਂਪਸੰਦ:

• ਪਾਵਰ ਅਪ ਜੇਆਈਟੀ ਕੰਪਾਈਲਰ, ਜਿਸ ਦੀ ਵਰਤੋਂ ਉਤਪਾਦਕਤਾ ਵਿੱਚ ਸੁਧਾਰ ਕਰੇਗੀ।
• ਸਪੋਰਟ ਯੂਨੀਅਨ ਕਿਸਮ, ਦੋ ਜਾਂ ਦੋ ਤੋਂ ਵੱਧ ਕਿਸਮਾਂ ਦੇ ਸੰਗ੍ਰਹਿ ਨੂੰ ਪਰਿਭਾਸ਼ਿਤ ਕਰਨਾ (ਉਦਾਹਰਨ ਲਈ, “ਪਬਲਿਕ ਫੰਕਸ਼ਨ foo(Foo|Bar $input): int|float;”)।
• ਸਪੋਰਟ ਗੁਣ (ਐਨੋਟੇਸ਼ਨ) ਜੋ ਤੁਹਾਨੂੰ ਮੈਟਾਡੇਟਾ (ਜਿਵੇਂ ਕਿ ਕਿਸਮ ਦੀ ਜਾਣਕਾਰੀ) ਨੂੰ Docblock ਸੰਟੈਕਸ ਦੀ ਵਰਤੋਂ ਕੀਤੇ ਬਿਨਾਂ ਕਲਾਸਾਂ ਨਾਲ ਜੋੜਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦੇ ਹਨ।
• ਛੋਟਾ ਸੰਟੈਕਸ ਕਲਾਸ ਪਰਿਭਾਸ਼ਾਵਾਂ, ਤੁਹਾਨੂੰ ਕੰਸਟਰਕਟਰ ਅਤੇ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਦੀ ਪਰਿਭਾਸ਼ਾ ਨੂੰ ਜੋੜਨ ਦੀ ਆਗਿਆ ਦਿੰਦੀਆਂ ਹਨ।
• ਨਵੀਂ ਵਾਪਸੀ ਕਿਸਮ - ਸਥਿਰ.
• ਨਵੀਂ ਕਿਸਮ - ਮਿਕਸਡ, ਜਿਸਦੀ ਵਰਤੋਂ ਇਹ ਨਿਰਧਾਰਤ ਕਰਨ ਲਈ ਕੀਤੀ ਜਾ ਸਕਦੀ ਹੈ ਕਿ ਕੀ ਕੋਈ ਫੰਕਸ਼ਨ ਵੱਖ-ਵੱਖ ਕਿਸਮਾਂ ਦੇ ਪੈਰਾਮੀਟਰਾਂ ਨੂੰ ਸਵੀਕਾਰ ਕਰਦਾ ਹੈ।
• ਸਮੀਕਰਨ ਸੁੱਟ ਅਪਵਾਦ ਨੂੰ ਸੰਭਾਲਣ ਲਈ.
• ਕਮਜ਼ੋਰ ਨਕਸ਼ਾ ਵਸਤੂਆਂ ਬਣਾਉਣ ਲਈ ਜੋ ਕੂੜਾ ਇਕੱਠਾ ਕਰਨ ਦੌਰਾਨ ਕੁਰਬਾਨ ਕੀਤੀਆਂ ਜਾ ਸਕਦੀਆਂ ਹਨ (ਉਦਾਹਰਣ ਵਜੋਂ, ਬੇਲੋੜੇ ਕੈਚਾਂ ਨੂੰ ਸਟੋਰ ਕਰਨ ਲਈ)।
• ਮੌਕਾ ਵਸਤੂਆਂ ਲਈ ਸਮੀਕਰਨ "::class" ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ (get_class() ਨੂੰ ਕਾਲ ਕਰਨ ਦੇ ਸਮਾਨ)।
• ਮੌਕਾ ਅਪਵਾਦਾਂ ਦੇ ਕੈਚ ਬਲਾਕ ਵਿੱਚ ਪਰਿਭਾਸ਼ਾਵਾਂ ਜੋ ਵੇਰੀਏਬਲਾਂ ਨਾਲ ਬੰਨ੍ਹੇ ਨਹੀਂ ਹਨ।
• ਮੌਕਾ ਫੰਕਸ਼ਨ ਪੈਰਾਮੀਟਰਾਂ ਦੀ ਸੂਚੀ ਵਿੱਚ ਆਖਰੀ ਤੱਤ ਦੇ ਬਾਅਦ ਇੱਕ ਕੌਮਾ ਛੱਡਣਾ।
• ਨਵਾਂ ਇੰਟਰਫੇਸ ਸਟ੍ਰਿੰਗੇਬਲ ਕਿਸੇ ਵੀ ਸਟ੍ਰਿੰਗ ਕਿਸਮ ਜਾਂ ਡੇਟਾ ਦੀ ਪਛਾਣ ਕਰਨ ਲਈ ਜੋ ਇੱਕ ਸਟ੍ਰਿੰਗ ਵਿੱਚ ਬਦਲਿਆ ਜਾ ਸਕਦਾ ਹੈ (ਜਿਸ ਲਈ __toString() ਵਿਧੀ ਉਪਲਬਧ ਹੈ)।
• ਨਵੀਂ ਵਿਸ਼ੇਸ਼ਤਾ str_contains(), ਇੱਕ ਸਬਸਟ੍ਰਿੰਗ ਦੀ ਮੌਜੂਦਗੀ ਨੂੰ ਨਿਰਧਾਰਤ ਕਰਨ ਲਈ strpos ਦਾ ਇੱਕ ਸਰਲ ਐਨਾਲਾਗ, ਨਾਲ ਹੀ ਇੱਕ ਸਤਰ ਦੇ ਸ਼ੁਰੂ ਅਤੇ ਅੰਤ ਵਿੱਚ ਮੈਚਾਂ ਦੀ ਜਾਂਚ ਕਰਨ ਲਈ ਫੰਕਸ਼ਨਾਂ str_starts_with() ਅਤੇ str_ends_with()।
• ਫੰਕਸ਼ਨ ਸ਼ਾਮਲ ਕੀਤਾ ਗਿਆ fdiv(), ਜੋ ਜ਼ੀਰੋ ਨਾਲ ਵੰਡਣ ਵੇਲੇ ਕੋਈ ਗਲਤੀ ਸੁੱਟੇ ਬਿਨਾਂ ਇੱਕ ਵੰਡ ਕਾਰਵਾਈ ਕਰਦਾ ਹੈ।
• ਬਦਲਿਆ ਸਤਰ ਜੋੜਨ ਦਾ ਤਰਕ। ਉਦਾਹਰਨ ਲਈ, ਸਮੀਕਰਨ 'echo "sum:"। $a + $b' ਨੂੰ ਪਹਿਲਾਂ 'echo ("sum: ". $a) + $b' ਵਜੋਂ ਸਮਝਿਆ ਜਾਂਦਾ ਸੀ, ਅਤੇ PHP ਵਿੱਚ 8 ਨੂੰ 'echo "sum:" ਮੰਨਿਆ ਜਾਵੇਗਾ। ($a + $b)'।
• ਕੱਸਿਆ ਅੰਕਗਣਿਤ ਅਤੇ ਬਿੱਟ ਓਪਰੇਸ਼ਨਾਂ ਦੀ ਜਾਂਚ ਕਰਨਾ, ਉਦਾਹਰਨ ਲਈ, ਸਮੀਕਰਨ "[] % [42]" ਅਤੇ "$object + 4" ਦੇ ਨਤੀਜੇ ਵਜੋਂ ਇੱਕ ਗਲਤੀ ਹੋਵੇਗੀ।
• ਲਾਗੂ ਕੀਤਾ ਇੱਕ ਸਥਿਰ ਛਾਂਟੀ ਕਰਨ ਵਾਲਾ ਐਲਗੋਰਿਦਮ ਜਿਸ ਵਿੱਚ ਵੱਖ-ਵੱਖ ਦੌੜਾਂ ਵਿੱਚ ਇੱਕੋ ਜਿਹੇ ਮੁੱਲਾਂ ਦਾ ਕ੍ਰਮ ਸੁਰੱਖਿਅਤ ਰੱਖਿਆ ਜਾਂਦਾ ਹੈ।

ਸਰੋਤ: opennet.ru