Lib.Krakatau.ssa.blockmaker.pyc Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of krakatau-lib Show documentation
Show all versions of krakatau-lib Show documentation
Assembler, disassebmler, decompiler and compiler tools library for Java.
?
?HRc @ s0 d d l Z d d l m Z m Z m Z m Z d d l m Z d d l m Z m
Z
d d l m Z m
Z
m Z m Z m Z m Z d d l m Z m Z i e d 6e d
6e d 6e
d 6e d
6e d 6e d 6Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z! d ? Z" d ? Z# d ? Z$ d ? Z% d! ? Z& d" ? Z' d# ? Z( d$ ? Z) d% ? Z* d& ? Z+ d' ? Z, d( ? Z- d) ? Z. d* ? Z/ d+ ? Z0 d, ? Z1 d- ? Z2 d. ? Z3 d/ ? Z4 d0 ? Z5 d1 ? Z6 d2 ? Z7 d3 ? Z8 d4 ? Z9 d5 ? Z: d6 ? Z; d7 ? Z< d8 ? Z= i7 e e j> e j? ? e j@ 6e e jA d9 eB ?e jC 6e e jD 6e e jE 6e e jF 6e e jG 6e e jH 6e! e jI 6e" e jJ 6e# e jK 6e$ e jL 6e% e jM 6e e jN e jO ? e jP 6e& e jQ 6e' e jR 6e' e jS 6e7 e jT 6e( e jU 6e* e jV 6e) e jW 6e* e jX 6e+ e jY 6e, e jZ 6e- e j[ 6e- e j\ 6e- e j] 6e- e j^ 6e- e j_ 6e. e j` 6e/ e ja 6e0 e jb 6e1 e jc 6e2 e jd 6e2 e je 6e3 e jf 6e e jg e jh ? e ji 6e4 e jj 6e5 e jk 6e6 e jl 6e7 e jm 6e e jn d9 eB ?e jo 6e' e jp 6e' e jq 6e e jr e js ? e jt 6e8 e ju 6e9 e jv 6e e jw d9 ex ?e jy 6e e jz d9 ex ?e j{ 6e: e j| 6e e j} e j~ ? e j 6e; e j? 6e< e j? 6e= e j? 6e e j? d9 ex ?e j? 6e e j? d9 eB ?e j? 6Z? d: ? Z? d; ? Z? d< ? Z? d S(= i????Ni ( t ssa_opst ssa_jumpst objtypest subproci ( t opnames( t parseMethodDescriptort parseFieldDescriptor( t SSA_INTt SSA_LONGt SSA_FLOATt
SSA_DOUBLEt
SSA_OBJECTt SSA_MONAD( t slots_tt
BasicBlockt Dt Ft It Jt Bt Ct Sc C s | d k r d Sd S( Nt JDi i ( ( t c( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt getCategory s c K s | S( N( ( t kwargs( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt makeDict
s c C s | j | ? } | | _ | S( N( t makeVariablet const( t parentt type_t valt var( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt makeConstVar s c C sH | d d k r8 t | d t ?} t j | d ? } n | d f } | S( Ni t [t unsynthesize( R t FalseR t verifierToSynthetic( t desct vtypest tt( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt parseArrOrClassName s
c C s\ t | \ } } | | } g | D] } | | | d ^ q" } | | | } t d | ? S( Ni t newstack( t genericStackCodesR ( t opt stackt numt replaceCodest valst it newvalsR* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _genericStackOperation s
%c s ? ? f d ? } | S( Nc s? t | j d ? } | j d d k } | r2 ? n ? } | j | d d | ? } | | | ? } | j d | | j g d g | d } t d | d | ? S( Ni t DFi i????t lineR* ( R t instructionR- t rvalt NoneR ( R t input_t iNodet catt isfloatR, t argsR5 R* ( t fopt iop( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt math1& s *( ( R> R? R@ ( ( R> R? s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _floatOrIntMath% s
c s ? ? f d ? } | S( Nc s? t | j d ? } ? r# | d n | | } | j | d | ? } ? | | ? } | j | | j g d g | d } t d | d | ? S( Ni R5 R* ( R R6 R- R7 R8 R ( R R9 R: R; t sizeR= R5 R* ( t isShiftR, ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt math23 s '( ( R, RC RD ( ( RC R, s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _intMath2 s c C sr | j | j d ? d } t | ? } t j | | j d | | j ? } | j d | j g } t d | d | ? S( Ni i i????R5 R* ( t getConstPoolArgsR6 R) R t NewArrayR- t monadR7 R ( R R9 R: t nameR( R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt
_anewarray> s
"c C sC t j | | j d ? } | j d | j g } t d | d | ? S( Ni????R5 R* ( R t ArrLengthR- R7 R ( R R9 R: R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _arrlenE s c C s? t | j d } t | j d ? } t j | | j d | d | j ?} | j d | j g d g | d } t d | d | ? S( Ni i????RH R5 R* (
t _charToSSATypeR6 R R t ArrLoadR- RH R7 R8 R ( R R9 R: R R; R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _arrloadJ s
%&c C sO t j | | j d t d | j ?} | j d | j g } t d | d | ? S( Ni????RH R5 R* ( R RN R- R RH R7 R ( R R9 R: R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _arrload_objR s %c C s? t | j d ? d k r: | j d | j d d !} } n | j d | j d } } t j | | d | j ?} t d | d | ? S( Ni i????i????i????RH R5 R* ( R R6 R- R t ArrStoreRH R ( R R9 R: R* R= R5 ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _arrstoreW s
!c C sB t j | | j d d | j ?} | j d } t d | d | ? S( Ni????RH R5 R* ( R RQ R- RH R ( R R9 R: R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt
_arrstore_obj_ s "
c C sU | j d } | j | ? d } t | ? } t j | | | j d ? } t d | ? S( Ni i i????R5 ( R6 RF R) R t CheckCastR- R ( R R9 R: t indexR& R( R5 ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt
_checkcastd s
c C sg | j d \ } } t | ? } t | } t | | | ? } | j | g d g | d } t d | ? S( Ni R* ( R6 R RM R! R- R8 R ( R R9 R: t ctypeR R; R R R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _constk s
c C s; t | t d ? } t j | _ | j | g } t d | ? S( Nt nullR* ( R! R R t NullTTt decltypeR- R ( R R9 R: R R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt
_constnulls s c C s? | j d \ } } t | ? t | ? } } | j | | j | } } t j | | t | t | ? } | | j g d g | d }
t d | d |
? S( Ni R5 R* ( R6 R R- R t ConvertRM R7 R8 R ( R R9 R: t src_ct dest_ct src_catt dest_catR- t argR5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _converty s c
C s} | j \ } } } t | ? } | j | d d | ? } t j | | | ? } | j | d | j g } t d | d | ? S( Ni R5 R* ( R6 R R- R t FCmpR7 R (
R R9 R: R, R t NaN_valR; R= R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _fcmp? s c C s | j d } | j | ? \ } } } t t | ? ? } d | j d k rP | n d } d | j d k rv | d 7} n t | j ? | } g | j | D] }
|
d k r? |
^ q? } t j | | j | | | f d | d | j ?} | j | | j }
t
d | d |
? S( Ni t puti t staticR= RH R5 R* ( R6 RF t lenR R- R8 R t FieldAccessRH t returnedR ( R R9 R: RU t targetRI R& R; t argcntt splitIndt xR= R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt
_field_access? s
,0c C sm t | t d ? } t j | _ t j | | j d | j | j d | f ? } | j d } t
d | d | ? S( NRY i i????t jumpR* ( R! R R RZ R[ R t IfR6 t
successorsR- R ( R R9 R: RY Rq R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _if_a? s
/
c C sa t | t d ? } t j | | j d | j | j d | f ? } | j d } t d | d | ? S( Ni i i????Rq R* ( R! R R Rr R6 Rs R- R ( R R9 R: t zeroRq R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _if_i? s /
c C sI t j | | j d | j | j d ? } | j d } t d | d | ? S( Ni i????Rq R* ( R Rr R6 Rs R- R ( R R9 R: Rq R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _if_icmp? s )
c
C sx | j \ } } } | j | } t | t | ? } t j | | | f ? } t | j ? } | j | | /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _iinc? s
c C sr | j d } | j | ? d } t | ? } t j | | | j d ? } | j d | j g } t d | d | ? S( Ni i i????R5 R* ( R6 RF R) R t
InstanceOfR- R7 R ( R R9 R: RU R& R( R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _instanceof? s
c
C s | j d } | j | ? \ } } } t t | ? d ? } d | j d k r[ | d 7} n t | j ? | } | j t j k r? | j n t } g | j | D] }
|
d k r? |
^ q? } t j | | j | | | f d | d | j
d | ?} | j | | j }
t d | d |
? S( Ni i Rh R= RH t
isThisCtorR5 R* ( R6 RF Ri R R- R, t vopst
INVOKEINITR? R$ R8 R t InvokeRH Rk R ( R R9 R: RU Rl RI R& Rm Rn R? Ro R= R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _invoke? s
!,6c C sU | j d g } | j d k r, t d | ? St j | | ? } t d | d | ? Sd S( NR* Rq ( R- R8 t returnedFromR R t
ProcCallOp( R R9 R: R* Rq ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _jsr? s
c C sR | j d d d ? } t j | | ? } | j d | j g } t d | d | ? S( Ni????i R5 R* ( R- R t ICmpR7 R ( R R9 R: R= R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _lcmp? s c
C sq | j d \ } } | j | ? } | j | ? } d } | d k rh t | t | d ? } t j | _ n? | d k r? t | t | d ? } n? | d k r? t | t
| d ? } n? | d k r? t | t | d ? } nb | d k r? t | t | d ? } n= | d k r9| d d f } t | t | ? } t j
| _ n | sEt ? | j | g d g | d } t d | ? S(
Ni t Stringi t Intt Longt Floatt Doublet ClassR* ( R6 t getConstPoolTypeRF R8 R! R R t StringTTR[ R R R R
t ClassTTt AssertionErrorR- R (
R R9 R: RU R; t
entry_typeR= R R( R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _ldc? s, c C sH t | j d ? } | j d } | j | j | | | !} t d | ? S( Ni i R* ( R R6 R- Ry R ( R R9 R: R; RU R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _load? s
c C sU d | j d k } t j | | j d | j | ? } | j d } t d | d | ? S( Nt exiti i????R5 R* ( R6 R t MonitorR- RH R ( R R9 R: t isExitR5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _monitor s "
c
C s? | j \ } } } | j | ? d } t | ? } | d | k sG t ? t j | | j | | | j ? } | j | | j g } t d | d | ? S( Ni i R5 R* (
R6 RF R) R? R t
MultiNewArrayR- RH R7 R (
R R9 R: R, RU t dimRI R( R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _multinewarray s #c C s? t | j d ? } | j | d } | j d d k rP t j | | g ? } n- t | | j d ? } t j | | | g ? } | j | | j g d g | d } t
d | d | ? S( Ni i R4 R5 R* ( R R6 R- R t FNegR! t typet ISubR7 R8 R ( R R9 R: R; Rb R5 Ru R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _neg s 'c C s^ | j d } | j | ? d } t j | | | j ? } | j | j g } t d | d | ? S( Ni i R5 R* ( R6 RF R t NewRH R- R7 R ( R R9 R: RU t classnameR5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _new s
c C sx t | j d d t ?} t j | d ? } t j | | j d | | j ? } | j d | j g } t
d | d | ? S( Ni R# i i????R5 R* ( R R6 R$ R R% R RG R- RH R7 R ( R R9 R: R' R( R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _newarray' s
"c C s t ? S( N( R ( R R9 R: ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _nop/ s c C s t j | | ? } t d | ? S( NRq ( R t DummyRetR ( R R9 R: Rq ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _ret2 s c C s^ t j | | j ? } | j d } | d k r7 g } n | j t | ? } t d | d | ? S( Ni R5 R* ( R t TryReturnRH R6 R8 R- R R ( R R9 R: R5 t rtypeR* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _return6 s
c C s? t | j d ? } | j d } t | j ? } t | ? | | k rg | d g | | t | ? 7} n | j | | | | | +| j | } t d | d | ? S( Ni i R* Rx ( R R6 R{ Ry Ri R8 R- R ( R R9 R: R; RU Rx R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _storeA s
"c C sU | j d d !\ } } t j | | | | j d ? } | j d } t d | d | ? S( Ni i i????Rq R* ( R6 R t SwitchR- R ( R R9 R: t defaultt tableRq R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _switchM s
c C s, t j | | j d ? } t d | d g ? S( Ni????R5 R* ( R t ThrowR- R ( R R9 R: R5 ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _throwS s c C s? | j d } i t d f d 6t d f d 6t d f d 6| \ } } t j | | j d d | d | ?} | j d | j g } t d
| d | ? S( Ni i R i R R i????t signedt widthR5 R* ( R6 t TrueR$ R t TruncateR- R7 R ( R R9 R: R_ R? R? R5 R* ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt _truncateW s
7%RC c C s? | j j d d ? } | j } | r@ t | | ? t d ? k sF t ? d ? t | | j t | ? ? D? } | j t | ? } | g | D] } | | ^ q? 7} t d | ? S( Nt +t t 1234c S s i | ] \ } } | | ? q S( ( ( t .0R t v( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pys
? s R* ( t beforet replacet aftert setR? t zipR- Ri R ( R R9 R: t bt aR? R* R ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt genericStackUpdate? s ('!c C sP | j d } | t j k r# | j S| t j t j t j f k rL | j d Sd S( Ni ( R6 R? t RETURNt returnKeyt RETt THROWRs R8 ( R R: t vop( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt getOnNoExceptionTarget? s
c
C s | j s t ? | j } | j t ? } g | j D] } | j | | ? ^ q1 } g | j D] } | j | | ? ^ qY } t d | d | d | ? } | j d k r? d | j k r? t } n t | d } | | | | ? }
t
|
j d ? \ } } |
j d | ? }
|
j d | ? } | r-| j r-| j n | } t d | d | d |
? } | d k rc| g n g } g | j D] } | t f | f ^ qs} | d t j k r?| j | j t f | f ? n | re| j re| s?t ? t | | ? } t j | | j | | j ? | ? } t d | d | d | j g ? } | g | j ? D] } | t f | f ^ qC7} n | s?| d t j k s?t | j ? d
k s?t ? t j | t | | ? ? } n t | j d | d | ?} | | _! t" j# | ? | _$ g |
| D] } | d k r?| ^ q?| _% | S(
NRH Ry R- t 1i R5 Rq R* Rx i t lines( s lines jump(& t visitedR? R6 R R R- t makeVarFromVtypeRy R
R? R8 R? t _instructionHandlerst mapt gett outMonadRs R$ R? R? t appendR? t outExceptionR? R t OnExceptiont keyt rawExceptionHandlerst getExceptSuccessorsR? Ri t GotoR t inslotst collectionst OrderedDictt successorStatest tempvars( R R: t initMapt instrRH t vtR- t locals_R? t funcR0 R5 Rq R* Rx t newmonadt outslot_normR? t nodekeyR? t fallthrought outslot_exceptt blockR ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt fromInstruction? sB (( (
$!2. ,(? R? R? R R R R R R? t verifier.descriptorsR R t ssa_typesR R R R
R R R
R RM R R R! R) R3 RA RE RJ RL RO RP RR RS RV RX R\ Rc Rf Rp Rt Rv Rw R? R? R? R? R? R? R? R? R? R? R? R? R? R? R? R? R? R? R? t FAddRz t ADDt IAndR$ t ANDt ANEWARRAYt ARRLENt ARRLOADt ARRLOAD_OBJt ARRSTOREt ARRSTORE_OBJt CHECKCASTt CONSTt CONSTNULLt CONVERTt FDivt IDivt DIVt FCMPt GETSTATICt GETFIELDt GOTOt IF_At IF_ACMPt IF_It IF_ICMPt IINCt
INSTANCEOFR? t INVOKEINTERFACEt
INVOKESPECIALt INVOKESTATICt
INVOKEVIRTUALt JSRt LCMPt LDCt LOADt MONENTERt MONEXITt
MULTINEWARRAYt FMult IMult MULt NEGt NEWt NEWARRAYt NOPt IOrt ORt PUTSTATICt PUTFIELDt FRemt IRemt REMR? R? t IShlR? t SHLt IShrt SHRt STOREt FSubR? t SUBt SWITCHR? t TRUNCATEt IUshrt USHRt IXort XORR? R? R? R? ( ( ( s> /home/alex/projects/github/krakatau/Krakatau/ssa/blockmaker.pyt s? ".
© 2015 - 2025 Weber Informatics LLC | Privacy Policy