баг в перле

[avva]

(эта запись будет интересна, наверное, только программистам, знающим Perl)

Благодаря ЖЖ найден небольшой баг в Перле, в обработке некоторых регулярных выражений.


Точнее, благодаря DeadJournal'у, на серверах которого он проявился. В самом ЖЖ этот код не бежит, т.к. это проверка валидности UTF8-строки, которая запускается, только если не включена инлайновая версия на C, а у нас она включена.

Собственно, все подробности здесь.

Сейчас думаю поиграться с исходниками Перла немножко, посидеть в gdb (давненько я не сидел в gdb!), и, может быть, исправить баг в самом Перле. Если за несколько часов не сдастся, напишу перлятам, пусть они сами разбираются.

Comments

[graycrow.livejournal.com]

Анатолий, у вас опечатка — ссылка на DeadJournal ведет на ЖЖ. Воистину добро побеждает зло :)

[avva.livejournal.com]

Ой :)
Спасибо, исправил.

[kukutz.livejournal.com]

Анатолий, а вдруг это не баг? :-)

Поглядите вот сюда, плз: http://bugs.php.net/?id=20698

[kukutz.livejournal.com]

Я детально не смотрел суть бага в перле, но он показался мне похожим на найденный мной "баг" в php.

Суть в том, что если matches слишком много, то PCRE падает. Но виновата не PCRE (хотя могла бы и не падать), а те, кто пишут регекспы, которые матчат слишком много матчей, грубо говоря.

Re:

[avva.livejournal.com]

Интересно, спасибо. Но я не убеждён. Столь простой regexp, как в том примере, в Перле не приводит к крэшу; более того, небольшое варьирование перловского regexp'а приводит к нормальной работе. Так что я подозреваю, что может быть баг в компиляторе regexp'ов.

Re:

[avva.livejournal.com]

Интерпретатор языка не должен падать в любом случае. Это как бы аксиома :) если регексп слишком тяжёлый, PCRE должна вернуть ошибку, а не переполнить стэк; а если переполняет, то это баг. Так мне кажется.

Ответ PHP-шных девелоперов на Ваш баг мне кажется, откровенно говоря, глупым.

Я сейчас копаюсь в недрах перловской библиотеки регекспов, и там есть поддержка избежания бесконечной рекурсии и прочих подобных прелестей, но почему-то она не срабатывает.

[kukutz.livejournal.com]

Не то чтобы очень глупым, PCRE-то не они пишут. Но по сути ты прав, конечно.

О результатах расскажешь?

Re:

[avva.livejournal.com]

Следи за ссылкой на Зиллу, я уже туда заслал немного результатов. Скоро ещё будет.

Что касается твоего конкретного случая с PHP и PCRE: попробуй вместо (\n|?) использовать
(?:\n|?) и скажи мне, предотвращает ли это крэш :)

[avva.livejournal.com]

Вернее,
(?:\n|.)* вместо (\n|.)* .