Издание на Псалм 3.12, статичен анализатор за јазикот PHP. Алфа издание на PHP 8.0

Компанијата Вимео објавено ново издание на статички анализатор Псалм 3.12, кој ви овозможува да идентификувате очигледни и суптилни грешки во PHP кодот, како и автоматски да коригирате некои видови грешки. Системот е погоден за идентификација на проблеми и во наследниот код и во кодот што користи модерни функции воведени во новите гранки на PHP. Проектниот код е напишан во PHP и дистрибуирани од под лиценцата MIT.

Псалм ги идентификува повеќето проблеми поврзани со неправилна употреба на типови, како и разни типични грешки. На пример, поддржува предупредувања за мешање променливи од различни типови во изразот, неточни логички тестови (како што се „if ($a && $a) {}“, „if ($a && !$a) {}“ и „ if ( $a) {} elseif ($a) {}"), нецелосна иницијализација на својствата на објектот. Анализаторот работи во режим со повеќе нишки. Можно е да се извршат постепено скенирање, кои ги анализираат само датотеките што се променети од последното скенирање.

Дополнително, обезбедени се безбедни алатки за програмирање за да се овозможи употреба прибелешки во формат Docblock („/** @var Тип */“) за да обезбеди информации за типови на променливи, повратни вредности, параметри на функции, својства на објектот. Поддржано е и дефинирање на шеми за употреба на типови и користење на тврдења. На пример:

/** @var стринг|null */
$a = foo();

/** @var стринг $a */
echo strpos($a, 'здраво');

/** @psalm-assert-if-true B $a */
функцијата isValidB(A $a) : bool {
врати $a пример од B && $a->isValid();
}

За автоматизирање на елиминацијата на пронајдените проблеми, обезбедена е алатката Psalter, која поддржува приклучоци и таа им овозможува на решавајте проблеми со вообичаените проблеми со кодот, додавајте прибелешки за типови и изведувајте манипулации како што се преместување класи од еден именски простор во друг, преместување методи помеѓу класи и преименување класи и методи.

Во новиот број на Псалм имплементирани опцијата „--taint-analysis“ ви овозможува да ја следите врската помеѓу влезните параметри добиени од корисникот (на пример, $_GET['name']) и нивната употреба на места кои бараат бегство на знаци (на пример, ехо „$name"), вклучително и преку синџири за следење на средни задачи и повици на функции. Употребата на асоцијативни низи $_GET, $_POST и $_COOKIE се смета за извори на потенцијално опасни податоци, но исто така е можно определување на сопствени извори. Дејствата што бараат бегство од следење вклучуваат излезни операции кои генерираат HTML содржина, додаваат HTTP заглавија или извршуваат SQL барања.

Валидацијата се користи кога се користат функции како што се ехо, exec, вклучи и заглавие. Кога се анализира потребата за бегство, се земаат предвид типовите на податоци како текст, низи со SQL, HTML и Shell код, низи со параметри за автентикација. Предложениот режим ви овозможува да ги идентификувате пропустите во кодот што водат до скриптирање меѓу страници (XSS) или замена на SQL.

Дополнително, може да се забележи почеток алфа тестирање на новата гранка PHP 8.0. Издавањето е закажано за 26 ноември. Во новата филијала се очекуваат: иновацииКако што се:

• Вклучување JIT компајлер, чија употреба ќе ја подобри продуктивноста.
• Поддршка синдикални типови, дефинирајќи колекции од два или повеќе типа (на пример, „јавна функција foo(Foo|Bar $input): int|float;“).
• Поддршка атрибути (забелешки) кои ви дозволуваат да ги врзувате метаподатоците (како што се информациите за типови) за класи без да користите синтакса на Docblock.
• Скратена синтакса дефиниции за класи, што ви овозможува да ја комбинирате дефиницијата за конструктор и својствата.
• Нов тип на враќање - статички.
• Нов тип - мешани, што може да се користи за да се утврди дали функцијата прифаќа параметри од различни типови.
• Изразување фрли да се справи со исклучоците.
• Слаба карта да се создадат предмети што можат да се жртвуваат за време на собирање ѓубре (на пример, за складирање на непотребни кешови).
• Можност користејќи го изразот „::class“ за објекти (аналогно на повикувањето get_class()).
• Можност дефиниции во блокот за фаќање исклучоци кои не се врзани за променливи.
• Можност оставајќи запирка по последниот елемент во листата на параметри на функцијата.
• Нов интерфејс Стринглив за да се идентификуваат сите типови на стрингови или податоци што може да се претворат во стринг (за кој е достапен методот __toString().
• Нова функција str_contains(), поедноставен аналог на strpos за одредување на појава на подниза, како и функциите str_starts_with() и str_ends_with() за проверка на совпаѓањата на почетокот и крајот на низата.
• Додадена функција fdiv (), кој врши операција на делење без да фрли грешка при делење со нула.
• Сменето логика на спојување низа. На пример, изразот „ехо „збир:“ . $a + $b' претходно беше интерпретирано како 'echo ("sum: " . $a) + $b', а во PHP 8 ќе се третира како 'echo "sum: " . ($a + $b)'.
• Затегнати проверка на аритметичките и битските операции, на пример, изразите „[] % [42]“ и „$object + 4“ ќе резултираат со грешка.
• Имплементиран стабилен алгоритам за сортирање во кој се зачувува редоследот на идентични вредности низ различни патеки.

Извор: opennet.ru