Lib.Krakatau.verifier.inference_verifier.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 @ s? d d l Z d d l m Z d d l m Z d d l m Z d d l Td d l Ti3 d e j 6d e j 6d
e j
6d e j 6d
e j 6d e j
6d
e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j 6d e j! 6d e j" 6d e j# 6d e j$ 6d e j% 6d e j& 6d e j' 6d e j( 6d e j) 6d e j* 6d e j+ 6d! e j, 6d" e j- 6d e j. 6d# e j/ 6d e j0 6d e j1 6d e j2 6d$ e j3 6d$ e j4 6d% e j5 6d! e j6 6d& e j7 6d' e j8 6d! e j9 6d! e j: 6Z; e j< e j= e j> e j? e j@ e jA f ZB d( ? ZC d) ? ZD d* ? ZE d+ ? ZF i d, eG 6d- eH 6d. eI 6d/ eJ 6d0 eK 6d0 eL 6ZM d1 ? ZN d2 eO f d3 ? ? YZP d4 ? ZQ d S(5 i????Ni ( t error( t opnames( t bytecodei ( t *t -s -As -{0}s -?s {0}-s [A]I-As [A]IA-s 1-s 2+1-s 1-11s 21-121s 3+21-1321s 2+1-2121s
32+1-21321s
4+32+1-214321s 12-21s
{0}{0}-{0}s {0}I-{0}s {0}-{0}s {0}-{1}s I-Is JJ-Is {0}{0}-Is I-s II-s A-s AA-s -Rs I-As [?]-Is A-As A-Ic C s? | d } | j j } | t j t j t j t j t j f t k r? i d t j 6d t j 6j | ? } i d t j 6d t j 6d t j 6j | ? } n| t j
k s? | t j k r+| d } | d k r? d n | } | d k s? t ? d j
| ? } | t j
k r| | d } } q?| | } } no | t j k re| d } | d k rVd n | } d } n5 t | } | j
| d ? } | j d ? \ } }
} | | f S(
Ni t t Ai t BCSt It IFJDABCSs [{}]IR ( t class_t cpoolR t PUTSTATICt GETSTATICt PUTFIELDt GETFIELDt
MULTINEWARRAYt _invoke_opst gett ARRSTOREt ARRLOADt AssertionErrort formatt RETURNt Nonet stackCharPatternst partition( t codet instrt opR t beforet aftert typent type2t arrpartt st sep( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt getSpecificStackCode5 s*
.#0
c C se y | j d | ? \ } } } Wn t t f k
r; } d SXy t | ? SWn t k
r` } d SXd S( Nt Field( t getArgsCheckt
IndexErrort KeyErrorR t parseFieldDescriptort
ValueError( R t indt targett namet desct e( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _loadFieldDescR s c C s{ y5 | j | ? d k r d S| j | ? \ } } } Wn t t f k
rQ } d SXy t | ? SWn t k
rv } d SXd S( Nt Methodt InterfaceMethod( s Methods InterfaceMethod( t getTypeR t getArgsR( R) t parseMethodDescriptorR+ ( R R, R- R. R/ R0 ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _loadMethodDesc\ s c C s? | j | ? } | | k s9 | d k r3 | d k s9 t ? | j | ? d } | j d ? r? y t | ? d SWq? t k
r? } t SXn
t | ? Sd S( NR3 R2 i t [( R4 R R5 t
startswithR* R+ t T_INVALIDt T_OBJECT( R R, R t actualt cnameR0 ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _indexToCFMInfoh s *R t Ft Jt DR c C s t j | d ? S( NR ( t _vtypeMapR ( t fi( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt
vtype2Charw s t InstructionNodec B s? e Z d Z d Z d Z i d d 6d d 6d 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 RS( i i i t NO_RETURNt NEED_CONSTRUCTORt NOT_CONSTRUCTEDc C s? | | _ | j d k s t ? | | _ | j j | _ | j | _ | j j | _ | j | | _ | j d | _ t
t
| _ | _ | | _
| j ? | j ? d S( Ni ( t keyR R R R
t envR R t instructionR t Falset visitedt changedt
offsetListt _verifyOpcodeOperandst _precomputeValues( t selfR RO RI ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt __init__? s
c s? ? f d ? ? ? f d ? } ? j } ? j j d } | t j k rR d ? _ n | t j t j t j t j
t j t j f k r? ? ? j d ? s?? j
d ? q?n0| t j k rn? j d \ } } } | d t | ? k r? ? j
d ? n | rt | ? n g g f \ } } t | ? t | ? k r?? j
d ? n t ? f d
? | D? ? s?? j
d ? q?nj| t j k r?? j d \ } }
|
d k r?d, } | d k r?| d- 7} n | d k r?| d. 7} q?n d/ } | | | ? n?| t j t j t j t j f k rY? j d } | | d g ? | t j t j f k r?? j t ? q?n| t k rq? j d } i d t j 6d t j 6j | d ? } | | | g ? ? j j | ? \ }
} } | d k } | j! d ? } | t j k rt" ? j | d ? n t# } | ? _$ | rN| t j% k r?| t j& k s;t' ? ? j
d ? q?nP | rd? j
d ? n | t j& k r?| j( ? j j) ? k r?? j
d ? q?n | t j k r?t* ? j | ? d } | d k s?t | ? d ? j d k r?? j
d ? q?n | t j t j f k r@? j d d k rn? j
d! | ? qnq?| t j+ t j& t j% f k r?? j t, ? q?ng| t j- t j. t j/ t j0 t j1 f k r?? j d } | | d g ? t" ? j | d ? }
|
t2 k r?? j
d" | ? n |
? _3 | t j0 k r5|
j4 d# k r#? j
d$ ? n t5 |
? ? _3 q?| t j/ k r?|
j6 d% k sb|
j4 d k rr? j
d& ? n t7 ? j8 ? ? _3 |
? _$ q?| t j1 k r?? j d } | |
j4 k s?| d k r?? j
d' ? q?q?n? | t j9 k r/t: d( ? j d ? d }
|
d k r#? j
d) ? n |
? _3 n? | t j; t j< t j= t j> f k r?| t j= t j> f k r{? j d } n, ? j d \ } } | d* k r?| d 7} n | ? j? j@ k r?? j
d+ | ? j? j@ ? q?n d S(0 Nc s | d k o | ? j k S( N( R RO ( t addr( RR ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt
isTargetLegal? s c so | d k s! | ? j j ? k r4 ? j d | ? n ? j j | ? } | | k rk ? j d | | | ? n d S( Ni s Invalid constant pool index {}s: Invalid constant pool type at {}.
Found {} but expected {}( R t sizeR R4 ( R, t typest t( RR ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt verifyCPType? s
! i i????s Illegal jump targeti t s' Padding must be 0 in switch instructions) Lookupswitch keys must be in sorted orderc 3 s | ] } ? | ? Vq d S( N( ( t .0t x( RU ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s t Intt Floatt Stringi1 t Classi3 t MethodHandlet
MethodTypet Longt DoubleR& R3 t NameAndTypeR2 s t t OBJECT_INFOt target_typet
INVOKEINITt
INVOKESPECIALR t extrat getSuperclassHierarchyR7 t
INVOKEVIRTUALRL t
INSTANCEOFt CHECKCASTt NEWt ANEWARRAYR R: t push_typet dimt T_ARRAYt tagt T_UNINIT_OBJECTRI t NEWARRAYR* t STOREt LOADt IINCt RETR t locals( RR RY R t majort defaultt jumpst paddingt keyst targetsR, t catRW t expectedR- R. R/ t isctort
isinternalt classzt parsed_desct countRX ( ( RU RR sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyRP ? s? 0$
$
& * ) *
$
c
C s? | j j | j ? } | j | d | _ t | j | j ? \ | _ | _ | j } | t
j k r? i d d 6d d 6d d 6d d 6d
d 6| j d | _ | j d | _
n3| t
j k r? d | _ | j d | _
n| t
j k rd
| _ | j d | _
n?| t
j t
j f k r?t | j | j d ? | _ | j d k r?| t
j k rZd n d } | d j t t | j ? ? | _ q?nW| t
j t
j f k r?t | j | j d ? | _ | j d k r?d j t t | j ? ? | _ q?n? | t k r?t | j | j d ? | _ | j d k r?d } | t
j k rDd } n' | t
j t
j t
j f k rkd } n | d j t t | j d ? ? | _ d j t t | j d ? ? | _ q?n& | t
j! k r?d | j d | _ n | j } | t
j" t
j# t
j$ t
j% f k r%| | j d f | _& n? | t
j' t
j( f k rS| j d f | _& n? | t
j) t
j* f k rwd | _& n} | t
j k r?d | _& nb | t
j+ k r?| j \ } } } } | f } | r?| t, | ? d 7} n | | _& n | f | _& d S( Ni s .intR s .floatR? s .longR@ s .doubleRA s .objR i s .addressR t @i ( (- RO t indexRI t next_instructionR% R RK R R R R R? t local_tagt local_indR? R? R R R1 R R? R t joint mapRD R R
R R7 R} Ry R? R~ R Rk Rl Rm Rn t
successorsRi Ro R t THROWRp Rr (
RR t off_iR t prefixt next_t opnameR? R? R? R? ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyRQ sd ! 7 ( $ &( $ c C s2 t | _ | j j | r d n d | j d ? \ } } } d | k rJ d S| } | | j j ? k r.x? | d k r*| j j | ? } | r? | j
n | j } x} | D]u } | j | k r? | j
| k r? d | j k r| j j j d ? d } | j d ? d }
| |
k | _ n d Sq? W| j } qh Wn d S( NR& R2 i R8 t PROTECTEDt /i ( RL t protectedR R' RK R
R? R RJ t getClasst fieldst methodsR. t
descriptort flagst
rpartitiont supername( RR t isfieldR- R. R/ R= t clst memberst mt pack1t pack2( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyRw M s" 1
c C sa | j t j t j t j f k r% d S| j | j } } | d k } | j } | t | ? k s{ | r? | t | ? d k r? | j d | ? n | | } | j
| k o? | j d k s| d k rt | ? s? | t
k r? d S| j
d k r| j d k rd Sn | j d | | ? n | r]| | d } | j
| d k r]| j d
| d | ? q]n d S( Ns .longs .doublei s Read from unintialized local {}i s .objs .news Invalid local at {}, expected {}t 2s$ Invalid local top at {}, expected {}( s .longs .double( R R R? R? R? R? R? R? Rq R R? R? t
objOrArrayt
T_UNINIT_THIS( RR RX t it cat2t locst reg( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _checkLocalsd s& ! .
c C so | j t j k rk t } | j | j @rH | j | j @rH | j d ? n | j | j @rk | j d ? qk n d S( Ns Invalid flags at return( R R R RE R? RG RH R RF ( RR t inc( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _checkFlags~ s c C sk
| j } | j } t | j j ? } | t k r? | j d k rY | j d | j d ? q? t
| j ? d k r? | j d ? q? nD | t j t j
f k r? | j d k r? | j d | j d ? q? n | d k s? t ? | j } i } t
| ? } t
| ? } xH| d k rH| d k r)| j d ? n | d 8} | d 8} | | } | | }
|
d k r?|
d k rot n t } | | k rE| j d
| j ? qEq|
d k r|
d k r?t n t } |
d k r?t n t } | | d | d !| | f k r
| j d
| j ? n | d 8} q|
d
k r9t | ? sE| j d k rV| t j k rVqn t j t j t j f }
| j d5 k r?| |
k r?qn | j d k r6| t j k r6| j d } | j j d | ? \ } } } xX | j j D]G } | j | k r?| j | k r?| | | f | | d } q?q?q?Wq6qEq|
d k rg| j d6 k rE| j d ? qEq|
d k r?| t k r?| | d } i t d 6t! d 6t d 6t d 6t d 6t d 6t" d 6} | | k r| t# | | ? k r?| j d | | j d ? q?q?| d
k rS| j$ d k s@| j$ d k r?| j d k r?| j d ? q?q?| d k r?| j$ d k r?| j d ? q?q?n | d 8} q|
d k r| j d7 k r| r| | d d# k r| | |
<| | d | | | d <| d 8} | d 8} qB| j d$ ? qE| | |
<| rE| | d d# k rE| d 8} qEqqW| d k sr| | | j | k srt ? | | | | } } | t j% k r?| d | d } } t& | ? } t | ? s?t | ? r? | j d% ? q? n| t j t j
t j' f k r?| t j
k r?t( | j | j d d ? } t) | j* | d | ? sV| j d& ? q?| j+ r?t) | j* | d | ? r?| j d' ? q?n | t j' k r? t) | j* | d( | j d( ? s?| j d) ? q?q? n,| t j, k rt) | j* | d t d* ? ? s? | j d+ ? q? n?| t j- k r8t& | d ? | | k r? | j? | k r? | j d4 ? n | j? | t/ t isAssignableRJ R? R? t ARRLOAD_OBJR} RL t
isThisCtorR R| Rx Rh R? R? Ry R~ Rr R R6 R t methodR? R? R: R? t set( RR t iNodesR t scodet curclass_fiR? t swapt sit cit topt chart ett et2t uninitopsR, R- R. R/ t fieldt char2t tempMapt poppedt arrtt objtt offsett new_inodet actR? t rvals( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _popStack? s
!
! -
) #
!
%'$
dc C s3 | j } t | j ? } t | j ? } t ? } | t j t j f k r? | j d d k ra d n d } | j d } | j t
| | | ? ? | t j k r?| t g | | t | ? 7} | j
| | | | | +q?n| t j t j f k r
| j | j d ? n? | t j k rk| j d } | rR| t | ? d k rR| j d ? n | j | t ? f ? nt | t j t j f k r?| t | t } }
xD t | ? D]2 \ } } | | k r?|
| | <| j | ? q?q?Wn g | D] \ }
} |
| | Bf ^ q?} | rt | ? n | j } | t | ? f S( Ni Rg i i s Recursive call to JSR( R Rs R? t masksR? R R? R? RK t updatet rangeR: Rq R? R? R? t addRi Rr R t appendt frozensetR} R? RL Rx t enumeratet tuple( RR R? R t newlocst newmaskst newbitsR? R, R- t oldt replaceR? t valRT t bitst locals_( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt
_updateLocals1 s6
)c C s@ | j } | j t j k r< | t t k r< | t j @} n | S( N( R? R R R} RL R? RE RH ( RR R? R? ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _updateFlagsW s "c
s | j } t | j j ? } | j } t } | t j k r^| j d \ } } | j j
| ? } i d d 6d d 6d d 6d d 6j | d
? } | d
k r?| d k r? t d ? } q[| d
k r? | j j d k s? t
? t d ? } q[| d k r| j j d k s
t
? t d ? } q[| d k rL| j j d! k s=t
? t d ? } q[d s[t
? q?nU| t j t j f k r?| j d k r?| j d | j d ? n | r?| j d n t } n? | t k r| j d k r?| j d | j d ? n | r| j d d n t } n? | t j k r(t } n? | t j t j t j t j t j f k r^| j } nU | t j k rz| | } n9 | t j k r?| j d d
k r?| j | j d } n x| D] }
|
d k r?|
d k r?t n t } | | f 7} q?|
d k rC|
d k rt! n t" } |
d k r*t# n t$ } | | | f 7} q?|
d k rrt% | j d ? } | | f 7} q?|
d k r?| | |
f 7} q?|
d
k r?| | f 7} q?d s?t
? q?W| t j& k r| t' | t( ? ? t) ? ? f d ? | D? ? } n | S(" Ni R R] R@ Rc RA Rd R? R^ R R_ s java/lang/StringR` i1 i s java/lang/ClassRb i3 s java/lang/invoke/MethodTypeRa s java/lang/invoke/MethodHandles$ Invalid field descriptor at index {}s% Invalid method descriptor at index {}i????i R? Rg t RR? c 3 s' | ] } | ? k r ? n | Vq d S( N( ( R[ R\ ( R R ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s ( i1 i ( i3 i ( i3 i (* R R; R
R. R R: R Rv RK R R4 R Rh R R R
R? R R R t CONSTNULLR? R? R? R? R R? R? R? R? R? R? R? R? R? R? R? t T_ADDRESSR} RL Rx R? (
RR R? R? R R? R? t new_fiR, R? t cp_typenR? R? R? ( ( R R sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt
_pushStack] sr . *
"
"c C s? | j ? | j ? | j | ? \ } } | j | ? \ } } | j | ? } | j | | ? } t d ? | D? ? s{ t ? t d ? | D? ? s? t ? | | | | f | f S( Nc s s | ] } t | t ? Vq d S( N( t
isinstancet
fullinfo_t( R[ t vt( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s c s s | ] } t | t ? Vq d S( N( R
R ( R[ R ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s ( R? R? R? R R R Ru R ( RR R? R? R? R R? R? ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _getNewState? s
c
s? | \ } } } } ? j t j t j f k r\ t d ? | D? ? } t d ? | D? ? } n ? j t j k r?| r?? j j | j ? } | ? j | d }
|
j d k r? |
j ? j k r? |
j
d ? n ? j |
_ |
j r?|
j d } t
| ? } x( | r(| d d | k r(| j ? qW| s?? j
d ? n | j ? d ? t j | |
j d t ?} t ? f d ? t | ? D? ? } t | ? } q?d Sn | j s?| | | | f \ | _ | _ | _ | _ t | _ | _ n?| j }
t |
? t | ? k r+| j
d
t |
? t | ? ? n t ? f d ? t | |
? D? ? r?t | _ t ? f d ? t | |
? D? ? | _ t | j k r?| j
d
? q?n t | ? t | j ? k r?| j t | ? | _ t | _ n t
t j | | j d t ?? } d } x7 | D]/ \ } } t ? j | | ? r<| d 7} qPqW| t | j ? k r?t
| j | ? } | g | | D]! \ } } t ? j | | ? ^ qw7} x$ | r?| d t k r?| j ? q?Wt | ? | _ t | _ n d } g } xx | j D]m \ } } x^ t | ? D]P \ } \ } } | | k r| | k r| | | Bf } | j | ? | } qqWq?Wt | ? } | j | k r?| | _ t | _ n | j | k r?| | _ t | _ n d S( Nc s s* | ] } | j d k r t n | Vq d S( s .newN( R? R: ( R[ R\ ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s c s s* | ] } | j d k r t n | Vq d S( s .newN( R? R: ( R[ R\ ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s i s Multiple returns to jsri????i s* Returning to jsr not in current call stackt fillvaluec 3 s3 | ]) \ } \ } } | ? k r' | n | Vq d S( N( ( R[ R? R\ t y( t mask( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s s" Inconsistent stack height {} != {}c 3 s+ | ]! \ } } t ? j | | ? Vq d S( N( R? RJ ( R[ t newR ( RR ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s c 3 s* | ] \ } } t ? j | | ? Vq d S( N( t
mergeTypesRJ ( R[ R R ( RR ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys ? s s" Incompatible types in merged stack( R R R? Ri R? RO R? RI Rj R R RM RK Rs t popt itertoolst izip_longestR? R: R? R? R? R? Rx RN Rq t anyRr R? RJ R R? ( RR t othert newstateR? t isExceptiont newstackt newlocalsR? t newflagsR? t jsrnodet calledt zippedt oldstackt okcountR\ R t mergedR R t
last_matcht mergedmaskst entry1t mask1t jt entry2t mask2t item( ( R RR sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt _mergeSingleSuccessor? s? !
" * "% ( !
6
c G s< | j d | | ? } | d t | ? } t j | ? ? d S( NRR s
( R t strt error_typest VerificationError( RR t msgt args( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyR s c C sM | j s t ? t | _ | j | ? \ } } | \ } } } } | j } | j t j k r | j d k r t | | j _ q n | d k r | j t j k s? t ? | j
| j d j }
g | j ? D]4 } | j t j k r? | j d |
k r? | j ^ q? } t | ? } | _ |
| _ n x? | D]? \ \ }
} \ } } |
| j k oY| k n r'| j t j k r?| j | | | | | f | t ? q | } | t t k r?| t j O} n | j | | | j
| j | j f | t ? | j | | | | | f | t ? q'q'Wx7 | j D], } | j | | | | | | f | t ? qWd S( Ni ( RM R RL RN R R? R R Ri Rj R Rx R? R? RK R t valuesR? R? t jsrTargetRI R} R. R? RE RF R? R? ( RR R? t
exceptionsR R? R R R? R R? R! t nt tempt startt endt handlert execStackt tempflagst k( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyR? s2 G %+)c C sC d j | j t j | j ? ? g } | j r%g t j j ? D] \ } } | | j @r= | ^ q= } | r? | j
d d j | ? ? n | j
d d j t t
| j ? ? ? | j
d d j t t
| j ? ? ? | j r2| j
d ? | g | j D]$ \ } } d j | t | ? ? ^ q? 7} q2n
| j
d ? d j | ? d S(
Ns {}: {}s Flags: s , s Stack: s Locals: s Masks:s {}: {}s
unvisiteds
( R RI R t printInstructionRK RM RE t
_flag_valst itemsR? R? R? R? R/ R? R? R? Rt ( RR t linesR> t vR? t entryt cset( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt __str__/ s $ 5 &&
>
i i i i i i ( t __name__t
__module__RF RG RH R@ RS RP RQ Rw R? R? R? R R R R R. R R? RF ( ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyRE z s(
v < ? & D Y $c
s? | j | j } ? t | j ? j | j ? \ } } ? j ? d } | j r? ? j d k r? | d t ? j ? k sz t ? t
| d <| t j O} | t j
O} n t | ? d k s? t ? t | ? } | j | j } } t | ? | k s? t ? t t | j j ? ? ? d } g | d D] } t | | | ? ^ q} d ? | D? ? t ? ? }
x? | j D]? } d | j k o?| j k n o?| j |
k o?| j |
k o?| j |
k p?| j | j k s^t |
? | j g } d j | d j t t | ? ? ? }
t j! |
? ? q^q^W? ? ? f d ? } t | | j ? } | d } d
| d | f \ | _ | _ | _" | _# t$ t$ | _% | _& t' } xC | s?t$ } x0 | D]( } | j& r?| j( ? | ? t' } q?q?Wq?W| S( Ni s java/lang/Objecti? i????c S s i | ] } | | j ? q S( ( RI ( R[ R7 ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pys
R s s3 Illegal exception handler: {}
Valid offsets are: {}s , c s? | j r$ ? j j d | j ? } n d } t | ? } t ? | t d ? ? sb t j d | ? n | j | j f ? | j | f f f S( NR` s java/lang/Throwables Invalid exception handler type: (
t type_indR R' R; R? R0 R1 R9 R: R; ( t rawdataR RX ( R
RJ t iNodeLookup( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt
makeException] s ( N( ( () R? R
t parseUnboundMethodDescriptorR? R. t staticRJ t
isConstructorR; R R? RE RG RH Rq R? R? R? Rt R R? R R? t
except_rawR9 R: R; t codelenR R? R? R/ R0 R1 R? R? Rx RM RN RL R? ( R R? R3 t rvalt
startFlagst maxstackt maxlocalst offsetsRI R? R? t rawt keylistR2 RL R6 R9 t donet node( ( R
RJ RK sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt verifyBytecode> sH !
) 10$
*
(R R R R R0 R R t verifier_typest descriptorst NOPR t CONSTRv R? R? R? R? R? t POPt POP2t DUPt DUPX1t DUPX2t DUP2t DUP2X1t DUP2X2t SWAPt ADDt SUBt MULt DIVt REMt XORt ANDt ORt SHLt SHRt USHRt NEGt CONVERTt TRUNCATEt LCMPt FCMPRl Rm Rk Rn Ro Ri R? Rp R? R? R? t ARRLENR? R? R? t MONENTERt MONEXITR R~ t INVOKESTATICR? Ry R} Rz R R% R1 R7 R> R? R? R? R? R? R? RB RD t objectRE R[ ( ( ( sK /home/alex/projects/github/krakatau/Krakatau/verifier/inference_verifier.pyt sV
*
0 ? ? ? © 2015 - 2025 Weber Informatics LLC | Privacy Policy