Famoahana ny Salamo 3.12, mpanadihady static ho an'ny fiteny PHP. Famoahana Alpha ny PHP 8.0

Компания Vimeo namoaka новый выпуск статического анализатора Salamo 3.12, позволяющего выявлять как очевидные, так и трудноуловимые ошибки в коде на языке PHP, а также автоматически исправлять некоторые виды ошибок. Система подходит для выявления проблем как в устаревшем коде, так и в коде, использующем современные возможности, появившиеся в новых ветках PHP. Код проекта написан на языке PHP и nozarain'i eo ambanin'ny lisansa MIT.

Psalm определяет большую часть проблем, связанных с некорректным использованием типов, а также разнообразные типичные ошибки. Например, поддерживается вывод предупреждений о смешивании в выражении переменных с разными типами, некорректных логических проверках (таких как «if ($a && $a) {}», «if ($a && !$a) {}» и «if ($a) {} elseif ($a) {}»), неполной инициализации свойств объекта. Анализатор выполняется в многопоточном режиме. Возможно выполнение инкрементальных проверок, при которых анализируются только файлы, изменившиеся с момента прошлой проверки.

Дополнительно предоставляются средства безопасного программирования, позволяющие mampiasa аннотации в формате Docblock («/** @var Type */») для предоставления информации о типах переменных, возвращаемых значениях, параметрах функций, свойствах объектов. Также поддерживается определение шаблонов использования типов и применение выражений assert. Например:

/** @var string|null */
$a = foo();

/** @var string $a */
echo strpos($a, ‘hello’);

/** @psalm-assert-if-true B $a */
function isValidB(A $a) : bool {
return $a instanceof B && $a->isValid();
}

Для автоматизации устранения найденных проблем предоставляется утилита Psalter, которая поддерживает плагины и Tsy mamela устранять типовые проблемы в коде, добавлять аннотации о типах, а также выполнять такие манипуляции, как перемещение классов из одного пространства имён в другое, перемещение методов между классами, переименовывание классов и методов.

В новом выпуске Psalm ampiharina опция «—taint-analysis», позволяющая проследить связь между полученными от пользователя входными параметрами (например, $_GET[‘name’]) и их использованием в местах, требующих экранирования символов (например, echo «<h1>$name</h1>»), в том числе через отслеживание цепочек промежуточных присвоений и вызовов функций. В качестве источников потенциально опасных данных рассматривается использование ассоциативных массивов $_GET, $_POST и $_COOKIE, но возможно и fanapahan-kevitra собственных источников. Из действий, требующих отслеживания экранирования, рассматриваются операции вывода, приводящие к формированию контента в формате HTML, добавлению HTTP-заголовков или выполнению SQL-запросов.

Проверка применяется при использовании таких функций, как echo, exec, include и header. При анализе необходимости экранирования учитываются типы данных, такие как текст, строки с SQL, HTML и Shell-кодом, строки с параметрами аутентификации. Предложенный режим позволяет выявлять уязвимости в коде, приводящие к межсайтовому скриптингу (XSS) или подстановке SQL-кода.

Fanampin'izany dia azo marihina izany manomboka альфа-тестирования новой ветки PHP 8.0. Релиз намечен на 26 ноября. В новой ветке ожидаются такие fanavaozanaToy ny hoe:

• Mihodina JIT compiler, ny fampiasana azy dia hanatsara ny famokarana.
• fanohanana karazana sendika, mamaritra ny fanangonana karazana roa na maromaro (ohatra, "asa ho an'ny daholobe foo(Foo|Bar $ input): int|float;").
• fanohanana toetra (fanazavana) izay ahafahanao mamatotra metadata (toy ny fampahalalana karazana) amin'ny kilasy nefa tsy mampiasa syntax Docblock.
• Syntax nohafohezina famaritana kilasy, mamela anao hanambatra ny famaritana ny constructor sy ny fananana.
• Karazana fiverenana vaovao - voasakantsakan'ny.
• Karazana vaovao - mifangaro, izay azo ampiasaina hamaritana raha manaiky ny masontsivana isan-karazany ny asa iray.
• teny manary hiatrehana ny exception.
• WeakMap mba hamoronana zavatra azo atao sorona mandritra ny fanangonana fako (ohatra, mba hitahiry cache tsy ilaina).
• fahafahana mampiasa ny teny hoe ":: class" ho an'ny zavatra (mitovy amin'ny fiantsoana get_class()).
• fahafahana famaritana ao amin'ny sakana fisamborana maningana izay tsy mifamatotra amin'ny miovaova.
• fahafahana mamela faingo aorian'ny singa farany amin'ny lisitry ny masontsivana fiasa.
• Interface vaovao azo tady hamantarana izay karazana tady na angona azo ovaina ho tady (izay misy ny fomba __toString()).
• endri-javatra vaovao str_contains(), strpos analogue notsorina mba hamaritana ny fisian'ny zana-tsipìka, ary koa ny fiasa str_starts_with() sy str_ends_with() mba hanamarinana ny lalao eo am-piandohana sy fiafaran'ny tady.
• Nampiana endri-javatra fdiv(), izay manao asa fizarana tsy misy hadisoana raha zaraina aotra.
• nanova lojika mampifandray tady. Ohatra, ny fitenenana 'echo "sum:" . $a + $b' dia nadika taloha hoe 'echo ("sum: " . $a) + $b', ary amin'ny PHP 8 dia raisina ho 'echo "sum: " . ($a + $b)'.
• Mihenjana Ny fanamarinana ny asa arithmetika sy ny bitika, ohatra, dia miteraka hadisoana ny fitenenana "[] % [42]" sy "$object + 4".
• ampiharina Algorithm fanasokajiana maharitra izay voatahiry ny filaharan'ny sanda mitovy amin'ny hazakazaka samihafa.

Source: opennet.ru