o
0i4N @ s d Z ddlZddlZddlZddlZddlT ddlmZ g de Z[ejej ej
e e e
fZed Zdedfed fed
ffZed Zd Zd
d ZdVdddddZdVddddZdddddddd d d d
Zd d! Zd"d# Z d$d% Z d&d' Z ddd(d)Z e d*d+Z!d,e!j"_ d-e!j_ d.e!j#_ d/e!j$_ d0e!j%_ d1e!j&_ d2e!j'_ d3e!j(_ d4Z)d5Z*G d6d7 d7e!Z+dd8d9d:Z,d;d< Z-d=d> Z. dWd?d@Z/dXdddBdCZ0ddddDdEZ1 dYdddFdGdHZ2dIdJ Z3e0Z4dKdL Z5dMdN Z6dOdP Z7G dQdR dRZ8dSdT Z9e:dUkre9 dS dS )Zz0Disassembler of Python byte code into mnemonics. N)*)__all__) code_infodis disassembledistbdiscofindlinestarts
findlabels show_codeget_instructions InstructionBytecode FORMAT_VALUE)N strreprascii
MAKE_FUNCTION)defaultsZ
kwdefaultsZ annotationsZclosurec C s4 z t | |d}W |S ty t | |d}Y |S w )zAttempts to compile the given source, first as an expression and
then as a statement if the first approach fails.
Utility function to accept strings in functions that otherwise
expect code objects
evalexec)compile SyntaxError)sourcenamec r */opt/alt/python310/lib64/python3.10/dis.py _try_compile s r filedepthc C sh | du r t |d dS t| dr| j} t| dr | j} nt| dr%| j} nt| dr.| j} nt| dr6| j} t| drt| j }|D ]9\}}t
|t r}t d | |d z t
|||d
W n tyw } z
t d ||d W Y d}~nd}~ww t |d qDdS t| d rt| ||d
dS t
| ttfrt| |d dS t
| trt| ||d
dS td
t| j )a0 Disassemble classes, methods, functions, and other compiled objects.
With no argument, disassemble the last traceback.
Compiled objects currently include generator objects, async generator
objects, and coroutine objects, all of which store their code object
in a special attribute.
Nr! __func____code__gi_codeag_codecr_code__dict__zDisassembly of %s:r zSorry:co_code(don't know how to disassemble %s objects)r hasattrr$ r% r& r' r( sortedr) items
isinstance
_have_codeprintr TypeError_disassemble_recursivebytes bytearray_disassemble_bytesr _disassemble_strtype__name__)xr! r" r. r Zx1msgr r r r + sH
r r# c C sV | du r zt j} W n ty tddw | jr | j} | jst| jj| j|d dS )z2Disassemble a traceback (default: last traceback).Nz no last traceback to disassembler# ) syslast_tracebackAttributeError RuntimeErrortb_nextr tb_framef_codetb_lasti)tbr! r r r r X s
r Z OPTIMIZEDZ NEWLOCALSZVARARGSZ VARKEYWORDSZNESTEDZ GENERATORZNOFREEZ COROUTINEZITERABLE_COROUTINEZASYNC_GENERATOR)
@ i c C s` g }t dD ] }d|> }| |@ r#|t|t| | |N } | s# nq|t| d|S )z+Return pretty representation of code flags.rJ rE , )rangeappendCOMPILER_FLAG_NAMESgethexjoin)flagsnamesiflagr r r pretty_flagsr s
rY c C s t | dr| j} t | dr| j} nt | dr| j} nt | dr#| j} nt | dr+| j} t| tr5t| d} t | dr<| S t dt
| j ) zDHelper to handle methods, compiled or raw code objects, and strings.r$ r% r& r' r( z
r* r+ ) r, r$ r% r& r' r( r/ r r r2 r8 r9 r: r r r _get_code_object s"
r[ c C s t t| S )z1Formatted details of methods, functions, or code.)_format_code_infor[ rZ r r r r s r c C sx g }| d| j | d| j | d| j | d| j | d| j | d| j | d| j | dt| j | j
r[| d t | j
D ] }| d
| qQ| j rr| d t | j D ] }| d | qh| j
r| d
t | j
D ] }| d | q| jr| d t | jD ] }| d | q| jr| d t | jD ] }| d | qd|S )NzName: %szFilename: %szArgument count: %sz Positional-only arguments: %szKw-only arguments: %szNumber of locals: %szStack size: %szFlags: %sz
Constants:z%4d: %rzNames:z%4d: %szVariable names:zFree variables:zCell variables:
)rP co_name co_filename co_argcountco_posonlyargcountco_kwonlyargcount
co_nlocals co_stacksizerY co_flags co_consts enumerateco_names co_varnames co_freevars co_cellvarsrT )colinesZi_cZi_nr r r r\ s<
r\ c C s t t| |d dS )z}Print details of methods, functions, or code to *file*.
If *file* is not provided, the output is printed on stdout.
r# N)r1 r )rl r! r r r r s r _InstructionzBopname opcode arg argval argrepr offset starts_line is_jump_targetz!Human readable name for operationzNumeric code for operationz6Numeric argument to operation (if any), otherwise Nonez4Resolved arg value (if known), otherwise same as argz0Human readable description of operation argumentz1Start index of operation within bytecode sequencez4Line started by this opcode (if any), otherwise Nonez1True if other code jumps to here, otherwise False c @ s e Zd ZdZdddZdS ) r
aK Details for a bytecode operation
Defined fields:
opname - human readable name for operation
opcode - numeric code for operation
arg - numeric argument to operation (if any), otherwise None
argval - resolved arg value (if known), otherwise same as arg
argrepr - human readable description of operation argument
offset - start index of operation within bytecode sequence
starts_line - line started by this opcode (if any), otherwise None
is_jump_target - True if other code jumps to here, otherwise False
FrG c C s g }|r | j durd| }||| j n|d| |r%|d n|d | jr3|d n|d |t| j| || jt | j duri|t| j t
| j ri|d| j d d |
S )
a% Format instruction details for inclusion in disassembly output
*lineno_width* sets the width of the line number field (0 omits it)
*mark_as_current* inserts a '-->' marker arrow as part of the line
*offset_width* sets the width of the instruction offset field
Nz%%%dd z-->z z>>z ()) starts_linerP is_jump_targetr offsetrjustopnameljust
_OPNAME_WIDTHarg _OPARG_WIDTHargreprrT rstrip)self lineno_widthZmark_as_current offset_widthZfieldsZ
lineno_fmtr r r _disassemble s&
zInstruction._disassembleN)rq FrG )r9
__module__ __qualname____doc__r r r r r r
s
r
)
first_linec C sT t | }|j|j }tt|}|dur||j }nd}t|j|j|j |j
|||S )a Iterator for the opcodes in methods, functions or code
Generates a series of Instruction named tuples giving the details of
each operations in the supplied code.
If *first_line* is not None, it indicates the line number that should
be reported for the first source line in the disassembled code.
Otherwise, the source line information (if any) is taken directly from
the disassembled code object.
Nr ) r[ rk rj dictr co_firstlineno_get_instructions_bytesr* ri rh rf )r: r rl
cell_names
linestarts line_offsetr r r r s r c C s | }|dur
|| }|t |fS )zHelper to get optional details about const references
Returns the dereferenced constant and its repr if the constant
list is defined.
Otherwise returns the constant index and its repr().
Nr )Z const_indexZ
const_listargvalr r r _get_const_info s r c C s0 | }|dur|| }|}||fS t |}||fS )zHelper to get optional details about named references
Returns the dereferenced name as both value and repr if the name
list is defined.
Otherwise returns the name index and its repr().
Nr )Z
name_indexZ name_listr r~ r r r _get_name_info' s r c
# s t | }d}t| D ]\} }
|dur"|| d}|dur"||7 }| |v } d} d}
dur } |
tv r @ r|V qdS )rE Nr ).0rW sr| r r j s
z*_get_instructions_bytes..)r
_unpack_opargsrR Zhasconstr Zhasnamer hasjabsr hasjrelZhaslocalZ
hascompareZcmp_opZhasfreer FORMAT_VALUE_CONVERTERSboolr rT rg MAKE_FUNCTION_FLAGSr
ry )codevarnamesrV constantscellsr r labelsru rw oprv r r~ r r r r 7 sZ
r c
C s< | j | j }tt| }t| j|| j| j| j|||d dS )zDisassemble a code object.r# N) rk rj r r r6 r* ri rh rf )rl lastir! r r r r r r p s
r c C st t | |d |d u s|dkr6|d ur|d }| jD ] }t|dr5t|d td|f |d t|||d qd S d S )Nr# r rE r* zDisassembly of %r:r )r rf r, r1 r3 )rl r! r" r: r r r r3 w s
r3 )r! r c C s t |} | r t| | }
|
dkrtt|
} nd} nd} t| d } | dkr/tt| }
nd}
t| ||||||dD ]%}| oI|jd uoI|jdk}|rQt|d |j|k}t| | ||
|d qN)r3 r )r kwargsr r r r7 s r7 c c sj d}t dt| dD ]'}| | }|tkr(| |d |B }|tkr%|d> nd}nd }d}|||fV q d S )Nr rF rE rH )rO r Z
HAVE_ARGUMENTZ EXTENDED_ARG)r Z extended_argrW r r| r r r r s r c C sd g }t | D ])\}}}|dur/|tv r |d |d }n
|tv r%|d }nq||vr/|| q|S )z`Detect all offsets in a byte code which are jump targets.
Return the list of offsets.
NrF )r r r rP )r r rw r r| Zlabelr r r r
s
r
c c s< d}| D ]\}}}|dur||kr|}||fV qdS )zqFind the offsets in a byte code which are start of lines in the source.
Generate pairs (offset, lineno)
N)co_lines)r Zlastlinestartendliner r r r s
r c @ sL e Zd ZdZdddddZdd Zdd Zed
d Zd d
Z dd Z
dS )r a The bytecode operations of a piece of code
Instantiate this with a function, method, other compiled object, string of
code, or a code object (as returned by compile()).
Iterating over this yields the bytecode operations as Instruction instances.
N)r current_offsetc C sd t | | _}|d u r|j| _d| _n || _||j | _|j|j | _tt || _
|| _ || _ d S )Nr )
r[ codeobjr r _line_offsetrk rj _cell_namesr r _linestarts_original_objectr )r r: r r rl r r r __init__ s
zBytecode.__init__c C s* | j }t|j|j|j|j| j| j| jdS )Nr ) r r r* ri rh rf r r r )r rl r r r __iter__ s zBytecode.__iter__c C s d | jj| jS )Nz{}({!r}))format __class__r9 r r r r r __repr__ s
zBytecode.__repr__c C s$ |j r |j }|j s| |jj|jdS )z/ Construct a Bytecode from the given traceback )r )r@ rA rB rC )clsrD r r r from_traceback s zBytecode.from_tracebackc C s
t | jS )z3Return formatted information about the code object.)r\ r r r r r info s
z
Bytecode.infoc C sx | j }| jdur | j}nd}t }t|j|j|j|j| j | j
| j ||d | W d S 1 s5w Y dS )z3Return a formatted view of the bytecode operations.Nr )r rV r r r r r! r )
r r ioStringIOr6 r* ri rh rf r r r getvalue)r rl rw outputr r r r s
$z Bytecode.dis) r9 r r r r r r classmethodr r r r r r r r s
r c C sz ddl } | }|jd| dddd | }|j }| }W d n1 s*w Y t||jjd}t | dS ) z*Simple test program to disassemble a file.r Ninfilerb?-)r8 nargsdefaultr )
argparseArgumentParser add_argumentZFileType
parse_argsr readr r r )r parserargsr r r r r r _test s
r __main__)N)NNNNNr )r )r NNNNN);r r< types collectionsr Zopcoder Z _opcodes_all
MethodType FunctionTypeCodeTyper staticmethodr8 r0 Zopmapr r r r r r r r r r rQ rY r[ r r\ r
namedtuplern ry r| r r~ rw ru rv r{ r} r
r r r r r r3 r6 r7 r r r
r r r r9 r r r r s
-
4
9
=