Opcode

СОДЕРЖАНИЕ

• ИМЯ
• СИНТАКСИС
• ОПИСАНИЕ
• ПРИМЕЧАНИЕ
• ПРЕДУПРЕЖДЕНИЕ
• Имена и списки операторов
• Функции Opcode
• Работа с наборами opcodes
• ЗАДАЧИ (возможно)
• Предопределённые теги Opcode
• СМОТРИТЕ ТАКЖЕ
• АВТОРЫ

ИМЯ

Opcode — отключение именованных opcodes при компиляции кода Perl

СИНТАКСИС

use Opcode;

ОПИСАНИЕ

Код Perl всегда компилируется во внутренний формат перед выполнением.

Выполнение кода Perl (например, с помощью "eval" или "do 'file'") приводит к компиляции кода во внутренний формат, а затем, при отсутствии ошибок компиляции, к его выполнению. Внутренний формат основан на многих различных opcodes.

По умолчанию никакая маска opcodes не активна, и любой код может быть скомпилирован.

Модуль Opcode позволяет определить маску операторов, которая будет активна при следующей компиляции кода Perl. Попытка скомпилировать код, содержащий замаскированный opcode, приведёт к ошибке компиляции. Код не будет выполнен.

ПРИМЕЧАНИЕ

Модуль Opcode обычно не используется напрямую. Обратитесь к оператору pragma ops и модулям Safe для более типичных вариантов использования.

ПРЕДУПРЕЖДЕНИЕ

Модуль Opcode не реализует эффективную песочницу для оценки недоверенного кода с помощью интерпретатора Perl.

Ошибки в интерпретаторе Perl, которые можно использовать для обхода ограничений Opcode, не рассматриваются как уязвимости. Обратитесь к perlsecpolicy для получения дополнительной информации.

Авторы не гарантируют, прямо или косвенно, пригодность данного ПО для целей безопасности.

Авторы ни при каких обстоятельствах не несут ответственности за особые, случайные, косвенные или аналогичные убытки, возникшие в результате использования данного ПО.

Ваши результаты могут отличаться. Если у вас есть сомнения, не используйте его.

Имена и списки операторов

Канонический список имён операторов — это содержимое массива PL_op_name, определённого и инициализированного в файле opcode.h дистрибутива исходного кода Perl (и установленного в библиотеку Perl).

Каждый оператор имеет краткое имя (opname) и более подробное или узнаваемое описательное имя. Функция opdesc может использоваться для возврата списка описаний для списка операторов.

Многие функции и методы, перечисленные ниже, принимают список операторов в качестве параметров. Большинство списков операторов могут состоять из нескольких типов элементов. Каждый элемент может быть одним из:

имя оператора (opname)

Имена операторов обычно представляют собой короткие слова с маленькими буквами, такие как enterloop, leaveloop, last, next, redo и т. д. Иногда они довольно загадочные, такие как gv2cv, i_ncmp и ftsvtx.

имя тега оператора (optag)

Имена тегов операторов могут использоваться для ссылки на группы (или наборы) операторов. Имена тегов всегда начинаются с двоеточия.

Модуль Opcode определяет несколько тегов optag, и пользователь может определять другие, используя функцию define_optag.

отрицательное имя opname или optag

Имя opname или optag может быть дополнено знаком восклицания, например, !mkdir. Отрицание opname или optag означает удаление соответствующих операторов из накопленного набора операторов на этом этапе.

набор операторов (opset)

opset — это двоичная строка длиной приблизительно 44 байта, которая содержит набор одного или нескольких операторов.

Функции opset и opset_to_ops могут использоваться для преобразования списка операторов в opset и обратно.

В тех местах, где можно указать список операторов, можно использовать один или несколько opsets. Смотрите также Работа с наборами opcodes ниже.

Функции Opcode

Пакет Opcode содержит функции для работы с именами операторов, тегами и наборами. Все они доступны для экспорта пакетом.

opcodes

В скалярном контексте opcodes возвращает количество opcodes в данной версии Perl (примерно 350 для perl-5.7.0).

В контексте списка возвращает список всех имён операторов. (Ещё не реализовано, используйте @names = opset_to_ops(full_opset).)

opset (OP, ...)

Возвращает opset, содержащий указанные операторы.

opset_to_ops (OPSET)

Возвращает список имён операторов, соответствующих операторам в наборе.

opset_to_hex (OPSET)

Возвращает строковое представление opset. Может быть полезно для отладки.

full_opset

Возвращает opset, который включает все операторы.

empty_opset

Возвращает opset, который не содержит операторов.

invert_opset (OPSET)

Возвращает opset, являющийся обратным набору, переданному в качестве аргумента.

verify_opset (OPSET, ...)

Возвращает true, если переданный opset выглядит как допустимый opset (имеет правильную длину и т. д.), иначе возвращает false. Если второй необязательный параметр имеет значение true, то verify_opset вызовет ошибку при некорректном opset, а не вернёт false.

Большинство других функций Opcode автоматически вызывают verify_opset и вызовут ошибку, если им будет передан некорректный opset.

define_optag (OPTAG, OPSET)

Определяет OPTAG как символическое имя для OPSET. Имена optag всегда начинаются с двоеточия :.

Используемое имя optag не должно быть уже определено (define_optag вызовет ошибку, если оно уже определено). Имена optag являются глобальными для процесса Perl и определения optag нельзя изменить или удалить после их определения.

Сильно рекомендуется использовать заглавные буквы в именах тегов для приложений, использующих Opcode, так как имена в нижнем регистре зарезервированы для модуля Opcode. При использовании Opcode в модуле следует добавлять имя вашего модуля в начало имён тегов, чтобы обеспечить уникальность и избежать конфликтов с другими модулями.

opmask_add (OPSET)

Добавляет переданный opset к текущей опмаске. Обратите внимание, что в настоящее время нет механизма для размаскировки операторов после их маскирования. Это сделано намеренно.

opmask

Возвращает opset, соответствующий текущей маске.

opdesc (OP, ...)

Принимает список имён операторов и возвращает соответствующий список описаний операторов.

opdump (PAT)

Выводит на STDOUT список имён и описаний операторов в двух столбцах. Если передан необязательный шаблон, то будут выведены только строки, которые соответствуют шаблону (регистронезависимо).

Предназначен для использования в качестве удобной утилиты командной строки:

perl -MOpcode=opdump -e opdump
perl -MOpcode=opdump -e 'opdump Eval'

Работа с наборами opcodes

Наборы opcodes могут быть изменены с помощью битовых операторов Perl & (и), | (или), ^ (исключающее или) и ~ (отрицание/инверсия).

Однако никогда не полагайтесь на числовое положение любого opcode в opset. Другими словами, обе стороны битового оператора должны быть opsets, возвращёнными функциями Opcode.

Кроме того, поскольку количество opcodes в вашей текущей версии Perl может не быть точным кратным восьми, в последнем байте opset могут быть неиспользуемые биты. Это не должно создавать проблем (функции Opcode игнорируют эти дополнительные биты), но это означает, что использование оператора ~ обычно не даст такую же «физическую» строку opset, как функция invert_opset.

ЗАДАЧИ (возможно)

$bool = opset_eq($opset1, $opset2)  true if opsets are logically
                                    equivalent
$yes = opset_can($opset, @ops)      true if $opset has all @ops set

@diff = opset_diff($opset1, $opset2) => ('foo', '!bar', ...)

Предопределённые теги Opcode

:base_core

null stub scalar pushmark wantarray const defined undef

rv2sv sassign

rv2av aassign aelem aelemfast aelemfast_lex aslice kvaslice
av2arylen

rv2hv helem hslice kvhslice each values keys exists delete
aeach akeys avalues multideref argelem argdefelem argcheck

preinc i_preinc predec i_predec postinc i_postinc
postdec i_postdec int hex oct abs pow multiply i_multiply
divide i_divide modulo i_modulo add i_add subtract i_subtract

left_shift right_shift bit_and bit_xor bit_or nbit_and
nbit_xor nbit_or sbit_and sbit_xor sbit_or negate i_negate not
complement ncomplement scomplement

lt i_lt gt i_gt le i_le ge i_ge eq i_eq ne i_ne ncmp i_ncmp
slt sgt sle sge seq sne scmp
isa

substr vec stringify study pos length index rindex ord chr

ucfirst lcfirst uc lc fc quotemeta trans transr chop schop
chomp schomp

match split qr

list lslice splice push pop shift unshift reverse

cond_expr flip flop andassign orassign dorassign and or dor xor

warn die lineseq nextstate scope enter leave

rv2cv anoncode prototype coreargs avhvswitch anonconst

entersub leavesub leavesublv return method method_named
method_super method_redir method_redir_super
 -- XXX loops via recursion?

cmpchain_and cmpchain_dup

leaveeval -- needed for Safe to operate, is safe
             without entereval

:base_mem

Эти операции, связанные с памятью, не включены в :base_core, потому что их легко использовать для реализации атаки на ресурсы (например, для потребления всей доступной памяти).

concat multiconcat repeat join range

anonlist anonhash

Обратите внимание, что, несмотря на существование этой метки, атака на ресурсы памяти все еще может быть возможна с использованием только операций :base_core.

Отключение этих операций — очень жёсткий способ попытаться предотвратить атаку на ресурсы памяти. Вероятно, в ближайшем будущем в Perl будет добавлен механизм конкретного лимита памяти.

:base_loop

Эти циклические операции не включены в :base_core, потому что их легко использовать для реализации атаки на ресурсы (например, для потребления всего доступного времени процессора).

grepstart grepwhile
mapstart mapwhile
enteriter iter
enterloop leaveloop unstack
last next redo
goto

:base_io

Эти операции позволяют выполнять ввод и вывод данных, основываясь на дескрипторе файла (а не на имени файла). Они считаются безопасными при условии, что для использования доступны только существующие дескрипторы файлов. Обычно для создания новых дескрипторов файлов необходимо включить другие операции, такие как open, если вы не учитываете магическое открытие ARGV.

readline rcatline getc read

formline enterwrite leavewrite

print say sysread syswrite send recv

eof tell seek sysseek

readdir telldir seekdir rewinddir

:base_orig

Это набор инструкций, которые всё ещё ожидают рассмотрения

gvsv gv gelem

padsv padav padhv padcv padany padrange introcv clonecv

once

rv2gv refgen srefgen ref refassign lvref lvrefslice lvavref

bless -- could be used to change ownership of objects
         (reblessing)

 regcmaybe regcreset regcomp subst substcont

sprintf prtf -- can core dump

crypt

tie untie

dbmopen dbmclose
sselect select
pipe_op sockpair

getppid getpgrp setpgrp getpriority setpriority
localtime gmtime

entertry leavetry -- can be used to 'hide' fatal errors
entertrycatch poptry catch leavetrycatch -- similar

entergiven leavegiven
enterwhen leavewhen
break continue
smartmatch

custom -- where should this go

:base_math

Эти операции не включены в :base_core из-за риска их использования для генерации исключений с плавающей запятой (которые необходимо обрабатывать с помощью обработчика $SIG{FPE}).

atan2 sin cos exp log sqrt

Эти операции не включены в :base_core, потому что они оказывают влияние, выходящее за рамки области видимости контейнера.

rand srand

:base_thread

Эти операции связаны с многопоточностью.

lock

:default

Удобное имя метки для разумного набора операций по умолчанию. (Текущий набор разрешенных операций неустойчив во время разработки. Он будет меняться.)

:base_core :base_mem :base_loop :base_orig :base_thread

Этот список ранее содержал :base_io до версии Opcode 1.07.

Если безопасность для вас важна (а в противном случае зачем вам нужен модуль Opcode?), то вы не должны полагаться на определение этой или любой другой метки!

:filesys_read

stat lstat readlink

ftatime ftblk ftchr ftctime ftdir fteexec fteowned
fteread ftewrite ftfile ftis ftlink ftmtime ftpipe
ftrexec ftrowned ftrread ftsgid ftsize ftsock ftsuid
fttty ftzero ftrwrite ftsvtx

fttext ftbinary

fileno

:sys_db

ghbyname ghbyaddr ghostent shostent ehostent      -- hosts
gnbyname gnbyaddr gnetent snetent enetent         -- networks
gpbyname gpbynumber gprotoent sprotoent eprotoent -- protocols
gsbyname gsbyport gservent sservent eservent      -- services

gpwnam gpwuid gpwent spwent epwent getlogin       -- users
ggrnam ggrgid ggrent sgrent egrent                -- groups

:browse

Удобное имя метки для разумного набора операций по умолчанию за пределами метки :default. Как и :default (и, собственно, все остальные метки), её текущее определение неустойчиво во время разработки. Оно будет меняться.

Метка :browse представляет собой следующий шаг после :default. Это супермножество операций :default и добавляет :filesys_read и :sys_db. Цель состоит в том, чтобы скрипты могли получить доступ к большей (возможно, конфиденциальной) информации о вашей системе, но не могли её изменить.

:default :filesys_read :sys_db

:filesys_open

sysopen open close
umask binmode

open_dir closedir -- other dir ops are in :base_io

:filesys_write

link unlink rename symlink truncate

mkdir rmdir

utime chmod chown

fcntl -- not strictly filesys related, but possibly as
         dangerous?

:subprocess

backtick system

fork

wait waitpid

glob -- access to Cshell via <`rm *`>

:ownprocess

exec exit kill

time tms -- could be used for timing attacks (paranoid?)

:others

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

Межпроцессное взаимодействие SystemV:

msgctl msgget msgrcv msgsnd

semctl semget semop

shmctl shmget shmread shmwrite

:load

Эта метка содержит инструкции, связанные с загрузкой модулей и получением информации об окружении вызова и аргументах.

require dofile 
caller runcv

:still_to_be_decided

chdir
flock ioctl

socket getpeername ssockopt
bind connect listen accept shutdown gsockopt getsockname

sleep alarm -- changes global timer state and signal handling
sort -- assorted problems including core dumps
tied -- can be used to access object implementing a tie
pack unpack -- can be used to create/use memory pointers

hintseval -- constant op holding eval hints

entereval -- can be used to hide code from initial compile

reset

dbstate -- perl -d version of nextstate(ment) opcode

:dangerous

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

syscall dump chroot

СПРАВКА

ops -- интерфейс perl pragma для модуля Opcode.

Safe -- области исполнения с ограниченным доступом и именованием, использующие Opcode

АВТОРЫ

Изначально разработан и реализован Malcolm Beattie, mbeattie@sable.ox.ac.uk, как часть Safe версии 1.

Выделен из модуля Safe версии 1, добавлены имена меток инструкций и другие изменения Tim Bunce.