PHPStan 1.0 ਦੀ ਰਿਲੀਜ਼, PHP ਕੋਡ ਲਈ ਇੱਕ ਸਥਿਰ ਵਿਸ਼ਲੇਸ਼ਕ

ਪਛਾਣੀਆਂ ਗਈਆਂ ਅੰਤਰੀਵ ਸਮੱਸਿਆਵਾਂ ਦੀਆਂ ਉਦਾਹਰਨਾਂ:

• ਉਦਾਹਰਨ, ਕੈਚ, ਟਾਈਪਹਿੰਟ ਅਤੇ ਹੋਰ ਭਾਸ਼ਾ ਦੇ ਨਿਰਮਾਣ ਵਿੱਚ ਵਰਤੀਆਂ ਜਾਂਦੀਆਂ ਕਲਾਸਾਂ ਦੀ ਮੌਜੂਦਗੀ।
• ਬੁਲਾਏ ਗਏ ਤਰੀਕਿਆਂ ਅਤੇ ਫੰਕਸ਼ਨਾਂ ਦੀ ਮੌਜੂਦਗੀ ਅਤੇ ਉਪਲਬਧਤਾ, ਨਾਲ ਹੀ ਪਾਸ ਕੀਤੇ ਆਰਗੂਮੈਂਟਾਂ ਦੀ ਸੰਖਿਆ।
• ਜਾਂਚ ਕਰ ਰਿਹਾ ਹੈ ਕਿ ਵਿਧੀ ਉਸੇ ਕਿਸਮ ਦੇ ਨਾਲ ਡੇਟਾ ਵਾਪਸ ਕਰਦੀ ਹੈ ਜਿਵੇਂ ਕਿ ਰਿਟਰਨ ਸਮੀਕਰਨ ਵਿੱਚ ਪਰਿਭਾਸ਼ਿਤ ਕੀਤਾ ਗਿਆ ਹੈ।
• ਐਕਸੈਸ ਕੀਤੇ ਜਾ ਰਹੇ ਸੰਪਤੀਆਂ ਦੀ ਮੌਜੂਦਗੀ ਅਤੇ ਦਿੱਖ, ਅਤੇ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਵਿੱਚ ਵਰਤੇ ਗਏ ਘੋਸ਼ਿਤ ਅਤੇ ਅਸਲ ਡਾਟਾ ਕਿਸਮਾਂ ਦੀ ਜਾਂਚ ਕਰਨਾ।
• ਸਟ੍ਰਿੰਗ ਫਾਰਮੈਟਿੰਗ ਬਲਾਕ ਵਿੱਚ sprintf/printf ਕਾਲਾਂ ਨੂੰ ਪਾਸ ਕੀਤੇ ਪੈਰਾਮੀਟਰਾਂ ਦੀ ਗਿਣਤੀ ਸਹੀ ਹੈ।
• ਬ੍ਰਾਂਚਿੰਗ ਓਪਰੇਟਰਾਂ ਅਤੇ ਲੂਪਸ ਦੁਆਰਾ ਬਣਾਏ ਗਏ ਖਾਤੇ ਦੇ ਬਲਾਕਾਂ ਨੂੰ ਲੈ ਕੇ ਵੇਰੀਏਬਲਾਂ ਦੀ ਮੌਜੂਦਗੀ।
• ਬੇਕਾਰ ਕਿਸਮ ਦੀਆਂ ਕਾਸਟਾਂ (ਉਦਾਹਰਨ ਲਈ "(ਸਟ੍ਰਿੰਗ) 'foo'") ਅਤੇ ਸਖਤ ਟੈਸਟ ("===" ਅਤੇ "!==") ਵੱਖ-ਵੱਖ ਕਿਸਮਾਂ ਅਤੇ ਓਪਰੇਡਾਂ ਵਾਲੇ ਡੇਟਾ 'ਤੇ ਜੋ ਹਮੇਸ਼ਾ ਗਲਤ ਵਾਪਸ ਆਉਂਦੇ ਹਨ।

PHPStan 1.0 ਵਿੱਚ ਮੁੱਖ ਕਾਢਾਂ:

• "9" ਚੈਕ ਪੱਧਰ ਨੂੰ ਲਾਗੂ ਕੀਤਾ ਗਿਆ ਹੈ, ਜੋ ਕਿ "ਮਿਕਸਡ" ਕਿਸਮ ਦੀ ਵਰਤੋਂ ਦੀ ਜਾਂਚ ਕਰਦਾ ਹੈ, ਜਿਸਦਾ ਉਦੇਸ਼ ਵੱਖ-ਵੱਖ ਕਿਸਮਾਂ ਦੇ ਮਾਪਦੰਡਾਂ ਦੇ ਫੰਕਸ਼ਨ ਦੇ ਰਿਸੈਪਸ਼ਨ ਨੂੰ ਸੰਗਠਿਤ ਕਰਨਾ ਹੈ। ਲੈਵਲ XNUMX "ਮਿਕਸਡ" ਦੇ ਅਸੁਰੱਖਿਅਤ ਉਪਯੋਗਾਂ ਦੀ ਪਛਾਣ ਕਰਦਾ ਹੈ, ਜਿਵੇਂ ਕਿ "ਮਿਕਸਡ" ਕਿਸਮ ਦੇ ਮੁੱਲ ਨੂੰ ਕਿਸੇ ਹੋਰ ਕਿਸਮ ਨੂੰ ਪਾਸ ਕਰਨਾ, "ਮਿਕਸਡ" ਕਿਸਮ ਦੇ ਤਰੀਕਿਆਂ ਨੂੰ ਕਾਲ ਕਰਨਾ ਅਤੇ ਇਸ ਦੀਆਂ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਤੱਕ ਪਹੁੰਚ ਕਰਨਾ ਕਿਉਂਕਿ ਉਹ ਮੌਜੂਦ ਨਹੀਂ ਹੋ ਸਕਦੇ ਹਨ।
• @phpstan-pure ਅਤੇ @phpstan-ਅਸ਼ੁੱਧ ਐਨੋਟੇਸ਼ਨਾਂ ਦੀ ਵਰਤੋਂ ਕਰਕੇ ਨਿਯੰਤਰਣ ਕਰੋ ਕਿ ਕੀ ਵਾਪਸੀ ਮੁੱਲ ਇੱਕੋ ਜਿਹੇ ਫੰਕਸ਼ਨ ਕਾਲਾਂ ਲਈ ਇੱਕੋ ਜਿਹੇ ਹਨ।
• ਕੋਸ਼ਿਸ਼-ਕੈਚ-ਅੰਤ ਵਿੱਚ @throws ਐਨੋਟੇਸ਼ਨਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ ਨਿਰਮਾਣ ਵਿੱਚ ਟਾਈਪ ਵਿਸ਼ਲੇਸ਼ਣ।
• ਪਰਿਭਾਸ਼ਿਤ ਪਰ ਨਾ ਵਰਤੇ ਅੰਦਰੂਨੀ (ਨਿੱਜੀ) ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ, ਵਿਧੀਆਂ ਅਤੇ ਸਥਿਰਾਂਕਾਂ ਦੀ ਪਛਾਣ।
• ਐਰੇ ਫੰਕਸ਼ਨਾਂ ਜਿਵੇਂ ਕਿ array_map ਅਤੇ usort ਲਈ ਅਸੰਗਤ ਕਾਲਬੈਕ ਪਾਸ ਕਰਨਾ।
• ਗੁੰਮ ਟਾਈਪਹਿੰਟ ਐਨੋਟੇਸ਼ਨਾਂ ਲਈ ਟਾਈਪ ਇੰਸਪੈਕਸ਼ਨ।
• PHPDocs ਦੇ ਅਨੁਕੂਲ ਕਿਸਮ ਘੋਸ਼ਣਾਵਾਂ ਬਣਾਈਆਂ ਗਈਆਂ, ਜਿਸ ਨਾਲ ਗਲਤੀ ਸੁਨੇਹਿਆਂ ਦੀਆਂ ਕਿਸਮਾਂ ਨੂੰ PHPDocs ਵਿੱਚ ਵਰਤਣ ਦੀ ਆਗਿਆ ਦਿੱਤੀ ਗਈ।

ਸਰੋਤ: opennet.ru