PHP ഭാഷയ്‌ക്കായുള്ള സ്റ്റാറ്റിക് അനലൈസറായ സങ്കീർത്തനം 3.12-ന്റെ പ്രകാശനം. PHP 8.0-ന്റെ ആൽഫ റിലീസ്

വിമിയോ കമ്പനി പ്രസിദ്ധീകരിച്ചു സ്റ്റാറ്റിക് അനലൈസറിന്റെ പുതിയ പതിപ്പ് സങ്കീർത്തനം 3.12, ഇത് PHP കോഡിലെ വ്യക്തവും സൂക്ഷ്മവുമായ പിശകുകൾ തിരിച്ചറിയാനും ചില തരത്തിലുള്ള പിശകുകൾ സ്വയമേവ ശരിയാക്കാനും നിങ്ങളെ അനുവദിക്കുന്നു. PHP-യുടെ പുതിയ ശാഖകളിൽ അവതരിപ്പിച്ചിരിക്കുന്ന ആധുനിക സവിശേഷതകൾ ഉപയോഗിക്കുന്ന ലെഗസി കോഡിലും കോഡിലുമുള്ള പ്രശ്നങ്ങൾ തിരിച്ചറിയാൻ ഈ സിസ്റ്റം അനുയോജ്യമാണ്. പ്രോജക്റ്റ് കോഡ് PHP-ൽ എഴുതിയിരിക്കുന്നു വിതരണം ചെയ്തത് MIT ലൈസൻസിന് കീഴിൽ.

തെറ്റായ തരത്തിലുള്ള ഉപയോഗവുമായി ബന്ധപ്പെട്ട മിക്ക പ്രശ്നങ്ങളും അതുപോലെ തന്നെ വിവിധ പ്രശ്നങ്ങളും സങ്കീർത്തനം തിരിച്ചറിയുന്നു സാധാരണ തെറ്റുകൾ. ഉദാഹരണത്തിന്, ഒരു എക്സ്പ്രഷനിൽ വ്യത്യസ്ത തരം വേരിയബിളുകൾ മിക്സ് ചെയ്യുന്നതിനെക്കുറിച്ചുള്ള മുന്നറിയിപ്പുകളെ ഇത് പിന്തുണയ്ക്കുന്നു, തെറ്റായ ലോജിക്കൽ ടെസ്റ്റുകൾ (“if ($a && $a) {}”, “if ($a && !$a) {}”, “ എങ്കിൽ ($a) {} elseif ($a) {}"), ഒബ്‌ജക്റ്റ് പ്രോപ്പർട്ടികളുടെ അപൂർണ്ണമായ സമാരംഭം. അനലൈസർ മൾട്ടി-ത്രെഡ് മോഡിൽ പ്രവർത്തിക്കുന്നു. കഴിഞ്ഞ സ്കാൻ മുതൽ മാറിയ ഫയലുകൾ മാത്രം വിശകലനം ചെയ്യുന്ന ഇൻക്രിമെന്റൽ സ്കാനുകൾ നടത്താൻ സാധിക്കും.

കൂടാതെ, അനുവദിക്കുന്നതിനായി സുരക്ഷിത പ്രോഗ്രാമിംഗ് ടൂളുകൾ നൽകിയിട്ടുണ്ട് ഉപയോഗിക്കുക ഫോർമാറ്റിലുള്ള വ്യാഖ്യാനങ്ങൾ ഡോക്ബ്ലോക്ക് (“/** @var ടൈപ്പ് */”) വേരിയബിൾ തരങ്ങൾ, റിട്ടേൺ മൂല്യങ്ങൾ, ഫംഗ്‌ഷൻ പാരാമീറ്ററുകൾ, ഒബ്‌ജക്റ്റ് പ്രോപ്പർട്ടികൾ എന്നിവയെക്കുറിച്ചുള്ള വിവരങ്ങൾ നൽകാൻ. തരം ഉപയോഗ പാറ്റേണുകൾ നിർവചിക്കുന്നതും ഉറപ്പ് പ്രസ്താവനകൾ ഉപയോഗിക്കുന്നതും പിന്തുണയ്ക്കുന്നു. ഉദാഹരണത്തിന്:

/** @var സ്ട്രിംഗ്|അസാധുവായ */
$a = foo();

/** @var സ്ട്രിംഗ് $a */
echo strpos($a, 'ഹലോ');

/** @psalm-assert-if-true B $a */
ഫംഗ്‌ഷൻ isValidB(A $a) : bool {
B && $a->isValid();
}

കണ്ടെത്തിയ പ്രശ്നങ്ങൾ ഇല്ലാതാക്കുന്നത് ഓട്ടോമേറ്റ് ചെയ്യുന്നതിന്, പ്ലഗിന്നുകളെ പിന്തുണയ്ക്കുന്ന സാൾട്ടർ യൂട്ടിലിറ്റി നൽകിയിരിക്കുന്നു. ഇത് അനുവദിക്കുന്നു പൊതുവായ കോഡ് പ്രശ്‌നങ്ങൾ പരിഹരിക്കുക, തരം വ്യാഖ്യാനങ്ങൾ ചേർക്കുക, ക്ലാസുകൾ ഒരു നെയിംസ്‌പെയ്‌സിൽ നിന്ന് മറ്റൊന്നിലേക്ക് മാറ്റുക, ക്ലാസുകൾക്കിടയിലുള്ള രീതികൾ മാറ്റുക, ക്ലാസുകളുടെയും രീതികളുടെയും പേരുമാറ്റൽ എന്നിവ പോലുള്ള കൃത്രിമങ്ങൾ നടത്തുക.

സങ്കീർത്തനത്തിന്റെ പുതിയ ലക്കത്തിൽ നടപ്പിലാക്കി "--taint-analysis" ഓപ്ഷൻ ഉപയോക്താവിൽ നിന്ന് ലഭിച്ച ഇൻപുട്ട് പാരാമീറ്ററുകൾ (ഉദാഹരണത്തിന്, $_GET['name']) തമ്മിലുള്ള ബന്ധം കണ്ടെത്താൻ നിങ്ങളെ അനുവദിക്കുന്നു (ഉദാഹരണത്തിന്, echo " $പേര് "), ഇന്റർമീഡിയറ്റ് അസൈൻമെന്റുകളുടെയും ഫംഗ്‌ഷൻ കോളുകളുടെയും ട്രാക്കിംഗ് ശൃംഖലകളിലൂടെ ഉൾപ്പെടെ. $_GET, $_POST, $_COOKIE എന്നീ അനുബന്ധ ശ്രേണികളുടെ ഉപയോഗം അപകടസാധ്യതയുള്ള ഡാറ്റയുടെ ഉറവിടങ്ങളായി കണക്കാക്കപ്പെടുന്നു, പക്ഷേ ഇത് സാധ്യമാണ് ദൃഢനിശ്ചയം സ്വന്തം ഉറവിടങ്ങൾ. എസ്കേപ്പ് ട്രാക്കിംഗ് ആവശ്യമായ പ്രവർത്തനങ്ങളിൽ HTML ഉള്ളടക്കം സൃഷ്ടിക്കുന്ന, HTTP തലക്കെട്ടുകൾ ചേർക്കുന്ന, അല്ലെങ്കിൽ SQL അന്വേഷണങ്ങൾ നടപ്പിലാക്കുന്ന ഔട്ട്പുട്ട് പ്രവർത്തനങ്ങൾ ഉൾപ്പെടുന്നു.

എക്കോ, എക്‌സിക്, ഉൾപ്പെടുത്തൽ, ഹെഡർ തുടങ്ങിയ ഫംഗ്‌ഷനുകൾ ഉപയോഗിക്കുമ്പോൾ മൂല്യനിർണ്ണയം ഉപയോഗിക്കുന്നു. രക്ഷപ്പെടേണ്ടതിന്റെ ആവശ്യകത വിശകലനം ചെയ്യുമ്പോൾ, ടെക്സ്റ്റ്, SQL ഉള്ള സ്ട്രിംഗുകൾ, HTML, ഷെൽ കോഡ്, പ്രാമാണീകരണ പാരാമീറ്ററുകളുള്ള സ്ട്രിംഗുകൾ എന്നിവ പോലുള്ള ഡാറ്റ തരങ്ങൾ കണക്കിലെടുക്കുന്നു. ക്രോസ്-സൈറ്റ് സ്ക്രിപ്റ്റിംഗിലേക്കോ (XSS) അല്ലെങ്കിൽ SQL സബ്സ്റ്റിറ്റ്യൂഷനിലേക്കോ നയിക്കുന്ന കോഡിലെ കേടുപാടുകൾ തിരിച്ചറിയാൻ നിർദ്ദിഷ്ട മോഡ് നിങ്ങളെ അനുവദിക്കുന്നു.

കൂടാതെ, ഇത് ശ്രദ്ധിക്കാവുന്നതാണ് ആരംഭിക്കുക പുതിയ PHP 8.0 ശാഖയുടെ ആൽഫ പരിശോധന. നവംബർ 26നാണ് റിലീസ് നിശ്ചയിച്ചിരിക്കുന്നത്. പുതിയ ശാഖയിൽ ഇനിപ്പറയുന്നവ പ്രതീക്ഷിക്കുന്നു: പുതുമകൾ, പോലെ:

• പ്രാപ്തമാക്കുന്നു JIT കമ്പൈലർ, ഇവയുടെ ഉപയോഗം ഉത്പാദനക്ഷമത മെച്ചപ്പെടുത്തും.
• പിന്തുണ യൂണിയൻ തരങ്ങൾ, രണ്ടോ അതിലധികമോ തരങ്ങളുടെ ശേഖരങ്ങളെ നിർവചിക്കുന്നു (ഉദാഹരണത്തിന്, "പബ്ലിക് ഫംഗ്‌ഷൻ foo(Foo|Bar $input): int|float;").
• പിന്തുണ ഗുണവിശേഷങ്ങൾ ഡോക്ബ്ലോക്ക് വാക്യഘടന ഉപയോഗിക്കാതെ ക്ലാസുകളിലേക്ക് മെറ്റാഡാറ്റ (തരം വിവരങ്ങൾ പോലുള്ളവ) ബൈൻഡ് ചെയ്യാൻ നിങ്ങളെ അനുവദിക്കുന്ന (വിശകലനങ്ങൾ).
• ചുരുക്കിയ വാക്യഘടന ക്ലാസ് നിർവചനങ്ങൾ, ഒരു കൺസ്ട്രക്റ്റർ, പ്രോപ്പർട്ടികൾ എന്നിവയുടെ നിർവചനം സംയോജിപ്പിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്നു.
• പുതിയ റിട്ടേൺ തരം - സ്റ്റാറ്റിക്ക്.
• പുതിയ തരം - മിക്സഡ്, ഒരു ഫംഗ്‌ഷൻ വ്യത്യസ്‌ത തരത്തിലുള്ള പരാമീറ്ററുകൾ സ്വീകരിക്കുന്നുണ്ടോ എന്ന് നിർണ്ണയിക്കാൻ ഇത് ഉപയോഗിക്കാം.
• എക്സ്പ്രഷൻ എറിയുക ഒഴിവാക്കലുകൾ കൈകാര്യം ചെയ്യാൻ.
• ദുർബലമായ മാപ്പ് മാലിന്യ ശേഖരണ സമയത്ത് ബലിയർപ്പിക്കാൻ കഴിയുന്ന വസ്തുക്കൾ സൃഷ്ടിക്കാൻ (ഉദാഹരണത്തിന്, അനാവശ്യ കാഷെകൾ സൂക്ഷിക്കാൻ).
• അവസരം ഒബ്‌ജക്റ്റുകൾക്കായി "::class" എന്ന പദപ്രയോഗം ഉപയോഗിക്കുന്നു (get_class() എന്ന് വിളിക്കുന്നതിന് സമാനമാണ്).
• അവസരം വേരിയബിളുകളുമായി ബന്ധമില്ലാത്ത ഒഴിവാക്കലുകളുടെ ക്യാച്ച് ബ്ലോക്കിലെ നിർവചനങ്ങൾ.
• അവസരം ഫംഗ്ഷൻ പാരാമീറ്ററുകളുടെ പട്ടികയിലെ അവസാന ഘടകത്തിന് ശേഷം കോമ വിടുന്നു.
• പുതിയ ഇന്റർഫേസ് സ്ട്രിംഗബിൾ ഒരു സ്‌ട്രിംഗിലേക്ക് പരിവർത്തനം ചെയ്യാൻ കഴിയുന്ന ഏതെങ്കിലും സ്‌ട്രിംഗ് തരങ്ങളോ ഡാറ്റയോ തിരിച്ചറിയുന്നതിന് (ഇതിന് __toString() രീതി ലഭ്യമാണ്).
• പുതിയ സവിശേഷത str_contains(), ഒരു സബ്‌സ്‌ട്രിംഗിന്റെ ആവിർഭാവം നിർണ്ണയിക്കുന്നതിനുള്ള strpos-ന്റെ ലളിതമായ അനലോഗ്, കൂടാതെ ഒരു സ്ട്രിംഗിന്റെ തുടക്കത്തിലും അവസാനത്തിലും പൊരുത്തങ്ങൾ പരിശോധിക്കുന്നതിനുള്ള str_starts_with(), str_ends_with() എന്നീ ഫംഗ്‌ഷനുകളും.
• പ്രവർത്തനം ചേർത്തു fdiv(), പൂജ്യം കൊണ്ട് ഹരിക്കുമ്പോൾ ഒരു പിശക് എറിയാതെ ഒരു ഡിവിഷൻ പ്രവർത്തനം നടത്തുന്നു.
• മാറി ചരട് ചേരുന്ന യുക്തി. ഉദാഹരണത്തിന്, 'എക്കോ "സം:" എന്ന പ്രയോഗം. $a + $b' എന്നത് മുമ്പ് 'എക്കോ ("സം: ". $a) + $b' ആയി വ്യാഖ്യാനിക്കപ്പെട്ടിരുന്നു, കൂടാതെ PHP 8-ൽ 'എക്കോ "സം:" ആയി കണക്കാക്കും. ($a + $b)'.
• മുറുകി ഗണിതവും ബിറ്റ് പ്രവർത്തനങ്ങളും പരിശോധിക്കുന്നത്, ഉദാഹരണത്തിന്, "[] % [42]", "$object + 4" എന്നീ പദപ്രയോഗങ്ങൾ ഒരു പിശകിന് കാരണമാകും.
• നടപ്പിലാക്കി വ്യത്യസ്ത റണ്ണുകളിലുടനീളം ഒരേ മൂല്യങ്ങളുടെ ക്രമം സംരക്ഷിക്കപ്പെടുന്ന സ്ഥിരതയുള്ള സോർട്ടിംഗ് അൽഗോരിതം.

അവലംബം: opennet.ru