Lib.Krakatau.java.javamethod.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 @ sf d d l Z d d l Z d d l m Z d d l m Z d d l m Z d d l m Z m
Z
d d l m Z d d l m
Z
m Z m Z d d
l m Z m Z m Z d e f d ? ? YZ d
? Z d ? Z d ? Z d ? Z d ? Z e d g ? Z d ? Z d ? Z d ? Z d ? Z d ? Z! d ? Z" d ? Z# i d d 6d d 6d d 6d d 6d d 6d! d" 6Z$ d# ? e$ j% ? D? Z& d$ ? e$ j% ? D? Z' d% ? Z( d& ? Z) d' ? Z* d( ? Z+ d) ? Z, d* ? Z- e
j. e
j/ e
j0 e
j1 e
j2 e
j3 e
j4 f Z5 d+ ? Z6 d, ? Z7 d- ? Z8 d. ? Z9 d/ ? Z: d0 ? Z; d1 ? Z< e j= ? e e> d2 ? Z? d3 ? Z@ d4 ? ZA d S(5 i????N( t partiali ( t objtypes( t
graph_util( t NameGent LabelGen( t parseMethodDescriptori ( t astt ast2t boolize( t
graphproxyt structuringt astgent DeclInfoc B s e Z d j ? Z d ? Z RS( s declScope scope defsc C s d | _ | _ g | _ d S( N( t Nonet declScopet scopet defs( t self( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt __init__ s ( t __name__t
__module__t splitt __slots__R ( ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR
s c s0 t j ? ? ? ? f d ? ? ? f d ? } x | D] } | | | ? q4 W| | f g } x? | r+| j ? \ } ? t ? t j ? r? | j ? f d ? ? j D? ? q] | j d ? ? j ? D? ? ? j d k r? ? | ? j ? n t ? t j ? r] x* ? j D] \ } } | | | j
? qWq] q] W? S( Nc s? x | j D] } ? | | ? q
W| j ? rS | j \ } } ? | j j | ? nT t | t j t j f ? r? ? j | t ? ? t j
j ? | j | ? ? | _ n d S( N(
t paramst
isLocalAssignR t appendt
isinstanceR t Localt Literalt
setdefaultR t StatementBlockt joinR ( R t exprt paramt leftt right( t infot visit( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR% s c sI ? j | t ? ? | d k r2 ? | j d k s8 t ? | ? | _ d S( N( R R R
R t AssertionError( R R ( R$ ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt
visitDeclExpr! s %c 3 s | ] } ? | f Vq d S( N( ( t .0t sub( t stmt( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pys - s c s s | ] } | | f Vq d S( N( ( R( t subscope( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pys / s ( t collectionst OrderedDictt popR R R t extendt
statementst getScopesR R
t TryStatementt pairst local( t roott predeclaredR' R t stackR t catchdeclt body( ( R$ R* R% s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt findVarDeclInfo s"
# c C s | j t j k s t ? t | t j ? r? d j ? } t j t j f } | j
| k r? | | j | j
? d A} | j \ } } | j
| d k s? | j | k r? | j | k r? t j | | | f t j ? Sq? n, t | t j
? r? | j
d k r? | j d St j
d | ? S( Ns == != < >= > <=i i t !i ( t dtypeR t BoolTTR& R R t BinaryInfixR t FloatTTt DoubleTTt opstrt indexR t UnaryPrefix( R t symbolst floattst sym2R" R# ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt reverseBoolExpr8 s 1"! c c sc | g } xS | r^ | j ? } t | t j ? rH | j | j ? | Vq | j | j ? ? q Wd S( N( R. R R R R/ R0 R1 ( R5 R7 R ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt getSubscopeIterG s c C sZ d | k s t ? xAt | ? D]3} | j | k r | j sA t S| j d } | j ? s| t | t j t j
f ? sOt SqRt | t j ? r? t | j ? ? d k r? t St | t j
? r? | j ? r? t St | t j ? r? | j t j j k r? t St | t j ? sRxB | j ? D]1 } | j | j k o=| j k n st ? qWqRq q Wt S( Ni????i ( R
R& RH t jumpKeyR0 t TrueR1 R R t ReturnStatementt ThrowStatementt IfStatementt lent SwitchStatementt
hasDefaultt WhileStatementR R t TRUEt breakKeyt False( R5 t forbiddenR t lastR) ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt
mayBreakToQ s&
* '9c s d ? k s t ? ? f d ? } | j ? r? t | t j ? r| | | j ? d k r| | | j ? d k s| | j s| t ? n | | j ? | _ t | t j ? r? | | j ? | _ xE | j D] } t
| ? ? q? Wq? x$ | j ? D] } t
| ? ? q? Wn d S( Nc s ? j | | ? S( N( t get( t k( t replace( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt r s ( R
R& R1 R R R RS RI t labelableR0 t replaceKeys( t topRZ RX t itemR ( ( RZ s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR] p s '(c C s? g } xx t | j ? D]g \ } } x! | j ? D] } t | | ? q/ W| | | ? } | d k rj | g n | } | j | ? q W| | _ d S( N( t enumerateR0 R1 t _preorderR
R/ ( R t funct newitemst iR_ R) t valt vals( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyRa ? s c C s? | j } t | t j ? rL | j \ } } t | t j ? r? | j r? g Snu t | t j ? r? | j d k r? | j d } t j t j
| j ? | j d | j d ? } t j | | ? | _ n d S( s9 Combines new/invokeinit pairs into Java constructor callss i i N(
R R R t
AssignmentR t Dummyt isNewt MethodInvocationt namet ClassInstanceCreationt TypeNameR< t tts( R R_ R R" R# t newexpr( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _fixObjectCreations? s !
/c C s? x? | j r? | j d \ } } | j | j } } t | ? d k r? | d } t | t j ? r? | j | k r? | j d | _ q q? n Pq W| j s? | j } | j | j k s? t
? | j | j k s? t
? | j s? t
? t
| _ | S| S( s+ Convert try{A} catch(T e) {throw t;} to {A}i????i i ( R3 R4 R0 RN R R RL R t trybRS R& t continueKeyR\ RJ ( R_ t declR9 t caughtt linest linet new( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _pruneRethrow_cb? s"
! c
C s? t | j ? d k r? | j \ } } | j rk | j ? rk t | j ? | _ | | } } | | f | _ n | j r? | j ? r? | f | _ q? t | j t j ? r? | j j d k r? t | j ? | _ | | f | _ q? n | j d } t | j ? d k r?t | j ? d k r?| j ? r?| j d } t | t j
? r?t | j ? d k r?t j d | j | j g t j
? | _ | j | _ q?n | S( s& Convert if(A) {B} else {} to if(A) {B}i R; i s &&( RN t scopesR0 t doesFallthroughRG R R R RC RA RM R> R R= ( R_ t tblockt fblockt first( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _pruneIfElse_cb? s$
'
6
''c
s? g | f } | j ? d } | j s@ t | j d t j ? rD | S| j d } | j } | j ? d d \ } } t | j | j g ? t
} t | | ? r? | d k r? t | | ? r? t | ? } | | } } q? | Sn t | | ? s? t
? | j o
| j | j k } | r0| j t j j k r0| St | j g ? t
? | s?| d k ra| g n g } | | j d 7} | j | j k s?t ? f d ? | D? ? r?| Sn t t j d | j t | ? g ? ? | _ | d k r?| j j d ? n | | j d ? s s &&N( N( R1 R0 R R RM R R
t frozensetRS Rr t NONE_SETRW RG R& RI R RR t anyt _simplifyExpressionsR> R. RJ R\ Rz R] (
R_ t failureR9 t headt condt truebt falsebt badjumps1t trivialt restloop( ( R? s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _whileCondition_cb? sL $
.*
'c
C s? g } t | t j ? r' t | ? } nH t | t j ? rH t | ? } n' t | t j ? ro t | ? \ } } n t | t j ? r?| j d k s? | j d k s? t ? | j } | d k s? | | j k r? | j
r? | | j g } | _ n xb | j D]V } | j ? r4| j | k r4t | t | g ? ? r4Pn | j | j j d ? ? q? W| j s?| j | k r?| sut ? | j | _ | j d k s?| j d k s?t ? n | Sn | | g S( Ni ( R R R2 Rx RM R~ RQ R? R RS R
RI R& R\ R0 R1 RW R? R R. ( R R_ t isLastt restt bkeyR) ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _simplifyBlocksSub s. $ $3 'c C s? g } x? t | j ? D]? } | } | rg | j ? rg | j | j k rg t | i | j | j 6? qg n x$ t | j ? ? D] } t | ? qz Wt | | | ? } | t | ? 7} q W| d d d ? | _ d S( Ni????( t reversedR0 R1 RS RI R] t _simplifyBlocksR? ( R Rc R_ R? R) Rf ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR? ) s s ==i
s !=t i s >=c C s i | ] \ } } | | ? q S( ( ( R( RY t v( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pys
9 s c C s# i | ] \ } } | | d @? q S( i ( ( R( RY R? ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pys
: s c C s t | t j ? r? | j d k rW t d ? | j D? ? r? t | j t | j ? f Sq | j d k r t | j d ? \ } } t | j d
? \ } } | | k r? d | j k r? | | @n | | B} | | f Sq nE t | t j ? r | j d k r t | j d ? \ } } | | f Sd S( Ns ==s !=R? s <=R? s >=c s s* | ] } t | t j t j f ? Vq d S( N( R R R R ( R( t p( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pys A s t &s &&t |s ||i i R; ( s ==s !=R? s <=R? s >=( R? s &&R? s ||( i N( R R R> RA t allR t _op2bitst tuplet _getBitfieldRC R
( R t bits1t args1t bits2t args2t bitst args( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR? < s #! c C s# t | ? \ } } | d k r" | St | d ? rD t | d ? sJ t ? | d j t j t j f k ry d t } } n
d t } } | | M} | | @} | d k r? t
j j S| d k r? t
j j
S| | k r? t
j | | | t j ? S| | k r t
j d t
j | | | t j ? ? S| S( Ni i i i R; ( R? R
t hasSideEffectsR& R< R R? R@ t _bit2ops_floatt _bit2opsR R RR t FALSER> R= RC ( R R? R? t maskt dt notbits( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _mergeComparisonsN s$ (
&c C s t j j t j j } } i | t 6| t 6} i t j d 6t j d 6t j d 6t j
d 6} t } t | | j
? | _
t | t j ? r?| j
\ } } | j } | d k r?t | t j ? r?t | t j ? r5| d k r? | | k | d k k } n1 | j | j k st ? | | | j | j ? } | | } q?t | t j ? r?t | j
d t j ? r?| t j | | j
d | g | j ? ? | j
d <| t j | | j
d | g | j ? ? | j
d <| } q?q?n t | t j ? r?| j t j k r?| j
\ }
} } t | t j ? s8t |
? | | }
} } n | | k ret j d |
| g t j ? } q?| | k r?t j d
t |
? | g t j ? } q?n t | t j ? r?| j d k r?| j
\ } } | j d
k r,| | k s?| | k rt | ? r| } q{| | k s | | k r{| } q{nO | | k sD| | k rM| } n. | | k sr| | k r{t | ? r{| } n t | ? } n t | t j ? r@| j d k r@| j
d j t j k r@| j
\ } } t | t j ? s?| | } } n t | t j ? r@| | k | j d k k }
|
r4t | ? n | } q@n t | t j ? r?t | j
d t j ? r?| j
\ }
} } |
j d
k r?t |
? | | g | _
q?n t | t j ? r| j d k r| j
d t j j k rt j d | j
d ? } qn | S( NR? s <=R? s >=s ==s !=i i s ||s &&s ==, !=i R; t -( s ==s !=R? s <=R? s >=( s ==s !=( s &&s ||( R R RR R? RJ RT t operatort ltt let gtt geR? t mapR R R> RA R< R& Re t Ternaryt _dtypeR R= RG R? R? RC t LZERO( R RR R? t boolst opfuncst simplifyR" R# t opt resR? t val1t val2t flip( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR? g sl .
+22$ ! *!% % : + ! c C sL xE | j D]: } x1 | j ? D]# } | j | f | _ t | ? q Wq
Wd S( N( R0 R1 t basest _setScopeParents( R R_ R) ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR? ? s c C s? | j d k r' | j j | ? | _ n t | j t j ? ry t | t j ? sT t ? | j j \ } } | | k ry g Sn | g S( N( R R
t replaceSubExprsR R Rg t ExpressionStatementR& R ( R R_ t rdictR" R# ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _replaceExpressions? s c s? t | ? t | | ? ? g ? D] } t | t j ? r | ^ q } t ? ? x^ | D]V } t d ? ? | j D? ? s? ? j | ? qT ? | j d k rT ? j | ? qT qT Wt j | ? ? f d ? ? } i } x?| D]?} ? j
| ? r,g } xF | D]> } x5 ? | j D]& } | | k r| j | | ? qqWq? Wt t | ? ? d k r,| d ? t ? f d ? | D? ? r)t j j ? f d ? | D? ? }
t j j |
? ? j ? }
? ? j d k s?? ? j |
k r&x | D] } ? | | ? s c s | ? k r g S? | j S( N( R ( t var( RU R$ ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR[ ? s i i c 3 s! | ] } | j ? j k Vq d S( N( R< ( R( R? ( t target( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pys ? s c 3 s | ] } ? | j Vq d S( N( R ( R( R? ( R$ ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pys ? s R? ( R? R: R R R t setR? R t addR R
R t tarjanSCCt
isdisjointR RN R R R Ra R R? ( R5 R6 R t lvarsR? t sccst varmapt scct alldefst def_R ( ( RU R$ R? s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _mergeVariables? sB
+
" &
#
c C s? t | t ? s t St | t j ? r? | j d k r? | j t j t j f k r? | j
d } t | t j ? s~ | j d k r? t Sq? n t
S( Nt /t %i????i ( R? R? ( R t _oktypesRJ R R> RA R< R R? R@ R R Re RT ( R t divisor( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR? ? s !
"
c s? t j t ? ? t j t ? ? ? ? f d ? ? ? f d ? } t | | ? ? f d ? ? j ? D? ? d ? ? ? ? ? f d ? ? ? | ? d S( Nc sP | j ? r' ? | j d j | ? n% t | t j ? rL ? | c d 7 s c S s? | j j \ } } t | t j ? r6 | j | j k s< t ? g t | ? D]- \ } } | d k rI t t | | f f ^ qI } xG| r?| j
? \ } } | r?| \ } }
} | j t | f ? t | t j
? s? t | t j ? rR| j d k rRx7 t | j d ? D]" } | j t t | | f f ? qW| j t | | | j d f f ? n? t | t j ? r?| j \ } }
| j t | | |
f f ? t | t j t j f ? r?xN t | j ? D]" } | j t | | | f f ? q?Wq4t | t j ? s4t ? n6 x3 t | j ? D]" } | j t | | | f f ? qW| | k r?| r?t |
t j ? r?t |
j ? } |
_ | | | j | ? RA Rg t ArrayAccesst FieldAccesst JavaExpressiont listRB R? ( R_ R3 t oldRw t item2R R7 t recurseR? t
canReplacet parentR! R" R# R ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt
doReplacement sB *@ 3 & # c s? g } x? t | j ? D]? } x | j ? D] } ? | ? q) Wt | j t j ? r? | j j d ? k r? g } xI | D]A } t | t j ? s? | j | | j f ? n | j ? ru Pqu qu W? | | ? } | r? q q? n | j
d | ? q W| | _ d S( Ni ( R? R0 R1 R R R Rg R RQ R t insert( R t
newstatementsR_ R) t
expr_rootsR? t success( R? t replacevarst visitReplace( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR? A s +
( R, t defaultdictR? t intRa t items( R5 R? ( ( R R? R? R? R? R? s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _inlineVariables? s
0c sB t | ? t | | ? ? t j t ? ? g ? D]1 } t | t j ? r/ ? | j d k r/ | ^ q/ } t
| ? ? i t j j t
j 6t j j t
j 6t j j t
j 6t j j t
j 6? ? ? ? ? f d ? ? ? ? ? ? f d ? ? ? | ? ? s? t ? d ? k st ? x* ? j ? D] \ } } | | j | _ q Wd S( Nc sn t j t j | j ? | ? } ? j | j t j j ? } ? ? | j j t j | | ? ? ? j
| ? d S( N( R t VariableDeclaratorRm R< RX R t NULLR R t LocalDeclarationStatementt remove( R? Rs R# ( t _init_dR$ t localdefst remaining( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt
mdVisitVarUsee s $c
sP t | t j ? rLx7t | j ? D]#\ } } t | t j ? r? t | j t j ? r? | j j \ } } | ? k r? | ? | j k r? t j
t j | j ? | ? } t j
| | ? } | | j |
c
C sF t | t j ? rt | j ? ? d k r| j ? \ } } t | j ? t | j ? k oe d k n r| j | j k r| j d | j d } } | j | j } } t | t j ? rt | t j ? r| d k r? d n t j
| j | | ? } t j | | j ? } n t | t j ? rt | t j ? rt | t j
? rt | t j
? r| j d | j d k rt j
| j | j d | j d ? } t j t j
| j d | ? ? } | j ? s| j ? s?t ? t j | j | j | j | g | j ? } q| } qqqqn | j d k r?t | j ? | _ n | g S( Ni i i ( R R RM RN R1 R0 RI R RK R
R? t ttR? Rg R Rz R& R Rb Rr RS R? (
R R_ t block1t block2t s1t s2t e1t e2R t temp( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _createTernaries? s( *@$*$$&" -c s? t | t j ? r? t | j t j t j t j t j f ? s? | j } t j | j ? f d ? ? } t j
t j | j ? | ? } t j | | ? } q? n | g S( Nc s
? j d ? S( Nt dummy( t getPrefix( R ( t namegen( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR[ ? s (
R R R? R Rg Rl Rj Rh R R< R? Rm R? ( R R_ R R# R" Rs ( ( R s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _fixExprStatements? s * c C s | j | ? d S( N( t addCastsAndParens( R R_ t env( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _addCastsAndParens? s c C se x* | D]" \ } } | d k r | | f Sq Wx- | D]% \ } } | j d k r4 | | f Sq4 W| d S( Ni ( R
t label( t choicest bt t( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt _chooseJump? s c C sf d | k s t ? | j d k s@ | j d k s@ | j s@ t ? | j | k r? | j s? t | j d t j t j f ? s? t ? g | j
? D]! \ } } | | j k r? | ^ q? } | s? t ? t | ? } | s? | j j t j
| ? ? q? n xlt | j ? D][} | j ? s!t } qn t | t j ? rKt d | j g ? } n | t | j g ? O} | j ? } t | t j ? r?| j | d t f <| j | | t f i R R R c s
? j d ? S( Nt arg( R ( R ( R ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyR[ s t BRIDGEt SYNTHETICt VARARGSs t ABSTRACTt STATICt FINALt NATIVEt STRICTFPt SYNCHRONIZEDt s .void( s .voidi (4 t class_R R R t
descriptorRT R t verifierToSynthetic_seqR
R t createGraphProxyt statict invarsRk R
t structureR t createASTR? t zipR< R R? Rm R? R RJ R& Ra Rp R t boolizeVarsR? R? R R? R? R R R R R t flagsR? R R? t strt lowert sortedt verifierToSyntheticR t MethodDef( t methodt grapht forbidden_identifiersR R( t
inputTypesRn t entryNodet nodest setreet ast_roott varinfoR? t
argsourcest disp_argsR R? t declsR2 t flagstrt returnTypest ret_tt( ( R s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt generateAST? sX (
1
.1 %! (B R, R? t functoolsR t ssaR t R R R R t verifier.descriptorsR R R R R R
R t objectR R: RG RH RW R] R? R
R? Ra Rp Rx R~ R? R? R? R? R? R? R? R? R? R? R? R? R? R> R R t ParenthesisR? Rm RC R? R? R? R? R R R R R- RT R R RG ( ( ( s? /home/alex/projects/github/krakatau/Krakatau/java/javamethod.pyt sT %
; 0 N (0 [ / % © 2015 - 2025 Weber Informatics LLC | Privacy Policy