Opcode

СОДЕРЖАНИЕ

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

НАЗВАНИЕ

Opcode - Отключение именованных opкодов при компиляции кода perl

СИНОПСИС

use Opcode;

ОПИСАНИЕ

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

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

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

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

ПРИМЕЧАНИЕ

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

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

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

Авторы ни при каких обстоятельствах не несут ответственности за особые, случайные, косвенные или аналогичные убытки, возникающие в результате использования этого программного обеспечения.

Результат может отличаться. В случае сомнений, не используйте его.

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

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

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

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

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

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

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

Теги операторов могут использоваться для ссылки на группы (или наборы) операторов. Имена тегов всегда начинаются с двоеточия. Модуль Opcode определяет несколько op-тегов, а пользователь может определить другие с помощью функции define_optag.

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

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

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

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

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

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

Функции Opcode

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

opcodes

В скалярном контексте opcodes возвращает количество opкодов в данной версии 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 будет вызывать croak для недопустимого opset вместо возвращения false.

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

define_optag (OPTAG, OPSET)

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

Используемое имя op-тега не должно быть уже определено (define_optag вызовет croak, если оно уже определено). Имена op-тегов являются глобальными для процесса perl, и определения op-тегов не могут быть изменены или удалены после их определения.

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

opmask_add (OPSET)

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

opmask

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

opdesc (OP, ...)

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

opdump (PAT)

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

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

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

Работа с opset

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

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

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

TO DO (возможно)

$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

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.